Sciweavers

686 search results - page 60 / 138
» Benchmarking cerebellar control
Sort
View
ATS
2003
IEEE
98views Hardware» more  ATS 2003»
15 years 5 months ago
Automatic Design Validation Framework for HDL Descriptions via RTL ATPG
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
Liang Zhang, Michael S. Hsiao, Indradeep Ghosh
GECCO
2010
Springer
181views Optimization» more  GECCO 2010»
15 years 4 months ago
Evolving neural networks in compressed weight space
We propose a new indirect encoding scheme for neural networks in which the weight matrices are represented in the frequency domain by sets of Fourier coefficients. This scheme exp...
Jan Koutnik, Faustino J. Gomez, Jürgen Schmid...
EMSOFT
2001
Springer
15 years 4 months ago
An Implementation of Scoped Memory for Real-Time Java
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
William S. Beebee, Martin C. Rinard
DOLAP
1999
ACM
15 years 4 months ago
Dealing with Slow-Evolving Fact: A Case Study on Inventory Data Warehousing
Data Warehousing for INventory management DWIN is a production project at Telcordia aimed at providing telecommunications service providers with decision support functions for i...
Chung-Min Chen, Munir Cochinwala, Elsa Yueh
DAC
1998
ACM
15 years 4 months ago
Approximate Reachability with BDDs Using Overlapping Projections
Approximate reachability techniques trade o accuracy with the capacity to deal with bigger designs. Cho et al 3 proposed approximate FSM traversal algorithms over a partition of t...
Shankar G. Govindaraju, David L. Dill, Alan J. Hu,...