1216 search results - page 187 / 244 » Hybrid type checking |
131
Voted
ESA
2004
Springer
15 years 9 months ago
2004
Springer
The computation of dominators in a flowgraph has applications in several areas, including program optimization, circuit testing, and theoretical biology. Lengauer and Tarjan [30]...
119
click to vote
ICS
1998
Tsinghua U.
15 years 8 months ago
1998
Tsinghua U.
In order to achieve high performance, contemporary microprocessors must effectively process the four major instruction types: ALU, branch, load, and store instructions. This paper...
141
Voted
BMCBI
2007
15 years 4 months ago
2007
Background: The ability to visualize genomic features and design experimental assays that can target specific regions of a genome is essential for modern biology. To assist in the...
156
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Array-based comparative genomic hybridization (array-CGH) is a recently developed technique for analyzing changes in DNA copy number. As in all microarray analyses, no...
130
click to vote
CSDA
2007
15 years 3 months ago
2007
The knowledge of the state sequences that explain a given observed sequence for a known hidden Markovian model is the basis of various methods that may be divided into three categ...