7456 search results - page 327 / 1492 » Parallelism in Logic Programs |
196
click to vote
PADL
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
213
Voted
PACT
1997
Springer
15 years 10 months ago
1997
Springer
A technique for estimating the cost of executing a loop nest in parallel (parallel start-up overhead) is described in this paper. This technique is of utmost importance for paralle...
208
click to vote
MATES
2005
Springer
16 years 5 days ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
164
click to vote
CASCON
1996
15 years 8 months ago
1996
The Enterprise parallel programming system allows programmers to create, compile, execute, and debug parallel applications that execute over a network of workstations. The run-tim...
187
click to vote
FMCO
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...