33 search results - page 4 / 7 » Trying Again to Fail-First |
NOMS
2008
IEEE
15 years 4 months ago
2008
IEEE
—Storage Area Networks (SANs) connect storage devices to servers over fast network interconnects. We consider the problem of optimal SAN configuration with the goal of meeting s...
VMCAI
2005
Springer
15 years 3 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
An important class of problems used widely in both the embedded systems and scientific domains perform memory intensive computations on large data sets. These data sets get to be ...
122
click to vote
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
For most iris capturing scenarios, captured iris images
could easily blur when the user is out of the depth of field
(DOF) of the camera, or when he or she is moving. The
common...
152
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Managed languages improve programmer productivity with type safety and garbage collection, which eliminate memory errors such as dangling pointers, double frees, and buffer overfl...