1737 search results - page 164 / 348 » On Interpolation in Existence Logics |
156
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
The availability of programmable hardware devices with high density of logic elements and the possibility of implementing CPUs (called softcores) using a fraction of the FPGA area...
182
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper shows that the evolutionary design of digital circuits which is conducted at the gate level is able to produce human-competitive circuits at the transistor level. In ad...
206
click to vote
SEKE
2007
Springer
16 years 1 months ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
232
click to vote
PKDD
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
240
click to vote
ASPDAC
2004
ACM
16 years 19 days ago
2004
ACM
— We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include identification of erroneous test vector...