769 search results - page 20 / 154 » The Real-Time Specification for Java |
FMICS
2008
Springer
14 years 11 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
69
Voted
USENIX
2001
14 years 11 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
84
Voted
ICSE
2007
IEEE-ACM
15 years 3 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
ICFEM
1997
Springer
15 years 1 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
106
click to vote
ISCC
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract: The Differentiated Service Architecture (DiffServ) is currently a popular research topic as a lowcost method to provide Quality of Service to the different applications i...