1977 search results - page 28 / 396 » An Open Real-Time Environment for Parallel and Distributed S... |
136
click to vote
ARTS
1999
Springer
15 years 8 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...
143
click to vote
ISORC
1998
IEEE
15 years 8 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...
138
click to vote
IPPS
1998
IEEE
15 years 8 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...
120
click to vote
IPPS
2007
IEEE
15 years 10 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...
158
Voted
CCGRID
2011
IEEE
14 years 7 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...