4693 search results - page 149 / 939 » Verifying Hybrid Systems |
120
click to vote
EURODAC
1995
IEEE
15 years 4 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...
116
click to vote
BMCBI
2004
15 years 25 days 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...
ICCAD
2001
IEEE
15 years 10 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. ...
WIMOB
2008
IEEE
15 years 7 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 ...
103
click to vote
ICA3PP
2007
Springer
15 years 7 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...