4722 search results - page 108 / 945 » Encoding Program Executions |
142
Voted
TCAD
2008
15 years 2 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
CORR
2007
Springer
15 years 2 months ago
2007
Springer
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Supinterpretations have shown their interest to deal with...
115
click to vote
ISCA
1992
IEEE
15 years 6 months ago
1992
IEEE
A quantitative analysis of program execution is essential to the computer architecture design process. With the current trend in architecture of enhancing the performance of unipr...
143
click to vote
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
133
click to vote
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...