391 search results - page 68 / 79 » A genetic programming approach to automated software repair |
135
click to vote
SIGSOFT
2007
ACM
16 years 2 months 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...
154
Voted
BMCBI
2010
14 years 11 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...
107
Voted
SIGSOFT
2005
ACM
16 years 2 months 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...
117
Voted
VLSID
2005
IEEE
16 years 2 months 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 ...
113
click to vote
PERCOM
2010
ACM
15 years 7 days 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...