157 search results - page 22 / 32 » A Structured Demonstration of Program Comprehension Tools |
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
209
click to vote
POPL
2009
ACM
16 years 10 days ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
USENIX
2007
15 years 2 months ago
2007
Spyware is a class of malicious code that is surreptitiously installed on victims’ machines. Once active, it silently monitors the behavior of users, records their web surfing ...
190
click to vote
POPL
2009
ACM
16 years 10 days ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...