3441 search results - page 96 / 689 » Parallel Logic Programming Systems |
ICPPW
2006
IEEE
15 years 3 months ago
2006
IEEE
Many important parallel applications require multiple flows of control to run on a single processor. In this paper, we present a study of four flow-of-control mechanisms: proces...
130
click to vote
Book
"Designing and Building Parallel Programs is a book for students and professionals who need to know how to write parallel programs. It is neither a programming language manual...
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...
173
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...