3168 search results - page 496 / 634 » Computing Event Dependencies in System Designs and Programs |
156
click to vote
ISHPC
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes transparent mechanisms for emulating some of the data distribution facilities offered by traditional data-parallel programming models, such as High Performance...
127
click to vote
SENSYS
2006
ACM
15 years 11 months ago
2006
ACM
The resolution at which a sensor network collects data is a crucial parameter of performance since it governs the range of applications that are feasible to be developed using tha...
246
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...
140
click to vote
LICS
1996
IEEE
15 years 9 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
157
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...