291 search results - page 2 / 59 » Liveness-Preserving Atomicity Abstraction |
CORR
2006
Springer
13 years 5 months ago
2006
Springer
CAL
2006
13 years 5 months ago
2006
Abstract-- Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute ...
EVOW
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. This paper introduces AtomSwarm, a framework for soundbased performance using swarm dynamics. The classical ruleset for flocking simulations is augmented with genetically...
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Jer
NFM
2011
13 years 7 days ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...