4722 search results - page 245 / 945 » Encoding Program Executions |
190
Voted
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
170
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...
144
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
153
click to vote
IEEEPACT
1998
IEEE
15 years 10 months ago
1998
IEEE
Method speculation of object-oriented programs attempts to exploit method-level parallelism (MLP) by executing sequential method invocations in parallel, while still maintaining c...
133
click to vote
EWSPT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Process programming languages have not been readily adopted by practitioners. We are addressing this problem through the development of Little-JIL, a language that focuse...