378 search results - page 38 / 76 » Automating Coinduction with Case Analysis |
PC
2008
13 years 11 months ago
2008
Reconfigurable computing (RC) applications employing both microprocessors and FPGAs have potential for large speedup when compared with traditional (software) parallel application...
DAC
2000
ACM
14 years 12 months ago
2000
ACM
We revisit a basic element of modern signal integrity analysis, the modeling of worst-case coupling capacitance effects within a switch factor (SF) based methodology. We show that...
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates tha...
GECCO
2008
Springer
14 years 1 days ago
2008
Springer
Evolutionary testing denotes the use of evolutionary algorithms, e.g., Genetic Algorithms (GAs), to support various test automation tasks. Since evolutionary algorithms are heuris...
JEI
2008
13 years 10 months ago
2008
Defect detection in images is a current task in quality control and is often integrated in partially or fully automated systems. Assessing the performances of defect detection algo...