126 search results - page 23 / 26 » Directly Addressable Variable-Length Codes |
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
ELPUB
2004
ACM
14 years 27 days ago
2004
ACM
tions, allowing interlinking of abstracting and indexing databases with full-text sources, and providing the ability to search across multiple databases simultaneously. Publishers ...
PLDI
2003
ACM
14 years 21 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
IEEEPACT
2002
IEEE
14 years 11 days ago
2002
IEEE
Modern embedded systems often require high degrees of instruction-level parallelism (ILP) within strict constraints on power consumption and chip cost. Unfortunately, a high-perfo...