128 search results - page 17 / 26 » Atomizer: a dynamic atomicity checker for multithreaded prog... |
FPL
2008
Springer
15 years 1 months ago
2008
Springer
The objective of Molecular Dynamics (MD) simulations is to determine the shape of a molecule in a given biomolecular environment. These simulations are very demanding computationa...
111
click to vote
JAIR
2010
14 years 10 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
117
click to vote
IANDC
2010
14 years 9 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...