239 search results - page 36 / 48 » An Architecture for Kernel-Level Verification of Executables... |
WSC
1998
13 years 10 months ago
1998
The High Level Architecture (HLA) for distributed simulations was proposed by the Defense Modeling and Simulation Office of the Department of Defense (DOD) in order to support int...
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
One of the main reasons for the difficulty of hardware verification is that hardware platforms are typically nondeterministic at clock-cycle granularity. Uninitialized state ele...
APCSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Java workloads are becoming more prominent on a wide range of computing devices. In contrast to so-called traditional workloads written in C and Fortran, Java workloads are object-...
SC
2005
ACM
14 years 2 months ago
2005
ACM
The proliferation of biological sequence data has motivated the need for an extremely fast probabilistic sequence search. One method for performing this search involves evaluating...
DSN
2003
IEEE
14 years 1 months ago
2003
IEEE
The DepAuDE architecture provides middleware to integrate fault tolerance support into distributed embedded automation applications. It allows error recovery to be expressed in te...