12 citations · 29 across the 10 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.CO2016
Density of monochromatic infinite subgraphs
Louis DeBiasio, Paul McKenney
For any countably infinite graph , Ramsey's theorem guarantees an infinite monochromatic copy of in any -coloring of the edges of the countably infinite complete graph $K…
cs.LO2016★ 2 cited
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
Lihao Liang, Paul E. McKenney, Daniel Kroening +1
Read-Copy Update (RCU) is a scalable, high-performance Linux-kernel synchronization mechanism that runs low-overhead readers concurrently with updaters. Production-quality RCU impl…
math.OA2016★ 2 cited
Ulam stability for some classes of C*-algebras
Paul McKenney, Alessandro Vignati
We prove some stability results for certain classes of C*-algebras. We prove that whenever is a finite-dimensional C*-algebra, is a C*-algebra and is appro…