9210 search results - page 313 / 1842 » Analyzing Real-Time Systems |
83
Voted
QSIC
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
IFM
2005
Springer
15 years 6 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
126
Voted
WSC
2008
15 years 3 months ago
2008
The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, processing,...
131
Voted
SIGMETRICS
2010
ACM
14 years 11 months ago
2010
ACM
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
80
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Many computer scientists recognize the adverse relationship between Microsoft Windows, a general purpose operating system, which by design does not support Real Time, a specific ...