Sciweavers

11097 search results - page 221 / 2220
» Hera presentation generator
Sort
View
101
Voted
COGSR
2011
82views more  COGSR 2011»
14 years 5 months ago
Executive control of retrieval in noun and verb generation
In verb/noun generation experiments, participants have to produce a word associated with a stimulus (usually a noun) and belonging to a given syntactic category (“verb” or “...
Fabio Del Missier, Cristiano Crescentini
87
Voted
VLSID
2009
IEEE
115views VLSI» more  VLSID 2009»
15 years 11 months ago
Efficient Techniques for Directed Test Generation Using Incremental Satisfiability
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
Prabhat Mishra, Mingsong Chen
ACSAC
2009
IEEE
15 years 5 months ago
Online Signature Generation for Windows Systems
—In this paper, we present a new, light-weight approach for generating filters for blocking buffer overflow attacks on Microsoft Windows systems. It is designed to be deployabl...
Lixin Li, James E. Just, R. Sekar
ICSE
2009
IEEE-ACM
15 years 5 months ago
WISE: Automated test generation for worst-case complexity
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...
Jacob Burnim, Sudeep Juvekar, Koushik Sen
92
Voted
DFT
2006
IEEE
125views VLSI» more  DFT 2006»
15 years 5 months ago
Synthesis of Efficient Linear Test Pattern Generators
This paper presents a procedure for Synthesis of LINear test pattern Generators called SLING. SLING can synthesize linear test pattern generators that satisfy constraints on area,...
Avijit Dutta, Nur A. Touba