2477 search results - page 142 / 496 » Parallelizing Functional Programs by Generalization |
120
Voted
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
124
click to vote
SIMULATION
2002
15 years 4 months ago
2002
Trend is a two dimensional cellular automata programming environment with an integrated simulator and a compiler. Trend has many unique features such as simulation backtracking, c...
131
Voted
ML
2008
ACM
15 years 4 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
161
click to vote
FORTE
2003
15 years 6 months ago
2003
Abstract. In this paper, we propose a testing method for QoS functions in distributed multi-media systems, where we test whether playback of media objects is correctly implemented ...
127
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. Distributed Objects DO as de ned by OMG's CORBA architecture provide a model for object-oriented parallel distributed computing. The parallelism in this model howeve...