Sciweavers

300 search results - page 15 / 60
» Compiling Erlang to Scheme
Sort
View
BCS
2008
15 years 1 months ago
Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organisation
This paper describes our approaches to raise the level of abstraction at which hardware suitable for accelerating computationally-intensive applications can be specified. Field-Pr...
Qiang Liu, George A. Constantinides, Konstantinos ...
BXML
2004
15 years 1 months ago
Towards Embedding VoiceXML Applications Through Compilation
: In this paper we present an approach to embedding VoiceXML applications by an off-line compilation scheme. Our primary motivation is that VoiceXML is an established standard for ...
Dirk Bühler, Stefan W. Hamerich
AAAI
2010
15 years 1 months ago
A Novel Transition Based Encoding Scheme for Planning as Satisfiability
Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from...
Ruoyun Huang, Yixin Chen, Weixiong Zhang
EUROPAR
2007
Springer
15 years 1 months ago
Nested Parallelism in the OMPi OpenMP/C Compiler
This paper presents a new version of the OMPi OpenMP C compiler, enhanced by lightweight runtime support based on user-level multithreading. A large number of threads can be spawne...
Panagiotis E. Hadjidoukas, Vassilios V. Dimakopoul...
UAI
2008
15 years 1 months ago
Observation Subset Selection as Local Compilation of Performance Profiles
Deciding what to sense is a crucial task, made harder by dependencies and by a nonadditive utility function. We develop approximation algorithms for selecting an optimal set of me...
Yan Radovilsky, Solomon Eyal Shimony