2935 search results - page 346 / 587 » An Integrated Approach to High Integrity Software Verificati... |
143
click to vote
CASES
2009
ACM
15 years 9 months ago
2009
ACM
Reducing feature sizes and power supply voltage allows integrating more processing units (PUs) on multiprocessor system-on-chip (MPSoC) to satisfy the increasing demands of applic...
181
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The Generalized Hidden Markov Model (GHMM) has proven a useful framework for the task of computational gene prediction in eukaryotic genomes, due to its flexibility an...
200
click to vote
TCAD
2011
15 years 1 months ago
2011
—Pre-bond testing of 3-D stacked integrated circuits (ICs) involves testing each individual die before bonding. The overall yield of 3-D ICs improves with pre-bond testability be...
190
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
184
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper describes the development and application of methods to integrate research image analysis methods and software with a commercial image guided surgery navigation system ...