- The XO (OLPC’s “one hundred dollar laptop”) is under evaluation by the Brazilian Government as a possible educational tool and also as a means of promoting digital inclusio...
Ricardo C. Carranoa, Raphael R. Martinsi, Luiz Cla...
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 (...
The ANSI Object-based Storage Device (OSD) standard is a major step toward enabling explicit application awareness in storage systems behind a standard, fully interoperable in...
Aravindan Raghuveer, Steven W. Schlosser, Sami Ire...
Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynami...
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...