7694 search results - page 373 / 1539 » An Implementation of an Applicative File System |
208
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose FIT, a flexible, light-weight and real-time scheduling system for wireless sensor platforms. There are three salient features of FIT. First, its two-tier hiera...
155
click to vote
CBMS
2002
IEEE
15 years 11 months ago
2002
IEEE
The market for health care systems supporting physicians and improving their daily routine is dynamically growing. The development of these systems makes great demands on the hand...
188
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
180
click to vote
ACSAC
2006
IEEE
16 years 25 days ago
2006
IEEE
Address-space randomization (ASR) is a promising solution to defend against memory corruption attacks that have contributed to about three-quarters of USCERT advisories in the pas...
145
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a new fault tolerance system called DejaVu for transparent and automatic checkpointing, migration, and recovery of parallel and distributed applications....