6201 search results - page 139 / 1241 » Implementation of Axiomatic Language |
171
click to vote
PDP
1997
IEEE
15 years 10 months ago
1997
IEEE
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
134
click to vote
HICSS
1994
IEEE
15 years 10 months ago
1994
IEEE
The messiahs project is investigating mechanisms that support task placement in heterogeneous, distributed, autonomous systems. messiahs provides a substrate on which scheduling a...
149
click to vote
CLIMA
2004
15 years 7 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
160
click to vote
CPP
2011
14 years 6 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
164
click to vote
LCPC
1999
Springer
15 years 10 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...