1069 search results - page 85 / 214 » Automatic Generation of Language-based Tools |
NDSS
2007
IEEE
15 years 6 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
192
click to vote
POPL
2009
ACM
16 years 15 days ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
129
click to vote
ATS
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents a new effective Built-In Self Test (BIST) scheme that achieves 100% fault coverage with low area overhead, and without any modification of the circuit under tes...
110
click to vote
CADE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
106
click to vote
FLAIRS
2007
15 years 2 months ago
2007
The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...