861 search results - page 89 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
129
click to vote
PPOPP
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
125
Voted
CCS
2009
ACM
16 years 3 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
126
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Framework-intensive applications (e.g., Web applications) heavily use temporary data structures, often resulting in performance bottlenecks. This paper presents an optimized blend...
240
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
108
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...