2008 search results - page 254 / 402 » Computing with Equations |
123
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
119
click to vote
ISPA
2004
Springer
15 years 9 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
125
click to vote
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...
158
Voted
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
This paper is addressing the problem of realigning broken
objects without correspondences. We consider linear transformations between
the object fragments and present the method ...
128
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...