578 search results - page 83 / 116 » A Logic Programming Based Approach to QA@CLEF05 Track |
147
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
134
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...
158
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
The paper presents a kernel for learning from ordered hypergraphs, a formalization that captures relational data as used in Inductive Logic Programming (ILP). The kernel generaliz...
135
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
156
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...