Sciweavers

13489 search results - page 365 / 2698
» Self-migration of operating systems
Sort
View
AUTOMATICA
2002
95views more  AUTOMATICA 2002»
15 years 6 months ago
Series expansions for analytic systems linear in control
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
Francesco Bullo
SPLC
2010
15 years 5 months ago
Software Product Line Engineering for Long-Lived, Sustainable Systems
The design and operation of long-lived, sustainable systems (LSS) are hampered by limited support for change over time and limited preservation of system knowledge. The solution we...
Robyn R. Lutz, David Weiss, Sandeep Krishnan, Jing...
SIGOPS
2010
95views more  SIGOPS 2010»
15 years 1 months ago
Toward automatic policy refinement in repair services for large distributed systems
In order to be economically feasible and to offer high levels of availability and performance, large scale distributed systems depend on the automation of repair services. While t...
Moisés Goldszmidt, Mihai Budiu, Yue Zhang, ...
ICCAD
1996
IEEE
123views Hardware» more  ICCAD 1996»
15 years 11 months ago
Efficient solution of systems of Boolean equations
This paper describes an algorithm for the efficient solution of large systems of Boolean equations. The algorithm exploits the fact that, in some cases, the composition operation ...
Scott Woods, Giorgio Casinovi
CHI
1993
ACM
15 years 11 months ago
A Wizard of Oz platform for the study of multimodal systems
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing servic...
Daniel Salber, Joëlle Coutaz