2681 search results - page 225 / 537 » Topics in asynchronous systems |
138
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
154
Voted
CAV
2009
Springer
16 years 29 days ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
161
Voted
VR
2009
IEEE
16 years 27 days ago
2009
IEEE
We present a novel calibration framework for multi-projector displays that achieves continuous geometric calibration by estimating and refining the poses of all projectors in an ...
147
click to vote
IPPS
2009
IEEE
16 years 24 days ago
2009
IEEE
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety ...
172
Voted
ICPP
2008
IEEE
16 years 18 days ago
2008
IEEE
— This paper presents the Simulation and Wavefront parallel-programming patterns of the MAP3S pattern-based parallel programming system for distributed-memory environments. Both ...