5838 search results - page 691 / 1168 » A File System for System Programming in Ubiquitous Computing |
214
click to vote
CLEIEJ
2006
15 years 7 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
280
click to vote
COMJ
2010
15 years 4 months ago
2010
Even though bidirectional, high-quality and low-latency audio systems for network performance are available, the complexity involved in setting up remote sessions needs better too...
179
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
199
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
217
click to vote
WWW
2003
ACM
16 years 8 months ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...