Sciweavers

3456 search results - page 588 / 692
» Algorithms for Interface Synthesis
Sort
View
FMCAD
2007
Springer
14 years 3 months ago
Formal Verification of Partial Good Self-Test Fencing Structures
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
Adrian E. Seigler, Gary A. Van Huben, Hari Mony
GCC
2007
Springer
14 years 3 months ago
Improving the Performance of MPI Applications over Computational Grid
The Message Passing Interface (MPI) is a standard in parallel computing, and can also be used as a highperformance programming model for Grid application development. How to execu...
Bo Song, Guangwen Yang, Qiming Fang
IEEECGIV
2006
IEEE
14 years 3 months ago
PathBank: Web-Based Querying and Visualziation of an Integrated Biological Pathway Database
PathBank is a web-based query and visualization system for biological pathways using an integrated pathway database. To address the needs for biologists to visualize and analyze b...
Joshua Wing Kei Ho, Tristan Manwaring, Seok-Hee Ho...
IPPS
2006
IEEE
14 years 3 months ago
On the performance of parallel normalized explicit preconditioned conjugate gradient type methods
A new class of parallel normalized preconditioned conjugate gradient type methods in conjunction with normalized approximate inverses algorithms, based on normalized approximate f...
George A. Gravvanis, Konstantinos M. Giannoutakis
IROS
2006
IEEE
190views Robotics» more  IROS 2006»
14 years 3 months ago
SwisTrack: A Tracking Tool for Multi-Unit Robotic and Biological Systems
— Tracking of miniature robotic platforms involves major challenges in image recognition and data association. We present our 3-year effort into developing the platform-independe...
Nikolaus Correll, Grégory Sempo, Yuri L&oac...