Sciweavers

6568 search results - page 954 / 1314
» Reducing the Complexity of Reductions
Sort
View
ICCAD
2009
IEEE
118views Hardware» more  ICCAD 2009»
15 years 4 months ago
Pre-bond testable low-power clock tree design for 3D stacked ICs
Pre-bond testing of 3D stacked ICs involves testing individual dies before bonding. The overall yield of 3D ICs improves with prebond testability because designers can avoid stack...
Xin Zhao, Dean L. Lewis, Hsien-Hsin S. Lee, Sung K...
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 4 months ago
Cause Clue Clauses: Error Localization using Maximum Satisfiability
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
Manu Jose, Rupak Majumdar
ADHOC
2010
317views more  ADHOC 2010»
15 years 3 months ago
Simple ant routing algorithm strategies for a (Multipurpose) MANET model
A Mobile Ad-hoc Network has limited and scarce resources and thus routing protocols in such environments must be kept as simple as possible. The Simple Ant Routing Algorithm (SARA...
Fernando Correia, Teresa Vazão
BMCBI
2011
15 years 1 months ago
Investigating the effect of paralogs on microarray gene-set analysis
Background: In order to interpret the results obtained from a microarray experiment, researchers often shift focus from analysis of individual differentially expressed genes to an...
Andre J. Faure, Cathal Seoighe, Nicola J. Mulder
SIAMREV
2010
108views more  SIAMREV 2010»
15 years 1 months ago
Market Design for Emission Trading Schemes
Abstract. The main thrust of the paper is the design and the numerical analysis of new capand-trade schemes for the control and the reduction of atmospheric pollution. The tools de...
René Carmona, Max Fehr, Juri Hinz, Arnaud P...