7109 search results - page 1050 / 1422 » Process Algebra with Combinators |
168
Voted
MOBISYS
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we present a trace-driven framework capable of building realistic mobility models for the simulation studies of mobile systems. With the goal of realism, this framew...
191
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
Abstract-Maintaining optimal consistency in a distributed system requires that nodes be always-on to synchronize information. Unfortunately, mobile devices such as laptops do not h...
157
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
196
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
Non-uniform utilization of functional units in combination with hardware mechanisms such as clock gating leads to different power consumptions in different parts of a processor ch...
171
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 3 months ago
2010
Eurographics
Continuous constrained optimization is a powerful tool for synthesizing novel human motion segments that are short. Graph-based motion synthesis methods such as motion graphs and ...