1977 search results - page 28 / 396 » An Open Real-Time Environment for Parallel and Distributed S... |
ARTS
1999
Springer
15 years 2 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...
ISORC
1998
IEEE
15 years 1 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
86
Voted
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
70
Voted
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper proposes a dynamic scheduler that supports the coexistence of guaranteed and non-guaranteed bandwidth servers to efficiently handle soft-tasks’ overloads by making a...
CCGRID
2011
IEEE
14 years 1 months ago
2011
IEEE
Many large-scale distributed computing applications demand real-time responses by soft deadlines. To enable such real-time task distribution and execution on the volunteer resourc...