Sciweavers

5086 search results - page 935 / 1018
» The Power of Comparative Reasoning
Sort
View
CORR
2010
Springer
208views Education» more  CORR 2010»
13 years 10 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
BMCBI
2006
92views more  BMCBI 2006»
13 years 10 months ago
Recrafting the neighbor-joining method
Background: The neighbor-joining method by Saitou and Nei is a widely used method for constructing phylogenetic trees. The formulation of the method gives rise to a canonical (n3)...
Thomas Mailund, Gerth Stølting Brodal, Rolf...
BMCBI
2006
146views more  BMCBI 2006»
13 years 10 months ago
Optimized Particle Swarm Optimization (OPSO) and its application to artificial neural network training
Background: Particle Swarm Optimization (PSO) is an established method for parameter optimization. It represents a population-based adaptive optimization technique that is influen...
Michael Meissner, Michael Schmuker, Gisbert Schnei...
BMCBI
2006
126views more  BMCBI 2006»
13 years 10 months ago
OpWise: Operons aid the identification of differentially expressed genes in bacterial microarray experiments
Background: Differentially expressed genes are typically identified by analyzing the variation between replicate measurements. These procedures implicitly assume that there are no...
Morgan N. Price, Adam P. Arkin, Eric J. Alm
CJ
2006
84views more  CJ 2006»
13 years 10 months ago
Instruction Level Parallelism through Microthreading - A Scalable Approach to Chip Multiprocessors
Most microprocessor chips today use an out-of-order instruction execution mechanism. This mechanism allows superscalar processors to extract reasonably high levels of instruction ...
Kostas Bousias, Nabil Hasasneh, Chris R. Jesshope