Sciweavers

373 search results - page 13 / 75
» Automatic Generation of Symmetry-Breaking Constraints
Sort
View
SP
2006
IEEE
214views Security Privacy» more  SP 2006»
14 years 2 months ago
Automatically Generating Malicious Disks using Symbolic Execution
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar...
ICCV
2007
IEEE
14 years 3 months ago
Total Recall: Automatic Query Expansion with a Generative Feature Model for Object Retrieval
Given a query image of an object, our objective is to retrieve all instances of that object in a large (1M+) image database. We adopt the bag-of-visual-words architecture which ha...
Ondrej Chum, James Philbin, Josef Sivic, Michael I...
ATS
2009
IEEE
99views Hardware» more  ATS 2009»
14 years 3 months ago
Test Generation for Designs with On-Chip Clock Generators
High performance designs often use the on-chip device PLLs for accurate test clock generation during testing. The on-chip clock generator is designed in a programmable way to faci...
Xijiang Lin, Mark Kassab
METAINFORMATICS
2004
Springer
14 years 2 months ago
Supporting Tools for Designing-By-Contract in Component-Based Applications
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
Antonio Coronato, Antonio d'Acierno, Diego D'Ambro...
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
14 years 3 months ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko