224 search results - page 8 / 45 » A parallel repetition theorem |
EUROPAR
2006
Springer
13 years 11 months ago
2006
Springer
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
FPL
2006
Springer
13 years 11 months ago
2006
Springer
Computing applications in FPGAs are commonly built from repetitive structures of computing and/or memory elements. In many cases, application performance depends on the degree of ...
CCGRID
2001
IEEE
13 years 11 months ago
2001
IEEE
Though shared virtual memory (SVM) systems promise low cost solutions for high performance computing, they suffer from long memory latencies. These latencies are usually caused by...
ECEASST
2010
13 years 2 months ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...
CADE
1990
Springer
13 years 11 months ago
1990
Springer
