2859 search results - page 315 / 572 » A Programming Environment for Bousi-Prolog |
149
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
193
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
Porting on grids complex MPI applications involving collective communications requires significant program modification, usually dedicated to a single grid structure. The diffi...
168
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a spatio-temporal macroprogramming paradigm for push-pull hybrid wireless sensor networks (WSNs). The proposed paradigm, called SpaceTime Oriented Programming ...
172
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
158
click to vote
PDCAT
2007
Springer
16 years 23 days ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...