Sciweavers

5838 search results - page 305 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
GLOBECOM
2009
IEEE
15 years 8 months ago
Adding Integrity Verification Capabilities to the LDPC-Staircase Erasure Correction Codes
File distribution is becoming a key technology, in particular in large scale content broadcasting systems like DVBH/SH. They largely rely on Application Level FEC codes (ALFEC) in ...
Mathieu Cunche, Vincent Roca
133
Voted
USENIX
2003
15 years 5 months ago
A Multi-User Virtual Machine
Recent efforts aimed at improving the scalability of the JavaTM platform have focused primarily on the safe collocation of multiple applications in the virtual machine. This is of...
Grzegorz Czajkowski, Laurent Daynès, Ben Ti...
JOT
2006
60views more  JOT 2006»
15 years 4 months ago
The Initium RJS Screensaver: Part 4, Automatic Deployment
The Intium RJS System makes use of screensavers to perform CPU scavenging for grid computing. This article shows how to automate the installation of the IRJS screensaver. The manu...
Douglas A. Lyon, Francisco Castellanos
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
15 years 2 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
PC
2006
103views Management» more  PC 2006»
15 years 4 months ago
Is MPI suitable for a generative design-pattern system?
Generative parallel design patterns is a proven technique to improve the productivity of parallel program development. However many of the generative design-pattern systems are de...
Paras Mehta, José Nelson Amaral, Duane Szaf...