7167 search results - page 140 / 1434 » A Technique for Invariant Generation |
110
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—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...
140
click to vote
SIGMOD
1994
ACM
15 years 10 months ago
1994
ACM
: Evaluating database system performance often requires generating synthetic databases
163
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
Sprite coding is a very efficient method for the representation and compression of background video object, which has been accepted by MPEG-4 standard. However, how to automatical...
142
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we address the problem of code generation for basic blocks in heterogeneous memory-register DSP processors. We propose a new a technique, based on register-transfer ...
146
click to vote
ENTCS
2002
15 years 6 months ago
2002
Approaches to runtime checking have to track the execution of a software system and therefore have to deal with generating and processing execution events. Often these techniques ...