1137 search results - page 69 / 228 » Partial Program Admission |
121
click to vote
AAAI
2006
15 years 2 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
144
Voted
ICLP
2011
Springer
14 years 4 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
123
Voted
DAGSTUHL
1996
15 years 2 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
101
Voted
CC
2003
Springer
15 years 6 months ago
2003
Springer
Cache memories were invented to decouple fast processors from slow memories. However, this decoupling is only partial, and many researchers have attempted to improve cache use by p...
121
click to vote
PADO
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...