3047 search results - page 166 / 610 » On the Meaning of Logical Completeness |
117
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
89
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
117
Voted
FCCM
2002
IEEE
15 years 5 months ago
2002
IEEE
We examine the energy savings possible by re-mapping critical software loops from a microprocessor to configurable logic appearing on the same-chip in commodity chips now commerci...
88
Voted
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
The objective of this paper is to define a minimum number of configurations for testing the configurable modules that interface the global interconnect and the logic cells of SRAM...
96
Voted
AAAI
2004
15 years 2 months ago
2004
An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...