Sciweavers

872 search results - page 97 / 175
» UML-based design test generation
Sort
View
DAC
2002
ACM
16 years 4 months ago
Software-based diagnosis for processors
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed test of high-speed microprocessors using low-cost testers. We explore the fault diagnos...
Li Chen, Sujit Dey
SIGIR
2004
ACM
15 years 9 months ago
Constructing a text corpus for inexact duplicate detection
As online document collections continue to expand, both on the Web and in proprietary environments, the need for duplicate detection becomes more critical. The goal of this work i...
Jack G. Conrad, Cindy P. Schriber
147
Voted
VLSID
2002
IEEE
152views VLSI» more  VLSID 2002»
16 years 4 months ago
Verification of an Industrial CC-NUMA Server
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
Rajarshi Mukherjee, Yozo Nakayama, Toshiya Mima
GECCO
2003
Springer
118views Optimization» more  GECCO 2003»
15 years 9 months ago
Distributed Probabilistic Model-Building Genetic Algorithm
In this paper, a new model of Probabilistic Model-Building Genetic Algorithms (PMBGAs), Distributed PMBGA (DPMBGA), is proposed. In the DPMBGA, the correlation among the design var...
Tomoyuki Hiroyasu, Mitsunori Miki, Masaki Sano, Hi...
111
Voted
ICRA
2000
IEEE
89views Robotics» more  ICRA 2000»
15 years 8 months ago
A Robotic Stepper for Retraining Locomotion in Spinal-Injured Rodents
We describe the design and testing of a robotic system to assist locomotion training of spinal-injured rodents. The goal of the system is to control and quantify spatialtemporal p...
David J. Reinkensmeyer, Wojciech K. Timoszyk, Ray ...