3689 search results - page 576 / 738 » A Language with Distributed Scope |
126
click to vote
PPNA
2011
14 years 6 months ago
2011
Several protocol efficiency metrics (e.g., scalability, search success rate, routing reachability and stability) depend on the capability of preserving structure even over the ch...
164
click to vote
PPOPP
2011
ACM
14 years 6 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
151
click to vote
EUROPAR
2011
Springer
14 years 2 months ago
2011
Springer
Most applications manipulate structured data. Modern languages and platforms provide collection frameworks with basic data structures like lists, hashtables and trees. These data ...
141
click to vote
PPOPP
2012
ACM
13 years 10 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...
145
click to vote
CONCUR
2012
Springer
13 years 5 months ago
2012
Springer
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...