43 search results - page 4 / 9 » Some Paradigms for Visualizing Parallel Execution of Logic P... |
193
Voted
CEFP
2009
Springer
15 years 2 months ago
2009
Springer
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
134
Voted
PADS
2005
ACM
15 years 10 months ago
2005
ACM
In earlier work cloning is proposed as a means for efficiently splitting a running simulation midway through its execution into multiple parallel simulations. In simulation cloni...
158
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Instruction scratchpads have been previously suggested as a way to reduce the worst case execution time (WCET) of hard real-time programs without introducing the analysis issues p...
113
click to vote
ILP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
175
Voted
ASP
2001
Springer
15 years 9 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...