14 search results - page 2 / 3 » Derive: a tool that automatically reverse-engineers instruct... |
DAC
2003
ACM
14 years 5 months ago
2003
ACM
This paper presents a novel instruction encoding generation technique for use in architecture exploration for application specific processors. The underlying exploration methodolo...
VL
2010
IEEE
13 years 2 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
ACL
2010
13 years 2 months ago
2010
In this paper, we address the task of mapping high-level instructions to sequences of commands in an external environment. Processing these instructions is challenging--they posit...
CSFW
2007
IEEE
13 years 8 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
SIGMETRICS
2010
ACM
13 years 2 months ago
2010
ACM
As modern multi-tier systems are becoming increasingly large and complex, it becomes more difficult for system analysts to understand the overall behavior of the system, and diag...