Sciweavers

1039 search results - page 169 / 208
» A Dynamic Voltage Scaling Algorithm for Dynamic Workloads
Sort
View
ICGA
1993
145views Optimization» more  ICGA 1993»
13 years 10 months ago
Genetic Programming of Minimal Neural Nets Using Occam's Razor
A genetic programming method is investigated for optimizing both the architecture and the connection weights of multilayer feedforward neural networks. The genotype of each networ...
Byoung-Tak Zhang, Heinz Mühlenbein
LISP
2008
154views more  LISP 2008»
13 years 8 months ago
Types and trace effects for object orientation
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
Christian Skalka
ET
2002
97views more  ET 2002»
13 years 8 months ago
Test Generation for Crosstalk-Induced Faults: Framework and Computational Results
Due to technology scaling and increasing clock frequency, problems due to noise effects lead to an increase in design/debugging efforts and a decrease in circuit performance. This...
Wei-Yu Chen, Sandeep K. Gupta, Melvin A. Breuer
ICASSP
2011
IEEE
13 years 18 days ago
Modified embedding for multi-regime detection in nonstationary streaming data
Many practical data streams are typically composed of several states known as regimes. In this paper, we invoke phase space reconstruction methods from non-linear time series and ...
Evan Kriminger, José Carlos Príncipe...
PLDI
2009
ACM
14 years 3 months ago
LiteRace: effective sampling for lightweight data-race detection
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...
Daniel Marino, Madanlal Musuvathi, Satish Narayana...