Sciweavers

1656 search results - page 95 / 332
» Building Dependable Distributed Applications Using AQUA
Sort
View
IOLTS
2000
IEEE
115views Hardware» more  IOLTS 2000»
15 years 8 months ago
Micro-Checkpointing: Checkpointing for Multithreaded Applications
In this paper, we introduce an efficient technique for checkpointing multithreaded applications. Our approach makes use of processes constructed around the ARMOR (Adaptive Reconfi...
Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K...
110
Voted
ENTCS
2007
101views more  ENTCS 2007»
15 years 3 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
149
Voted
MOBISYS
2010
ACM
15 years 6 months ago
PRISM: platform for remote sensing using smartphones
To realize the potential of opportunistic and participatory sensing using mobile smartphones, a key challenge is ensuring the ease of developing and deploying such applications, w...
Tathagata Das, Prashanth Mohan, Venkata N. Padmana...
132
Voted
PPOPP
1991
ACM
15 years 7 months ago
Dynamic Node Reconfiguration in a Parallel-Distributed Environment
Idle workstations in a network represent a significant computing potential. In particular, their processing power can be used by parallel-distributed programs that treat the netwo...
Michael J. Feeley, Brian N. Bershad, Jeffrey S. Ch...
ICASSP
2009
IEEE
15 years 10 months ago
Distributed compressive video sensing
Low-complexity video encoding has been applicable to several emerging applications. Recently, distributed video coding (DVC) has been proposed to reduce encoding complexity to the...
Li-Wei Kang, Chun-Shien Lu