283 search results - page 46 / 57 » Effective Program Verification for Relaxed Memory Models |
110
click to vote
ICPP
1995
IEEE
15 years 3 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
145
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
102
click to vote
CHES
2006
Springer
15 years 3 months ago
2006
Springer
It is well known that a malicious adversary can try to retrieve secret information by inducing a fault during cryptographic operations. Following the work of Seifert on fault induc...
ASPLOS
1991
ACM
15 years 3 months ago
1991
ACM
Blocking is a well-known optimization technique for improving the effectiveness of memory hierarchies. Instead of operating on entire rows or columns of an array, blocked algorith...
111
click to vote
ISPASS
2008
IEEE
15 years 6 months ago
2008
IEEE
—The potential for improving the performance of data-intensive scientific programs by enhancing data reuse in cache is substantial because CPUs are significantly faster than me...