Sciweavers

627 search results - page 76 / 126
» How optimal is the genetic code
Sort
View
GECCO
2005
Springer
125views Optimization» more  GECCO 2005»
15 years 9 months ago
Schema disruption in tree-structured chromosomes
We study if and when the inequality dp(H) ≤ rel∆(H) holds for schemas H in chromosomes that are structured as trees. The disruption probability dp(H) is the probability that a...
William A. Greene
141
Voted
PC
2002
114views Management» more  PC 2002»
15 years 3 months ago
Optimizing noncontiguous accesses in MPI-IO
The I/O access patterns of many parallel applications consist of accesses to a large number of small, noncontiguous pieces of data. If an application's I/O needs are met by m...
Rajeev Thakur, William Gropp, Ewing L. Lusk
DAGSTUHL
2006
15 years 5 months ago
Coxeter Lattice Paths
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations their com...
Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Wa...
112
Voted
ICIP
1998
IEEE
16 years 5 months ago
An Efficient Motion Estimation Algorithm based on Tracing Techniques on Large Search Windows
Motion estimation represents the most computationally intensive task for all efficient motion compensated compression standards. This fact, despite the several eflorts aiming at r...
Marco Mattavelli, Giorgio Zoia
CORR
2010
Springer
147views Education» more  CORR 2010»
15 years 3 months ago
Mechanized semantics
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
Xavier Leroy