581 search results - page 48 / 117 » On Real-Time and Non Real-Time Distributed Computing |
161
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we present an adaptation of the Dual Priority Scheduling Algorithm to schedule both hard realtime periodic tasks and soft-aperiodic tasks in shared memory multiproce...
142
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
Real-time systems usually operate in an environment that changes continuously. These changes cause the performance of the system to vary during run time. An allocation of resource...
115
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...
140
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...
129
click to vote
ARTS
1999
Springer
15 years 7 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...