Sciweavers

1420 search results - page 28 / 284
» A Framework for Scheduler Synthesis
Sort
View
DATE
1999
IEEE
73views Hardware» more  DATE 1999»
15 years 4 months ago
Channel-Based Behavioral Test Synthesis for Improved Module Reachability
We introduce a novel behavioral test synthesis methodology that attempts to increase module reachability, driven by powerful global design path analysis. Based on the notion of tr...
Yiorgos Makris, Alex Orailoglu
ASAP
2004
IEEE
171views Hardware» more  ASAP 2004»
15 years 3 months ago
CHARMED: A Multi-Objective Co-Synthesis Framework for Multi-Mode Embedded Systems
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
Vida Kianzad, Shuvra S. Bhattacharyya
LREC
2008
102views Education» more  LREC 2008»
15 years 1 months ago
Evaluation of Modules and Tools for Speech Synthesis: the ECESS Framework
The consortium ECESS1 (European Center of Excellence for Speech Synthesis) has set up a framework for evaluation of software modules and tools relevant for speech synthesis. Till ...
Harald Höge, Zdravko Kacic, Bojan Kotnik, Mat...
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
14 years 6 months ago
A state-based framework for supervisory control synthesis and verification
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theu...
ISCAS
2008
IEEE
160views Hardware» more  ISCAS 2008»
15 years 6 months ago
ATLAS: An adaptively formed hierarchical cell library based analog synthesis framework
— This paper presents ATLAS - a framework for automated analog circuit synthesis that comprises of both topology generation and subsequent circuit sizing. A hierarchically arrang...
Angan Das, Ranga Vemuri