4604 search results - page 111 / 921 » Concurrency in Synchronous Systems |
RTCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
106
click to vote
PTS
2008
14 years 11 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
PVM
2010
Springer
14 years 8 months ago
2010
Springer
With the ever-increasing numbers of cores per node on HPC systems, applications are increasingly using threads to exploit the shared memory within a node, combined with MPI across ...
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...
SOCA
2010
IEEE
14 years 8 months ago
2010
IEEE
In asynchronous event systems, the production of an event is decoupled from its consumption via an event queue. The loose coupling of such systems allows great flexibility as to ...