4299 search results - page 499 / 860 » Concurrent Test Generation |
154
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
152
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we examine the effects of single node mutations on trees evolved via genetic programming. The results show that neutral mutations are less likely for nodes nearer th...
163
Voted
BMCBI
2005
15 years 4 months ago
2005
Background: Recent advances in molecular biology techniques provide an opportunity for developing detailed mathematical models of biological processes. An iterative scheme is intr...
136
click to vote
IISWC
2008
IEEE
15 years 11 months ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
157
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
With the increasing number of processors in modern HPC(High Performance Computing) systems, there are two emergent problems to solve. One is scalability, the other is fault tolera...