2947 search results - page 307 / 590 » Analyzing Program Analyses |
181
click to vote
IACR
2011
14 years 6 months ago
2011
We investigate public key encryption that allows the originator of a ciphertext to retrieve a “forgotten” plaintext from the ciphertext. This type of public key encryption wit...
166
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
OSprof is a versatile, portable, and efficient profiling methodology based on the analysis of latency distributions. Although OSprof has offers several unique benefits and has bee...
194
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...
216
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
183
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...