252 search results - page 25 / 51 » Sensitivity Analysis of Software Reliability for Component-B... |
103
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
99
Voted
EUROSYS
2007
ACM
15 years 3 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
111
click to vote
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
157
click to vote
SIGADA
2007
Springer
15 years 5 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...