Sciweavers

6693 search results - page 296 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
180
Voted
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
15 years 5 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King
ICIP
2009
IEEE
15 years 4 months ago
Automatic closed eye correction
On a large group picture, having all people open their eyes can turn out to be a difficult task for photographers. Therefore, in this paper, we describe an original method to auto...
Jean Charles Bazin, Dang-Quang Pham, Inso Kweon, K...
ITC
2003
IEEE
167views Hardware» more  ITC 2003»
15 years 12 months ago
Path Delay Test Generation for Domino Logic Circuits in the Presence of Crosstalk
A technique to derive test vectors that exercise the worstcase delay effects in a domino circuit in the presence of crosstalk is described. A model for characterizing the delay of...
Rahul Kundu, R. D. (Shawn) Blanton
EURODAC
1994
IEEE
148views VHDL» more  EURODAC 1994»
15 years 10 months ago
BiTeS: a BDD based test pattern generator for strong robust path delay faults
This paper presents an algorithm for generation of test patterns for strong robust path delay faults, i.e. tests that propagate the fault along a single path and additionally are ...
Rolf Drechsler
ECIS
2003
15 years 8 months ago
Towards definitive benchmarking of algorithm performance
One of the primary methods employed by researchers to judge the merits of new heuristics and algorithms is to run them on accepted benchmark test cases and comparing their perform...
Andrew Lim, Wee-Chong Oon, Wenbin Zhu