Sciweavers

785 search results - page 109 / 157
» First-class Synchronous Operations
Sort
View
ICMCS
2010
IEEE
156views Multimedia» more  ICMCS 2010»
14 years 8 months ago
The SEMAINE corpus of emotionally coloured character interactions
We have recorded a new corpus of emotionally coloured conversations. Users were recorded while holding conversations with an operator who adopts in sequence four roles designed to...
Gary McKeown, Michel François Valstar, Rode...
JFP
2010
142views more  JFP 2010»
14 years 8 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
TON
2010
158views more  TON 2010»
14 years 8 months ago
Always acyclic distributed path computation
Abstract—Distributed routing algorithms may give rise to transient loops during path recomputation, which can pose significant stability problems in high-speed networks. We pres...
Saikat Ray, Roch Guérin, Kin Wah Kwong, Rut...
EMSOFT
2010
Springer
14 years 7 months ago
Nucleos: a runtime system for ultra-compact wireless sensor nodes
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
Jiwon Hahn, Pai H. Chou
FAST
2009
14 years 7 months ago
Smoke and Mirrors: Reflecting Files at a Geographically Remote Location Without Loss of Performance
The Smoke and Mirrors File System (SMFS) mirrors files at geographically remote datacenter locations with negligible impact on file system performance at the primary site, and min...
Hakim Weatherspoon, Lakshmi Ganesh, Tudor Marian, ...