Sciweavers

3827 search results - page 244 / 766
» The Epsilon Generation Language
Sort
View
GECCO
2003
Springer
15 years 11 months ago
Hybrid Networks of Evolutionary Processors
Abstract. A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph and can perform one simple operation only on the w...
Carlos Martín-Vide, Victor Mitrana, Mario J...
VLSID
2004
IEEE
138views VLSI» more  VLSID 2004»
16 years 7 months ago
Synthesis-driven Exploration of Pipelined Embedded Processors
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt
APLAS
2003
ACM
15 years 10 months ago
Executing Verified Compiler Specification
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
Koji Okuma, Yasuhiko Minamide
ACL
2010
15 years 4 months ago
Entity-Based Local Coherence Modelling Using Topological Fields
One goal of natural language generation is to produce coherent text that presents information in a logical order. In this paper, we show that topological fields, which model high-...
Jackie Chi Kit Cheung, Gerald Penn
CC
2003
Springer
126views System Software» more  CC 2003»
15 years 11 months ago
Rapid and Robust Compiler Construction Using Template-Based Metacompilation
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...
Kees van Reeuwijk