391 search results - page 68 / 79 » A genetic programming approach to automated software repair |
116
click to vote
SIGSOFT
2007
ACM
16 years 13 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
126
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: Expression levels for 47294 transcripts in lymphoblastoid cell lines from all 270 HapMap phase II individuals, and genotypes (both HapMap phase II and III) of 3.96 mil...
SIGSOFT
2005
ACM
16 years 13 days ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
92
Voted
VLSID
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...
PERCOM
2010
ACM
14 years 10 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...