4693 search results - page 149 / 939 » Verifying Hybrid Systems |
166
Voted
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
157
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Microarrays have emerged as the preferred platform for high throughput gene expression analysis. Cross-hybridization among genes with high sequence similarities can be...
127
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...
122
Voted
WIMOB
2008
IEEE
15 years 11 months ago
2008
IEEE
—Based on the principle of spread spectrum systems, this paper presents a hybrid automatic-repeat-request (HARQ) scheme with the mitigation of intercarrier interference (ICI) by ...
149
click to vote
ICA3PP
2007
Springer
15 years 11 months ago
2007
Springer
We propose a source peer selection algorithm which efficiently chooses peers as sources from a set of peers having the requested file in a hybrid P2P file sharing system. Our propo...