224 search results - page 9 / 45 » A parallel repetition theorem |
FLAIRS
1998
13 years 9 months ago
1998
AMAI
1999
Springer
13 years 7 months ago
1999
Springer
ENTCS
2006
13 years 7 months ago
2006
We present a proof technique in -calculus that can facilitate inductive reasoning on -terms by separating certain -developments from other -reductions. We give proofs based on thi...
PPOPP
2012
ACM
12 years 3 months ago
2012
ACM
The efforts of an expert to parallelize and optimize a dense linear algebra algorithm for distributed-memory targets are largely mechanical and repetitive. We demonstrate that the...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar...