6554 search results - page 1107 / 1311 » Constraint Logic Programming |
147
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
220
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
Current Radio Frequency Identification (RFID) systems generally have long design times and low tolerance to changes in specification. This paper describes a field programmable,...
156
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
135
click to vote
ECML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Learning from multi-relational domains has gained increasing attention over the past few years. Inductive logic programming (ILP) systems, which often rely on hill-climbi...
140
click to vote
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
In an out-of-order issue processor, instructions are dynamically reordered and issued to function units in their dataready order rather than their original program order to achiev...