1100 search results - page 200 / 220 » Instrumenting annotated programs |
137
click to vote
SIGSOFT
2003
ACM
16 years 3 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...
127
Voted
MOBISYS
2008
ACM
16 years 2 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...
116
Voted
CODES
2008
IEEE
15 years 9 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...
150
Voted
NDSS
2008
IEEE
15 years 8 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...
113
Voted
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...