854 search results - page 80 / 171 » Timing coverification of concurrent embedded real-time syste... |
149
click to vote
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
177
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
170
click to vote
ECRTS
2008
IEEE
16 years 20 days ago
2008
IEEE
The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...
149
click to vote
IFM
2000
Springer
15 years 9 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 ...
149
click to vote
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
We have implemented an object-oriented real-time database system called BeeHive. Using BeeHive, the performance of two data-deadline cognizant scheduling policies, called EDDF and...