2784 search results - page 294 / 557 » Instruction Level Parallelism |
134
Voted
RTA
2005
Springer
15 years 9 months 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 ...
125
click to vote
ECLIPSE
2004
ACM
15 years 9 months 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...
114
click to vote
CGO
2003
IEEE
15 years 9 months 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...
146
click to vote
SEW
2003
IEEE
15 years 9 months 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...
153
click to vote
CASES
2003
ACM
15 years 9 months 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 ...