2784 search results - page 294 / 557 » Instruction Level Parallelism |
194
Voted
RTA
2005
Springer
16 years 20 days ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
181
click to vote
ECLIPSE
2004
ACM
16 years 18 days ago
2004
ACM
Programming courses of all levels rely heavily on code examples. Often, to cover non-trivial subjects, it is convenient to present examples in the form of a tutorial. Such tutoria...
177
click to vote
CGO
2003
IEEE
16 years 14 days ago
2003
IEEE
Dynamic optimization is emerging as a promising approach to overcome many of the obstacles of traditional static compilation. But while there are a number of compiler infrastructu...
194
click to vote
SEW
2003
IEEE
16 years 13 days ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
232
click to vote
CASES
2003
ACM
16 years 13 days ago
2003
ACM
CRYPTONITE is a programmable processor tailored to the needs of crypto algorithms. The design of CRYPTONITE was based on an in-depth application analysis in which standard crypto ...