911 search results - page 54 / 183 » Kolmogorov Complexity Cores |
116
click to vote
DATE
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper presents a new approach that allows remote testing and diagnosis of complex (Systems-on-Chip) and embedded IP cores. The approach extends both on-chip design-for-test (...
161
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
137
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Simulators are still the primary tools for development and performance evaluation of applications running on massively parallel architectures. However, current virtual platforms a...
129
click to vote
EH
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a detailed technical description of a large-scale evolvable hardware system for evolving complex digital circuits directly in silicon at high speed. The core o...
159
click to vote
ASPDAC
2012
ACM
14 years 1 months ago
2012
ACM
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...