Sciweavers

851 search results - page 24 / 171
» Synthesis of Distributed Systems from Knowledge-Based Specif...
Sort
View
TCAD
2010
121views more  TCAD 2010»
13 years 2 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
LISP
2002
105views more  LISP 2002»
13 years 7 months ago
Specification Diagrams for Actor Systems
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
Scott F. Smith, Carolyn L. Talcott
FMSD
2006
83views more  FMSD 2006»
13 years 7 months ago
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...
GECCO
2006
Springer
190views Optimization» more  GECCO 2006»
13 years 11 months ago
Design synthesis of microelectromechanical systems using genetic algorithms with component-based genotype representation
An automated design synthesis system based on a multi-objective genetic algorithm (MOGA) has been developed for the optimization of surface-micromachined MEMS devices. A hierarchi...
Ying Zhang, Raffi R. Kamalian, Alice M. Agogino, C...
INTERSPEECH
2010
13 years 2 months ago
The role of higher-level linguistic features in HMM-based speech synthesis
We analyse the contribution of higher-level elements of the linguistic specification of a data-driven speech synthesiser to the naturalness of the synthetic speech which it genera...
Oliver Watts, Junichi Yamagishi, Simon King