7694 search results - page 610 / 1539 » An Implementation of an Applicative File System |
156
click to vote
FCCM
2005
IEEE
16 years 22 days ago
2005
IEEE
This paper presents a processor and memory-hierarchy prototype based on FPGAs that provides hardware support for program rollback. We use this prototype to demonstrate how compile...
247
click to vote
WOA
2010
15 years 5 months ago
2010
Current technologies permit people to make use of various systems able to fulfill most of their needs while being at home. However, their use is often not intuitive and they are al...
207
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Several new approaches for detecting malicious attacks on computer systems and/or confining untrusted or malicious applications have emerged over the past several years. These tec...
175
click to vote
CSC
2006
15 years 8 months ago
2006
- Symmetric level-index arithmetic was introduced to overcome the problems of overflow and underflow in scientific computations. A hybrid SLI-FLP number system, together with some ...
140
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...