4604 search results - page 624 / 921 » Concurrency in Synchronous Systems |
156
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
SonicTexting is a system for inputting text ? `texting' ? using gestures and sound. As in musical instruments and everyday mechanical objects, sound in SonicTexting is synchr...
223
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
144
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neigh...
168
click to vote
SAC
2009
ACM
2009
ACM
On the practical importance of communication complexity for secure multi-party computation protocols
16 years 1 months ago
Many advancements in the area of Secure Multi-Party Computation (SMC) protocols use improvements in communication complexity as a justification. We conducted an experimental stud...
201
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present an overview of the data collection and transcription efforts for the COnversational Speech In Noisy Environments (COSINE) corpus. The corpus is a set of multi-party con...