5228 search results - page 978 / 1046 » Case Studies for Software Engineers |
105
click to vote
ASPLOS
2004
ACM
15 years 6 months ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
GG
2004
Springer
15 years 6 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
PADS
2003
ACM
15 years 6 months ago
2003
ACM
Federated simulation interfaces such as the High Level Architecture (HLA) were designed for interoperability, and as such are not traditionally associated with highperformance com...
ERCIMDL
2003
Springer
15 years 6 months ago
2003
Springer
Addressing the preservation and long-term access issues for digital resources is one of the key challenges facing informational organisations such as libraries, archives, cultural ...
127
click to vote
ERSHOV
2003
Springer
15 years 6 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...