Sciweavers

3893 search results - page 127 / 779
» Execution Architectures and Compilation
Sort
View
ICPR
2000
IEEE
15 years 11 months ago
Remote Robot Execution through WWW Simulation
Nowadays, every industry's goal is to improve their manufacturingprocesses and to increase their cadence of production, in order to be competitive. This goal usually implies ...
Santiago T. Puente Méndez, Fernando Torres ...
FPL
2006
Springer
115views Hardware» more  FPL 2006»
15 years 1 months ago
Executing Hardware as Parallel Software for Picoblaze Networks
Multi-processor architectures have gained interest recently because of their ability to exploit programmable silicon parallelism at acceptable power-efficiency figures. Despite th...
Pengyuan Yu, Patrick Schaumont
ASIAN
2004
Springer
107views Algorithms» more  ASIAN 2004»
15 years 3 months ago
A Framework for Compiler Driven Design Space Exploration for Embedded System Customization
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
Krishna V. Palem, Lakshmi N. Chakrapani, Sudhakar ...
ICCL
1992
IEEE
15 years 2 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg
DAC
2000
ACM
15 years 11 months ago
Compiling Esterel into sequential code
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
Stephen A. Edwards