224 search results - page 24 / 45 » Model-based runtime analysis of distributed reactive systems |
IFIP
1998
Springer
13 years 11 months ago
1998
Springer
This paper presents a hybrid approach to automatic parallelization of computer programs which combines static extraction of threads (tasks) with dynamic scheduling for parallel an...
PE
2000
Springer
13 years 7 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
RTCSA
2000
IEEE
13 years 11 months ago
2000
IEEE
A number of industrial applications advocate the use of time-triggered approaches for reasons of predictability, distribution, and particular constraints such as jitter or end-to-...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
Enabling circuit switching in multiprocessor systems has the potential to achieve more efficient communication with lower cost compared to packet/wormhole switching. However, in ...
CCGRID
2006
IEEE
14 years 1 months ago
2006
IEEE
The inevitable move from a single large scale server to a distributed Grid environment is beginning to be realized across international Grid test-bed like Pacific Rim Applications...