Sciweavers

1640 search results - page 237 / 328
» Design of Synchronous Action Systems
Sort
View
USENIX
2004
15 years 7 months ago
EmStar: A Software Environment for Developing and Deploying Wireless Sensor Networks
Many Wireless Sensor Network (WSN) applications are composed of a mixture of deployed devices with varying capabilities, from extremely constrained 8-bit "Motes" to less...
Lewis Girod, Jeremy Elson, Alberto Cerpa, Thanos S...
MMS
2007
15 years 5 months ago
Automatic lyrics alignment for Cantonese popular music
Abstract From lyrics-display on electronic music players and Karaoke videos to surtitles for live Chinese opera performance, one feature is common to all these everyday functionali...
Chi Hang Wong, Wai Man Szeto, Kin Hong Wong
FORTE
2009
15 years 4 months ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann
CIDR
2011
342views Algorithms» more  CIDR 2011»
14 years 9 months ago
Megastore: Providing Scalable, Highly Available Storage for Interactive Services
Megastore is a storage system developed to meet the requirements of today’s interactive online services. Megastore blends the scalability of a NoSQL datastore with the convenien...
Jason Baker, Chris Bond, James Corbett, J. J. Furm...
ICFP
2005
ACM
16 years 6 months ago
AtomCaml: first-class atomicity via rollback
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
Michael F. Ringenburg, Dan Grossman