1222 search results - page 87 / 245 » Verifying a File System Implementation |
125
Voted
IASTEDSEA
2004
15 years 4 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
237
Voted
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
131
Voted
SAFECOMP
1999
Springer
15 years 6 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
110
click to vote
FATES
2004
Springer
15 years 8 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
125
Voted
MSS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper examines the application of Tornado Codes, a class of low density parity check (LDPC) erasure codes, to archival storage systems based on massive arrays of idle disks (...