3387 search results - page 116 / 678 » Model-Checking for Real-Time Systems |
142
Voted
ESEC
1993
Springer
15 years 6 months ago
1993
Springer
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...
116
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
This report addresses the problem of scheduling for real-time systems that include both hard and soft tasks. In order to capture the relative importance of soft tasks and how the ...
123
Voted
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
A temporal constraint management system (TCMS) is a temporal network together with algorithms for managing the constraints in that network over time. This paper presents a practica...
120
Voted
TII
2008
15 years 2 months ago
2008
In wireless sensor networks each sensor node has very limited resources, and it is very difficult to find and collect them. For this reason, updating or adding programs in sensor n...
134
Voted
WER
2010
Springer
15 years 15 days ago
2010
Springer
Real-time scheduling theory has made a great progress in the last decades. From small devices to enormous satellites or industrial plants take advantage of this ongoing research. H...