Sciweavers

300 search results - page 15 / 60
» Compiling Erlang to Scheme
Sort
View
BCS
2008
14 years 11 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
14 years 11 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
64
Voted
AAAI
2010
14 years 11 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
14 years 11 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
14 years 11 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