Sciweavers

684 search results - page 35 / 137
» Compiler Tools in APL
Sort
View
SASP
2009
IEEE
291views Hardware» more  SASP 2009»
14 years 4 months ago
FCUDA: Enabling efficient compilation of CUDA kernels onto FPGAs
— As growing power dissipation and thermal effects disrupted the rising clock frequency trend and threatened to annul Moore’s law, the computing industry has switched its route...
Alexandros Papakonstantinou, Karthik Gururaj, John...
BMCBI
2006
171views more  BMCBI 2006»
13 years 10 months ago
The Autoimmune Disease Database: a dynamically compiled literature-derived database
Background: Autoimmune diseases are disorders caused by an immune response directed against the body's own organs, tissues and cells. In practice more than 80 clinically dist...
Thomas Karopka, Juliane Fluck, Heinz-Theodor Mevis...
WORDS
2003
IEEE
14 years 3 months ago
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
Jan Gustafsson, Björn Lisper, Christer Sandbe...
CAV
2010
Springer
214views Hardware» more  CAV 2010»
14 years 1 months ago
Comfusy: A Tool for Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, P...
ARC
2006
Springer
82views Hardware» more  ARC 2006»
14 years 1 months ago
Hardware and a Tool Chain for ADRES
Until recently, only a compiler and a high-level simulator of the reconfigurable architecture ADRES existed. This paper focuses on the problems that needed to be solved when moving...
Bjorn De Sutter, Bingfeng Mei, Andrei Bartic, Tom ...