1880 search results - page 189 / 376 » A Static Analysis for Beta-Binders |
145
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Performance evaluation tools enable analysts to shed light on how applications behave both from a general point of view and at concrete execution points, but cannot provide detaile...
137
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...
200
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
215
click to vote
SIGMETRICS
1992
ACM
15 years 10 months ago
1992
ACM
The CLOCK algorithm is a popular buffer replacement algorithm becauseof its simplicity and its ability to approximate the performance of the Least Recently Used (LRU) replacement ...
180
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Social networks have become a major focus of research in recent years, initially directed towards static networks but increasingly, towards dynamic ones. In this paper, we investi...