458 search results - page 17 / 92 » Symbolic Object Code Analysis |
ESOP
2001
Springer
14 years 28 days ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
TCOM
2008
13 years 8 months ago
2008
Abstract--In this paper, performance of the Alamouti spacetime code (STC) [1] and performance of the concatenation between the convolutional code and the Alamouti STC are derived. ...
CODES
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...
IASTEDSEA
2004
13 years 9 months ago
2004
Code clone has been regarded as one of factors that make software maintenance more difficult. A code clone is a code fragment in a source code that is identical or similar to anot...
PASTE
2005
ACM
14 years 2 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...