4401 search results - page 264 / 881 » Computing with Default Logic |
151
click to vote
CONCUR
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
147
click to vote
APCSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
In order to enhance the performance of a computer, most modern processors use superscalar architecture and raise the clock frequency. Superscalar architecture can execute more than...
160
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
154
click to vote
ICLP
1997
Springer
15 years 9 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
139
Voted
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...