3441 search results - page 142 / 689 » Parallel Logic Programming Systems |
117
Voted
IPPS
1994
IEEE
15 years 6 months ago
1994
IEEE
A parallel transputer-based emulator has been developed to evaluate the DDM--ahighlyparallel virtual shared memory architecture. The emulator provides performance results of a har...
126
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
126
Voted
AIR
2004
15 years 2 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
113
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
125
Voted
PDPTA
2000
15 years 3 months ago
2000
Abstract GRIX system, which is a visual programming system specified for interprocessor communications in parallel computing, is proposed in this paper. In general, the scheduling ...