223 search results - page 22 / 45 » New methods and coverage metrics for functional verification |
BMCBI
2007
13 years 8 months ago
2007
Background: Expressed sequence tags (ESTs) analyses are a fundamental tool for gene identification in organisms. Given a preliminary EST sample from a certain library, several sta...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
- Simulation-based functional verification is characterized by two inherently conflicting targets: the signal visibility and simulation performance. Achieving a proper trade-off be...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
This paper introduces a new registration method estimating the displacement field of bodies which deformations are constrained by an articulated rigid body. We propose an articula...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Identifying code implementing a crosscutting concern (CCC) automatically can benefit the maintainability and evolvability of the application. Although many approaches have been p...
GECCO
2006
Springer
14 years 12 days ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...