224 search results - page 24 / 45 » A parallel repetition theorem |
108
Voted
GG
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
79
Voted
ICDCS
2005
IEEE
15 years 7 months ago
2005
IEEE
We prove two theorems saying that no distributed system in which processes coordinate using reliable registers and -resilient services can solve the consensus problem in the prese...
105
click to vote
TCC
2009
Springer
16 years 2 months ago
2009
Springer
The concept of witness-hiding suggested by Feige and Shamir is a natural relaxation of zero-knowledge. In this paper we identify languages and distributions for which many known co...
102
Voted
CONCUR
1997
Springer
15 years 6 months ago
1997
Springer
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
148
click to vote
EUROCAST
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...