1022 search results - page 40 / 205 » Logspace Complexity of Functions and Structures |
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
ECML
1997
Springer
14 years 1 months ago
1997
Springer
In learning from examples it is often useful to expand an attribute-vector representation by intermediate concepts. The usual advantage of such structuring of the learning problemi...
TOPLAS
1998
13 years 9 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
VLSID
1999
IEEE
14 years 1 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
GLVLSI
2007
IEEE
14 years 4 months ago
2007
IEEE
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...