877 search results - page 155 / 176 » Annotated Revision Programs |
141
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
146
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
142
Voted
MOBISYS
2008
ACM
16 years 3 months ago
2008
ACM
RFID is widely used to track the movement of goods through a supply chain. In this paper, we extend the domain of RFID by presenting SixthSense, a platform for RFID-based enterpri...
130
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
Application-specific system-on-chip platforms create the opportunity to customize the cache configuration for optimal performance with minimal chip estate. Simulation, in partic...
166
Voted
NDSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To address this limitation, a number of solutions have rec...