979 search results - page 190 / 196 » Automated Environment Generation for Software Model Checking |
DSRT
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes a simple distributed simulation for support of emergency response exercises. The simulation, called the Immersive Synthetic Environment for Exercises (ISEE), ...
BIBE
2004
IEEE
13 years 11 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
CGO
2007
IEEE
14 years 1 months ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
NDSS
2007
IEEE
14 years 1 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...