4604 search results - page 111 / 921 » Concurrency in Synchronous Systems |
151
Voted
RTCSA
2006
IEEE
15 years 9 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...
159
Voted
PTS
2008
15 years 5 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...
138
Voted
PVM
2010
Springer
15 years 2 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 ...
127
Voted
ICCAD
2006
IEEE
16 years 17 days 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...
159
Voted
SOCA
2010
IEEE
15 years 2 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 ...