413 search results - page 42 / 83 » Synthesis of Distributed Algorithms Using Asynchronous Autom... |
129
click to vote
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
109
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
The goal of the work described here is to limit the computation needed in unit selection Viterbi search for text-to-speech synthesis. The broader goal is to improve speech quality...
124
click to vote
DEBS
2010
ACM
14 years 9 months ago
2010
ACM
Many XML filtering systems have emerged in recent years identifying XML data that structurally match XPath queries in an efficient way. However, apart from structural matching, it...
117
click to vote
ICTAC
2005
Springer
15 years 7 months ago
2005
Springer
It has recently been shown that fair exchange, a security problem in distributed systems, can be reduced to a fault tolerance problem, namely a special form of distributed consensu...
134
click to vote
HIPC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...