185 search results - page 25 / 37 » Generation of Interpretive and Compiled Instruction Set Simu... |
IWPC
1999
IEEE
15 years 3 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
123
click to vote
TSE
2011
14 years 6 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
118
click to vote
FDL
2003
IEEE
15 years 5 months ago
2003
IEEE
SystemC-Plus from the ODETTE project provides the ability to simulate and synthesise object-oriented specifications into hardware. The current ODETTE compiler translates each obj...
IEEEARES
2010
IEEE
15 years 6 months ago
2010
IEEE
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...