Sciweavers

3836 search results - page 461 / 768
» Optimizing the Use of High Performance Software Libraries
Sort
View
ISCAS
2008
IEEE
89views Hardware» more  ISCAS 2008»
16 years 18 days ago
Multi-loop efficient sturdy MASH delta-sigma modulators
— An extended version of sturdy MASH delta-sigma modulators is presented in this paper. Improved performance is achieved using in-band zero optimization. The challenges towards h...
Nima Maghari, Un-Ku Moon
MCS
2007
Springer
16 years 9 days ago
Cooperative Coevolutionary Ensemble Learning
Abstract. A new optimization technique is proposed for classifiers fusion — Cooperative Coevolutionary Ensemble Learning (CCEL). It is based on a specific multipopulational evo...
Daniel Kanevskiy, Konstantin Vorontsov
DATE
2003
IEEE
109views Hardware» more  DATE 2003»
15 years 11 months ago
Data Space Oriented Scheduling in Embedded Systems
With the widespread use of embedded devices such as PDAs, printers, game machines, cellular telephones, achieving high performance demands an optimized operating system (OS) that ...
Mahmut T. Kandemir, Guangyu Chen, Wei Zhang 0002, ...
DATE
2004
IEEE
125views Hardware» more  DATE 2004»
15 years 10 months ago
Fast Comparisons of Circuit Implementations
Abstract-- Digital designs can be mapped to different implementations using diverse approaches, with varying cost criteria. Post-processing transforms, such as transistor sizing ca...
Shrirang K. Karandikar, Sachin S. Sapatnekar
ENTCS
2010
139views more  ENTCS 2010»
15 years 6 months ago
Spartacus: A Tableau Prover for Hybrid Logic
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
Daniel Götzmann, Mark Kaminski, Gert Smolka