Sciweavers

1414 search results - page 238 / 283
» Automated Metamorphic Testing
Sort
View
ICCAD
1999
IEEE
80views Hardware» more  ICCAD 1999»
14 years 18 hour ago
What is the cost of delay insensitivity?
Deep submicron technology calls for new design techniques, in which wire and gate delays are accounted to have equal or nearly equal effect on circuit behaviour. Asynchronous spee...
Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, ...
ICRA
1999
IEEE
89views Robotics» more  ICRA 1999»
14 years 10 hour ago
An Integrated Interface Tool for the Architecture for Agile Assembly
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
Jay Gowdy, Zack J. Butler
ICSE
1998
IEEE-ACM
13 years 12 months ago
Modeling and Analysis of a Virtual Reality System with Time Petri Nets
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, R...
CVPR
1997
IEEE
13 years 12 months ago
Deformable Multi Template Matching with Application to Portal Images
The exact positioning of patients during radiotherapy is essential for high precision treatment. The registration of portal image sequences can help to control the patient positio...
Martin Berger, Gaudenz Danuser
KDD
1994
ACM
113views Data Mining» more  KDD 1994»
13 years 11 months ago
Exploration of Simulation Experiments by Discovery
: Weexemplify in this paper, howa discovery system is applied to the analysis of simulation experimentsin practical political planning, andshowwhatkind of newknowledgecan be discov...
Willi Klösgen