619 search results - page 44 / 124 » The Design and Implementation of a Certifying Compiler |
190
click to vote
VEE
2005
ACM
15 years 11 months ago
2005
ACM
We introduce a strategy for inlining native functions into JavaTM applications using a JIT compiler. We perform further optimizations to transform inlined callbacks into semantica...
187
click to vote
CSFW
2009
IEEE
15 years 9 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
165
click to vote
JAVA
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes a portable and efficient sampling-based online measurement system for production-level Java virtual machines. This system is designed to provide continuous re...
157
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...
183
click to vote
FDL
2003
IEEE
15 years 11 months ago
2003
IEEE
SystemC-Plus from the ODETTE project provides the ability to simulate and synthesise object-oriented specifications into hardware. The current ODETTE compiler translates each obj...