2615 search results - page 76 / 523 » Analysis of Real Time Operating System Based Applications |
176
click to vote
RTCSA
2005
IEEE
16 years 4 days ago
2005
IEEE
We address in this paper the problem of scheduling for multiprocessor real-time systems with hard and soft tasks. Utility functions are associated to soft tasks to capture their r...
197
click to vote
RTAS
2006
IEEE
16 years 17 days ago
2006
IEEE
Recent studies show that, voltage scaling, which is an efficient energy management technique, has a direct and negative effect on system reliability because of the increased rate...
190
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
174
click to vote
FTCS
1998
15 years 8 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
173
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper builds on ideas in a recent paper which argued that the core subject matter of the IS field should not be “the IT artifact” (as suggested by Orlikowski and Iacono [...