677 search results - page 35 / 136 » Distributed data-parallel computing using a high-level progr... |
211
click to vote
CL
2012
Springer
13 years 8 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
151
click to vote
SC
1993
ACM
15 years 10 months ago
1993
ACM
Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data SPMD paradigm and allows the user to write programs f...
177
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
180
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
ing models and HW-SW Interfaces Abstraction for Multi-Processor SoC Ahmed A. Jerraya TIMA Laboratory 46 Ave Felix Viallet 38031 Grenoble CEDEX, France +33476574759 Ahmed.Jerraya@im...
162
click to vote
PARLE
1993
15 years 10 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...