Sciweavers

Share
28 search results - page 6 / 6
» Pair programming: what's in it for me?
Sort
View
NDDL
2003
9 years 1 months ago
High-Level Data Races
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
Cyrille Artho, Klaus Havelund, Armin Biere
ICALP
2010
Springer
9 years 4 months ago
Additive Spanners in Nearly Quadratic Time
We consider the problem of efficiently finding an additive C-spanner of an undirected unweighted graph G, that is, a subgraph H so that for all pairs of vertices u, v, δH (u, v) ...
David P. Woodruff
ICFCA
2004
Springer
9 years 5 months ago
Automated Lattice Drawing
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
Ralph Freese
books