Sciweavers

12052 search results - page 416 / 2411
» computing 2010
Sort
View
PPOPP
2010
ACM
16 years 4 months ago
Debugging programs that use atomic blocks and transactional memory
Ferad Zyulkyarov, Tim Harris, Osman S. Unsal, Adri...
BIRTHDAY
2010
Springer
15 years 11 months ago
The Arrow of Time through the Lens of Computing
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
Krishna V. Palem
FOCS
2010
IEEE
15 years 4 months ago
Subcubic Equivalences between Path, Matrix and Triangle Problems
We say an algorithm on n
Virginia Vassilevska Williams, Ryan Williams
195
Voted
STOC
2010
ACM
211views Algorithms» more  STOC 2010»
15 years 11 months ago
Distributed Computation in Dynamic Networks
In this paper we investigate distributed computation in dynamic networks in which the network topology changes from round to round. We consider a worst-case model in which the com...
Fabian Kuhn, Nancy Lynch and Rotem Oshman