Sciweavers

71228 search results - page 188 / 14246
» Algorithms
Sort
View
ESOP
2004
Springer
16 years 12 days ago
From Constraints to Finite Automata to Filtering Algorithms
Abstract. We introduce an approach to designing filtering algorithms by derivation from finite automata operating on constraint signatures. We illustrate this approach in two cas...
Mats Carlsson, Nicolas Beldiceanu
ESTIMEDIA
2004
Springer
16 years 12 days ago
Trace-based evaluation of clock synchronization algorithms for wireless loudspeakers
We present an evaluation strategy for clock synchronization algorithms. It is based on a combination of measured traces, which provide for realistic performance estimation, and of...
Philipp Blum, Lothar Thiele
MATA
2004
Springer
113views Communications» more  MATA 2004»
16 years 11 days ago
PEARL: A PErformance evaluAtor of cRyptographic aLgorithms for Mobile Devices
Abstract. Limited computational power imposes new challenges during the implementation of security and privacy solutions for mobile devices. The choice for the most appropriate cry...
José Bringel Filho, Windson Viana, Rossana ...
177
Voted
SAT
2004
Springer
102views Hardware» more  SAT 2004»
16 years 10 days ago
Derandomization of Schuler's Algorithm for SAT
Abstract. Recently Schuler [17] presented a randomized algorithm that solves SAT in expected time at most 2n(1−1/ log2(2m)) up to a polynomial factor, where n and m are, respecti...
Evgeny Dantsin, Alexander Wolpert
CSB
2003
IEEE
152views Bioinformatics» more  CSB 2003»
16 years 9 days ago
A Parallel Genetic Algorithm for Physical Mapping of Chromosomes
Physical map reconstruction in the presence of errors is a central problem in genetics of high computational complexity. A parallel genetic algorithm for a maximum likelihood esti...
Suchendra M. Bhandarkar, Jinling Huang, Jonathan A...
« Prev « First page 188 / 14246 Last » Next »