Sciweavers

12265 search results - page 114 / 2453
» Knuth-Morris-Pratt Algorithm: An Analysis
Sort
View
CSB
2002
IEEE
103views Bioinformatics» more  CSB 2002»
15 years 10 months ago
A Maximum Entropy Algorithm for Rhythmic Analysis of Genome-Wide Expression Patterns
Christopher James Langmead, C. Robertson McClung, ...
ISCAS
2002
IEEE
143views Hardware» more  ISCAS 2002»
15 years 10 months ago
Analysis of EBCOT decoding algorithm and its VLSI implementation for JPEG 2000
Hong-Hui Chen, Chung-Jr Lian, Te-Hao Chang, Liang-...
GI
2001
Springer
15 years 10 months ago
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
Dominique Cansell, Dominique Méry, Stephan ...