7103 search results - page 185 / 1421 » Program Generation and Components |
180
Voted
STTT
2010
15 years 29 days ago
2010
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
165
click to vote
RR
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
119
Voted
ISMB
1994
15 years 3 months ago
1994
The recently-developedgenetic programming paradigmisused to evoIve a computer program to classify a given protein segment as being a transmembrane domainor non-uansmembranearea of...
143
Voted
ADAEUROPE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
109
Voted
ISCA
2010
IEEE
15 years 7 months ago
2010
IEEE
Fault tolerance is now a primary design constraint for all major microprocessors. One step in determining a processor’s compliance to its failure rate target is measuring the Ar...