3389 search results - page 341 / 678 » Real-Time and Fault-Tolerant Systems |
175
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
On an SoC bus, contentions occur while different IP cores request the bus access at the same time. Hence an arbiter is mandatory to deal with the contention issue on a shared bus s...
192
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
174
click to vote
ICPP
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, we propose a real-time communication scheme that can be used in general point-to-point real-time multicomputer systems with wormhole switching. Real-time communicat...
167
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
186
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we present some preliminary results concerning a realtime visualisation system for densely populated urban environments. In order to be able to render the l...