11213 search results - page 185 / 2243 » Low-contention data structures |
123
click to vote
FMSD
2006
15 years 4 months ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
GPB
2006
15 years 4 months ago
2006
JERIC
2008
15 years 4 months ago
2008
148
click to vote
JDA
2006
15 years 4 months ago
2006
In this paper, we survey fully dynamic algorithms for path problems on general directed graphs. In particular, we consider two fundamental problems: dynamic transitive closure and...