Sciweavers

1453 search results - page 29 / 291
» State and history in operating systems
Sort
View
MOBISYS
2005
ACM
15 years 12 months ago
A dynamic operating system for sensor nodes
Sensor network nodes exhibit characteristics of both embedded systems and general-purpose systems. They must use little energy and be robust to environmental conditions, while als...
Chih-Chieh Han, Ram Kumar, Roy Shea, Eddie Kohler,...
87
Voted
FM
2009
Springer
155views Formal Methods» more  FM 2009»
15 years 7 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
106
Voted
MONET
2007
95views more  MONET 2007»
14 years 12 months ago
A Pervasive Computing System for the Operating Room of the Future
We describe a prototype Context Aware Perioperative Information System to capture and interpret data in an operating room of the future. The captured data is used to construct the...
Sheetal K. Agarwal, Anupam Joshi, Timothy W. Finin...
HOTOS
2003
IEEE
15 years 5 months ago
The Case for a Session State Storage Layer
This paper motivates the need for a session state storage layer. Session state is used in a large class of applications. Existing session state storage solutions often rely on ad-...
Benjamin C. Ling, Armando Fox
94
Voted
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
15 years 4 months ago
Convergence to global optima for genetic programming systems with dynamically scaled operators
This work shows asymptotic convergence to global optima for a family of dynamically scaled genetic programming systems where the underlying population consists of a fixed number o...
Lothar M. Schmitt, Stefan Droste