Sciweavers

352 search results - page 39 / 71
» Fail-Awareness in Timed Asynchronous Systems
Sort
View
VLDB
1987
ACM
109views Database» more  VLDB 1987»
14 years 7 days ago
The Design of the POSTGRES Storage System
This paper presents the design of the storage system for the POSTGRES data base system under construction at Berkeley. It is novel in several ways. First, the storage manager supp...
Michael Stonebraker
NCA
2006
IEEE
14 years 2 months ago
Network-Aware Adaptation Techniques for Mobile File Systems
Wireless networks present unusual challenges for mobile file system clients, since they are characterised by unpredictable connectivity and widely-varying bandwidth. The traditio...
Benjamin Atkin, Kenneth P. Birman
OPODIS
2008
13 years 10 months ago
CQS-Pair: Cyclic Quorum System Pair for Wakeup Scheduling in Wireless Sensor Networks
Due to the heterogenous power-saving requirement in wireless sensor networks, we propose the Cyclic Quorum System Pair (CQS-Pair) which can guarantee that two asynchronous nodes ad...
Shouwen Lai, Bo Zhang, Binoy Ravindran, Hyeonjoong...
FTRTFT
1998
Springer
14 years 1 months ago
Predictability in Critical Systems
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
Gérard Le Lann
FM
2003
Springer
107views Formal Methods» more  FM 2003»
14 years 2 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard