487 search results - page 52 / 98 » Implementation Correctness of a Real-Time Operating System |
150
click to vote
TOPLAS
2008
15 years 5 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
178
click to vote
SOSP
2001
ACM
16 years 2 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...
199
click to vote
FROCOS
2007
Springer
16 years 4 days ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
180
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...
218
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
The aggressive evolution of the semiconductor industry — smaller process geometries, higher densities, and greater chip complexity — has provided design engineers the means to...