7430 search results - page 589 / 1486 » Programming Applications in CIFF |
180
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
177
click to vote
PASTE
2005
ACM
16 years 22 days ago
2005
ACM
This paper presents Lancet, a multi-platform software visualization tool that enables the inspection of programs at the binary code level. Implemented on top of the linktime rewri...
185
click to vote
WCFLP
2005
ACM
16 years 22 days ago
2005
ACM
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...
156
click to vote
SIGADA
2005
Springer
16 years 19 days ago
2005
Springer
The En Route Automation Modernization (ERAM) program is a real-time Air Traffic Control (ATC) program being developed by Lockheed Martin Corporation. The ERAM program has high ava...
180
click to vote
PLDI
2004
ACM
16 years 18 days ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...