10213 search results - page 122 / 2043 » An Experimental Analysis of Parallel |
116
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: Analysis of data from high-throughput experiments depends on the availability of well-structured data that describe the assayed biomolecules. Procedures for obtaining ...
VLSID
2009
IEEE
15 years 10 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
AOSD
2010
ACM
15 years 4 months ago
2010
ACM
48
Voted
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
