2227 search results - page 324 / 446 » Reversibility and Models for Concurrency |
CONTEXT
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
CP
2007
Springer
14 years 4 months ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— In this paper, we propose a multi-source multipath video streaming system to support concurrent Video-onDemand (VoD) services over Wireless Mesh Networks (WMNs), and ap...
ISPDC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents MojaveFS, a distributed file system with support for sequential consistency. It provides location transparency and makes use of replication for reliability an...
CONEXT
2006
ACM
14 years 4 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...