Sciweavers

853 search results - page 47 / 171
» Delimited Continuations in Operating Systems
Sort
View
SAINT
2006
IEEE
15 years 3 months ago
Energy-Efficient Scheme for Multiprocessor-Based Router Linecards
– In support of continuously increasing line rates and various Internet services, multiprocessor-based linecards have appeared in next-generation routers, significantly improving...
Malcolm Mandviwalla, Nian-Feng Tzeng
CSCW
2010
ACM
15 years 6 months ago
Why the plan doesn't hold: a study of situated planning, articulation and coordination work in a surgical ward
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...
Jakob E. Bardram, Thomas Riisgaard Hansen
CSCW
2000
ACM
15 years 2 months ago
Copies convergence in a distributed real-time collaborative environment
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as opâˆ...
Nicolas Vidot, Michèle Cart, Jean Ferri&eac...
HYBRID
2003
Springer
15 years 3 months ago
Observability of Linear Hybrid Systems
We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient...
René Vidal, Alessandro Chiuso, Stefano Soat...
DSN
2004
IEEE
15 years 1 months ago
A Framework for Evaluating Storage System Dependability
Designing storage systems to provide business continuity in the face of failures requires the use of various data protection techniques, such as backup, remote mirroring, point-in-...
Kimberly Keeton, Arif Merchant