4356 search results - page 183 / 872 » Communicating Transactions - (Extended Abstract) |
174
click to vote
ICWN
2004
15 years 8 months ago
2004
Abstract--This paper presents a model for the dissemination of information in highly dynamic ad hoc networks, such as those composed of mobile communicating devices. This model rel...
183
click to vote
PVM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this work we present two algorithms of irregular scatter/gather operations based on the binomial tree and Tr¨aff algorithms. We use the prediction provided by hetero...
179
click to vote
MEMOCODE
2007
IEEE
16 years 25 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
141
click to vote
SEW
2006
IEEE
16 years 17 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
153
click to vote
RTSS
2005
IEEE
16 years 4 days ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...