1379 search results - page 117 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
114
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
112
Voted
ICCD
2002
IEEE
16 years 16 days ago
2002
IEEE
During the course of a program’s execution, a processor performs many trivial computations; that is, computations that can be simplified or where the result is zero, one, or equ...
148
click to vote
CSMR
2006
IEEE
15 years 9 months ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
123
Voted
POPL
1999
ACM
15 years 8 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
123
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...