1222 search results - page 87 / 245 » Verifying a File System Implementation |
147
Voted
IASTEDSEA
2004
15 years 6 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 ...
270
click to vote
ICDE
2009
IEEE
16 years 6 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...
151
Voted
SAFECOMP
1999
Springer
15 years 9 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...
126
click to vote
FATES
2004
Springer
15 years 10 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 ...
148
Voted
MSS
2007
IEEE
15 years 11 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 (...