1880 search results - page 147 / 376 » A Static Analysis for Beta-Binders |
160
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. Vision systems for various tasks are increasingly being deployed. Although significant effort has gone into improving the algorithms for such tasks, there has been relati...
280
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
We address the problem of preserving privacy in streams, which has received surprisingly limited attention. For static data, a well-studied and widely used approach is based on ra...
153
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
159
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
205
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...