291 search results - page 16 / 59 » Liveness-Preserving Atomicity Abstraction |
MDM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract—Data-based agreement is increasingly used to implement traceable coordination across mobile entities such as adhoc networked (autonomous) vehicles. In our work, we focus...
CANPC
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Modern networks of workstations connected by Gigabit networks have the ability to run high-performance computing applications at a reasonable performance, but at a signi ...
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
102
click to vote
HPCC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Service composition, which enables users to construct complex services from atomic services, is an essential feature for the usability of Mobile Ad hoc Networks (MANETs)....
WOTUG
2007
15 years 29 days ago
2007
Abstract. The advent of mass-market multicore processors provides exciting new opportunities for parallelism on the desktop. The original C++CSP – a library providing concurrency...