661 search results - page 46 / 133 » Distributed Real-Time Computing with Harness |
109
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
129
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. Real-time main-memory databases are useful in real-time environments. They are often faster and provide more predictable execution of transactions than disk-based databas...
120
click to vote
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
110
click to vote
IEEEPACT
1999
IEEE
15 years 6 months ago
1999
IEEE
We propose a multithreaded Java microcontroller-called Komodo microcontroller--with a new hardware event handling mechanism that allows handling of simultaneous overlapping events...
116
Voted
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. This paper describes a study concerning the impact of MMX technology in the field of automatic vehicle guidance. Due to the high speed a vehicle can reach, this applicati...