2262 search results - page 192 / 453 » Points with large quadrant-depth |
173
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
164
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
As process technology continues to scale into the nanoscale regime, interconnect plays an ever increasing role in determining VLSI system performance. As the complexity of these sy...
153
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
In spite of the recent improvements in the performance of Answer Set Programming (ASP) solvers, when the search space is sufficiently large, it is still possible for the search al...
153
click to vote
FSE
2007
Springer
15 years 10 months ago
2007
Springer
The reflection attack is a recently discovered self similarity analysis which is usually mounted on ciphers with many fixed points. In this paper, we describe two reflection attack...
145
click to vote
ANSS
2004
IEEE
15 years 10 months ago
2004
IEEE
As the Internet evolved, peer-to-peer networks became one of the major enabling technologies. Alternative solutions for several issues emerged with the use o this technology. Such...