2435 search results - page 434 / 487 » System Exploration of SystemC Designs |
108
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
Emerging robotic technologies are enabling the control of individual seats on rollercoasters and other thrill rides. We explore the potential of breathing as an effective and enga...
120
click to vote
TABLETOP
2008
IEEE
15 years 10 months ago
2008
IEEE
In the real world, a physical tabletop provides public and private needs for people around the table. For competing scenarios such as playing a poker game or running a price negot...
139
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
156
click to vote
SRDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Quorum protocols offer several benefits when used to maintain replicated data but techniques for reducing overheads associated with them have not been explored in detail. It is d...
147
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...