Sciweavers

580 search results - page 43 / 116
» Building a Family of Compilers
Sort
View
VEE
2010
ACM
229views Virtualization» more  VEE 2010»
14 years 2 months ago
VMKit: a substrate for managed runtime environments
Managed Runtime Environments (MREs), such as the JVM and the CLI, form an attractive environment for program execution, by providing portability and safety, via the use of a bytec...
Nicolas Geoffray, Gaël Thomas, Julia L. Lawal...
ASPLOS
2011
ACM
12 years 11 months ago
Mementos: system support for long-running computation on RFID-scale devices
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
Benjamin Ransford, Jacob Sorber, Kevin Fu
TLCA
2005
Springer
14 years 1 months ago
Proof Contexts with Late Binding
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
Virgile Prevosto, Sylvain Boulmé
LREC
2010
158views Education» more  LREC 2010»
13 years 9 months ago
Lexicon Design for Transcription of Spontaneous Voice Messages
Building a comprehensive pronunciation lexicon is a crucial element in the success of any speech recognition engine. The first stage of lexicon design involves the compilation of ...
Michal Gishri, Vered Silber-Varod, Ami Moyal
ICIP
2002
IEEE
14 years 9 months ago
JANIS: Just Another n-order Side-Informed Watermarking Scheme
This paper deals with some detection issues of watermark signals. We propose an easy way to implement an informed watermarking embedder whatever the detection function. This metho...
Teddy Furon, Benoit M. Macq, Neil J. Hurley, Gueno...