225 search results - page 19 / 45 » Design for Constraint Violation Detection in Safety-Critical... |
154
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
The Domain Name System (DNS) is the world’s largest distributed computing system that performs the key function of translating user-friendly domain names to IP addresses through...
155
click to vote
ASPLOS
2010
ACM
16 years 26 days ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
150
click to vote
DAGSTUHL
2008
15 years 7 months ago
2008
The research on real-time scheduling has mostly focused on the development of algorithms that allows to test whether the constraints imposed on the task execution (often expressed ...
180
click to vote
ICFEM
1997
Springer
15 years 10 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...
170
click to vote
DSD
2006
IEEE
16 years 2 days ago
2006
IEEE
In this paper we present an approach for the mapping optimization of fault-tolerant embedded systems for safetycritical applications. Processes and messages are statically schedul...