779 search results - page 102 / 156 » A Simple Program Transformation for Parallelism |
EUROPAR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...
103
click to vote
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
One of the challenges in large scale distributed computing is to utilize the thousands of idle personal computers. In this paper, we present a system that enables users to e ortles...
121
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
142
click to vote
POPL
1994
ACM
15 years 4 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...