Sciweavers

2870 search results - page 339 / 574
» Synchronization of multi-agent systems
Sort
View
168
Voted
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 4 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
IJRR
2002
96views more  IJRR 2002»
15 years 4 months ago
Phase Regulation of Decentralized Cyclic Robotic Systems
We address the problem of coupling cyclic robotic tasks to produce a specified coordinated behavior. Such coordination tasks are common in robotics, appearing in applications like...
Eric Klavins, Daniel E. Koditschek
EMSOFT
2010
Springer
15 years 2 months ago
Reducing stack with intra-task threshold priorities in real-time systems
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...
Gang Yao, Giorgio C. Buttazzo
ICASSP
2011
IEEE
14 years 8 months ago
Vocalistener2: A singing synthesis system able to mimic a user's singing in terms of voice timbre changes as well as pitch and d
This paper presents a singing synthesis system, VocaListener2, that can automatically synthesize a singing voice by mimicking the timbre changes of a user’s singing voice. The s...
Tomoyasu Nakano, Masataka Goto
CHI
2005
ACM
16 years 5 months ago
Livenotes: a system for cooperative and augmented note-taking in lectures
We describe Livenotes, a shared whiteboard system and educational practice that uses wireless communication and tablet computing to support real-time conversations within small gr...
Matthew Kam, Jingtao Wang, Alastair Iles, Eric Tse...