Sciweavers

5855 search results - page 276 / 1171
» Test generation and minimization with
Sort
View
DAC
2006
ACM
16 years 7 months ago
Timing-based delay test for screening small delay defects
The delay fault test pattern set generated by timing unaware commercial ATPG tools mostly affects very short paths, thereby increasing the escape chance of smaller delay defects. ...
Nisar Ahmed, Mohammad Tehranipoor, Vinay Jayaram
CAV
2011
Springer
253views Hardware» more  CAV 2011»
14 years 10 months ago
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. G...
ACL
1998
15 years 8 months ago
Combining Multiple, Large-Scale Resources in a Reusable Lexicon for Natural Language Generation
A lexicon is an essential component in a generation system but few efforts have been made to build a rich, large-scale lexicon and make it reusable for different generation applic...
Hongyan Jing, Kathleen McKeown
INEX
2005
Springer
16 years 5 days ago
Parameter Estimation for a Simple Hierarchical Generative Model for XML Retrieval
Abstract. This paper explores the possibility of using a modified Expectation-Maximization algorithm to estimate parameters for a simple hierarchical generative model for XML retr...
Paul Ogilvie, Jamie Callan
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
15 years 12 months ago
On Optimization of Reliability of Distributed Generation-Enhanced Feeders
Placement of protection devices in a conventional feeder (without distributed generation) is often performed so as to minimize traditional reliability indices (SAIDI, SAIFI, MAIFI...
Aleksandar Pregelj, Miroslav Begovic, Ajeet Rohatg...