Sciweavers

2067 search results - page 210 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
91
Voted
SIGMETRICS
2006
ACM
123views Hardware» more  SIGMETRICS 2006»
15 years 4 months ago
Exploiting redundancy to conserve energy in storage systems
This paper makes two main contributions. First, it introduces Diverted Accesses, a technique that leverages the redundancy in storage systems to conserve disk energy. Second, it e...
Eduardo Pinheiro, Ricardo Bianchini, Cezary Dubnic...
102
Voted
DSVIS
2008
Springer
14 years 12 months ago
ReWiRe: Designing Reactive Systems for Pervasive Environments
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
Geert Vanderhulst, Kris Luyten, Karin Coninx
TGC
2010
Springer
14 years 8 months ago
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...
Marco Bernardo, Rocco De Nicola, Michele Loreti
COMPSAC
2004
IEEE
15 years 1 months ago
Modular Design of Reactive Systems
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
Cristina Cerschi Seceleanu, Tiberiu Seceleanu
HAPTICS
2010
IEEE
14 years 10 months ago
Online Intention Recognition in Computer-Assisted Teleoperation Systems
Limitations of state-of-the-art teleoperation systems can be compensated by using shared-control teleoperation architectures that provide haptic assistance to the human operator. T...
Nikolay Stefanov, Angelika Peer, Martin Buss