1682 search results - page 213 / 337 » Techniques for Automating Distributed Real-Time Applications... |
AMOST
2007
ACM
15 years 1 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
SP
1999
IEEE
15 years 2 months ago
1999
IEEE
Psychological acceptability has been mentioned as a requirement for secure systems for as long as least privilege and fail safe defaults, but until now has been all but ignored in...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
Checkpoint and Recovery (CPR) systems have many uses in high-performance computing. Because of this, many developers have implemented it, by hand, into their applications. One of ...
101
click to vote
VRML
1999
ACM
15 years 2 months ago
1999
ACM
VRML is a file format for the description of dynamic scene graphs containing 3D objects with their visual appearance, multimedia content, an event model, and scripting capabilitie...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we present an efficient procedure for building a piecewise linear function approximation of the speed function of a processor with hierarchical memory structure. Th...