3521 search results - page 578 / 705 » Algorithmic Control in Concurrent Computations |
140
click to vote
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
152
click to vote
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
The popularization of both virtualization and CDP technologies mean that we can now watch disk accesses of systems from entities which are not controlled by the OS. This is a rich...
133
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
165
click to vote
MOBILITY
2009
ACM
15 years 9 months ago
2009
ACM
This paper describes the prototype implementation of a pervasive, wearable augmented reality (AR) system based on a full bodymotion-capture system using low-power wireless sensors...
130
click to vote
SIGCOMM
2009
ACM
15 years 9 months ago
2009
ACM
Network virtualization allows many networks to share the same underlying physical topology; this technology has offered promise both for experimentation and for hosting multiple n...