4722 search results - page 553 / 945 » Encoding Program Executions |
137
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
134
click to vote
ASPLOS
1994
ACM
15 years 8 months ago
1994
ACM
Several researchers have proposed algorithms for basic block reordering. We call these branch alignment algorithms. The primary emphasis of these algorithms has been on improving ...
140
click to vote
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
146
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
148
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...