Sciweavers

4342 search results - page 241 / 869
» Improved Algorithms for Optimal Embeddings
Sort
View
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 9 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
CEC
2009
IEEE
16 years 8 days ago
Multi-start JADE with knowledge transfer for numerical optimization
— JADE is a recent variant of Differential Evolution (DE) for numerical optimization, which has been reported to obtain some promising results in experimental study. However, we ...
Fei Peng, Ke Tang, Guoliang Chen, Xin Yao
IPPS
2006
IEEE
15 years 11 months ago
Exploring the design space of an optimized compiler approach for mesh-like coarse-grained reconfigurable architectures
In this paper we study the performance improvements and trade-offs derived from an optimized mapping approach applied on a parametric coarse grained reconfigurable array architect...
Grigoris Dimitroulakos, Michalis D. Galanis, Const...
DATE
2005
IEEE
106views Hardware» more  DATE 2005»
15 years 11 months ago
SAT-Based Complete Don't-Care Computation for Network Optimization
This paper describes an improved approach to Boolean network optimization using internal don’t-cares. The improvements concern the type of don’t-cares computed, their scope, a...
Alan Mishchenko, Robert K. Brayton
CORR
2010
Springer
225views Education» more  CORR 2010»
15 years 5 months ago
Sensing Matrix Optimization for Block-Sparse Decoding
Recent work has demonstrated that using a carefully designed sensing matrix rather than a random one, can improve the performance of compressed sensing. In particular, a welldesign...
Kevin Rosenblum, Lihi Zelnik-Manor, Yonina C. Elda...