7456 search results - page 347 / 1492 » Parallelism in Logic Programming |
281
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
196
click to vote
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
166
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Efficient performance tuning of parallel programs is often hard. In this paper we describe an approach that uses a uni-processor execution of a multithreaded program as reference ...
190
click to vote
LCPC
2007
Springer
16 years 25 days ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
152
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we report on features added to a parallel debugger to simplify the debugging of message passing programs. These features include replay, setting consistent breakpoin...