5536 search results - page 872 / 1108 » Programming Languages for Distributed Applications |
120
click to vote
REX
1991
15 years 4 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
110
click to vote
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
112
click to vote
PPNA
2011
14 years 4 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...
118
click to vote
CONCUR
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
113
click to vote
EUROSYS
2009
ACM
15 years 10 months ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...