Sciweavers

1140 search results - page 122 / 228
» Generating compilers for generated datapaths
Sort
View
173
Voted
TACAS
2001
Springer
160views Algorithms» more  TACAS 2001»
15 years 7 months ago
Hardware/Software Co-Design Using Functional Languages
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
Alan Mycroft, Richard Sharp
100
Voted
HCI
2007
15 years 4 months ago
Visual Agent Programming (VAP): An Interactive System to Program Animated Agents
An interactive system in which the user can program animated agents visually is introduced: the Visual Agent Programming (VAP) software provides a GUI to program life-like agents. ...
Kamran Khowaja, Sumanta Guha
106
Voted
IJCAI
2001
15 years 4 months ago
Temporal Decision Trees or the lazy ECU vindicated
The automatic generation of diagnostic decision trees from qualitative models is a reasonable compromise between the advantages of using a modelbased approach in technical domains...
Luca Console, Claudia Picardi, Daniele Theseider D...
DSL
1997
15 years 4 months ago
DiSTiL: A Transformation Library for Data Structures
DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for container data structures. DiSTiL is a representative of a new approach to domain-...
Yannis Smaragdakis, Don S. Batory
ICCAD
2003
IEEE
98views Hardware» more  ICCAD 2003»
16 years 8 days ago
Achieving Design Closure Through Delay Relaxation Parameter
Current design automation methodologies are becoming incapable of achieving design closure especially in the presence of deep submicron effects. This paper addresses the issue of ...
Ankur Srivastava, Seda Ogrenci Memik, Bo-Kyung Cho...