Sciweavers

2370 search results - page 206 / 474
» On the Revival of Dynamic Languages
Sort
View
CSFW
2010
IEEE
15 years 11 months ago
Information Flow Monitor Inlining
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
Andrey Chudnov, David A. Naumann
ERSA
2007
174views Hardware» more  ERSA 2007»
15 years 8 months ago
High-Level Specification of Runtime Reconfigurable Designs
”C to Gates” compilers for FPGAs have been a topic of investigation for nearly two decades. Some of these endeavors have reached a point of viability. Impulse C, for example, ...
Stephen D. Craven, Peter M. Athanas
VMV
2004
179views Visualization» more  VMV 2004»
15 years 8 months ago
High-Resolution Interactive Panoramas with MPEG-4
We present a system for the interactive navigation through high-resolution cylindrical panoramas. The system is based on MPEG-4 and describes the virtual world by the scene descri...
Peter Eisert, Yong Guo, Anke Riechers, Jürgen...
ENTCS
2008
131views more  ENTCS 2008»
15 years 7 months ago
Connector Rewriting with High-Level Replacement Systems
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
Christian Koehler, Alexander Lazovik, Farhad Arbab
EMNLP
2009
15 years 5 months ago
Feature-Rich Translation by Quasi-Synchronous Lattice Parsing
We present a machine translation framework that can incorporate arbitrary features of both input and output sentences. The core of the approach is a novel decoder based on lattice...
Kevin Gimpel, Noah A. Smith