239 search results - page 42 / 48 » An Architecture for Kernel-Level Verification of Executables... |
ACSC
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents an innovative strategy to synchronize all virtual clocks in asynchronous Internet environments. Our model is based on the architecture of one reference clock a...
IPPS
1999
IEEE
14 years 27 days ago
1999
IEEE
PM-PVM is a portable implementation of PVM designed to work on SMP architectures supporting multithreading. PM-PVM portability is achieved through the implementation of the PVM fu...
EUROMICRO
2006
IEEE
14 years 8 days ago
2006
IEEE
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...
DCOSS
2008
Springer
13 years 10 months ago
2008
Springer
Wireless sensor nodes can act as distributed detectors for recognizing activities online, with the final goal of assisting the users in their working environment. We propose an act...
PPSC
2001
13 years 10 months ago
2001
Crew pairing generation is a time consuming part of the complex process of airline crew scheduling. We present a parallel algorithm for this problem's solution and several im...