4355 search results - page 364 / 871 » From Interpretation to Compilation |
180
click to vote
RTA
2005
Springer
16 years 8 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 ...
186
click to vote
FUIN
2007
15 years 6 months ago
2007
Proof-carryingcode 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 o...
166
Voted
CIE
2007
Springer
16 years 29 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
153
click to vote
ITC
1998
IEEE
15 years 11 months ago
1998
IEEE
Previously-proposed strategies for VLSI fault diagnosis have su ered from a variety of self-imposed limitations. Some techniques are limited to a speci c fault model, and many wil...
182
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...