Sciweavers

14 search results - page 2 / 3
» Automatic Synthesis and Optimization of Partially Specified ...
Sort
View
163
Voted
ASPDAC
2001
ACM
81views Hardware» more  ASPDAC 2001»
15 years 10 months ago
High-level specification and efficient implementation of pipelined circuits
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
Maria-Cristina V. Marinescu, Martin C. Rinard
166
Voted
DATE
1998
IEEE
109views Hardware» more  DATE 1998»
15 years 10 months ago
Cross-Level Hierarchical High-Level Synthesis
This paper presents a new approach to cross-level hierarchical high-level synthesis. A methodology is presented, that supports the efficient synthesis of hierarchical specified sy...
Oliver Bringmann, Wolfgang Rosenstiel
169
Voted
FM
1999
Springer
121views Formal Methods» more  FM 1999»
15 years 10 months ago
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
Hervé Marchand, Mazen Samaan
176
Voted
LPNMR
2009
Springer
16 years 28 days ago
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
Harold Ishebabi, Philipp Mahr, Christophe Bobda, M...
163
Voted
GECCO
2007
Springer
138views Optimization» more  GECCO 2007»
16 years 16 days ago
Unwitting distributed genetic programming via asynchronous JavaScript and XML
The success of a genetic programming system in solving a problem is often a function of the available computational resources. For many problems, the larger the population size an...
Jon Klein, Lee Spector