20126 search results - page 346 / 4026 » Timed Transition Systems |
132
click to vote
FASE
2000
Springer
15 years 8 months ago
2000
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
155
click to vote
PDPTA
2004
15 years 6 months ago
2004
High-throughput real-time systems require non-standard and costly hardware and software solutions. Modern workstation can represent a credible alternative to develop realtime inte...
170
click to vote
TC
2002
15 years 4 months ago
2002
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...
146
click to vote
PAAMS
2010
Springer
15 years 3 months ago
2010
Springer
The huge number of cores existing in current Graphics Processor Units (GPUs) provides these devices with computing capabilities that can be exploited by distributed applications. I...
154
click to vote
IWSOC
2003
IEEE
15 years 10 months ago
2003
IEEE
The new technology of reconfigurable System-on-Chip is shown to be a good match to the requirements of realtime embedded systems. In particular, the judicious use of specialised d...