Sciweavers

401 search results - page 8 / 81
» Synthesis from Component Libraries
Sort
View
TACAS
2007
Springer
117views Algorithms» more  TACAS 2007»
15 years 11 months ago
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
193
Voted
ISQED
2006
IEEE
109views Hardware» more  ISQED 2006»
15 years 11 months ago
Dual-K Versus Dual-T Technique for Gate Leakage Reduction : A Comparative Perspective
As a result of aggressive technology scaling, gate leakage (gate oxide direct tunneling) has become a major component of total power dissipation. Use of dielectrics of higher perm...
Saraju P. Mohanty, Ramakrishna Velagapudi, Elias K...
DEXAW
2008
IEEE
98views Database» more  DEXAW 2008»
16 years 1 days ago
Interface for Multidisciplinary Virtual Prototype Components
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
Stephan Vornholt, Ingolf Geist
ISORC
2009
IEEE
16 years 6 days ago
Component Based Middleware-Synthesis for AUTOSAR Basic Software
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
Dietmar Schreiner, Markus Schordan, Karl M. Gö...
ISCAS
2007
IEEE
133views Hardware» more  ISCAS 2007»
15 years 12 months ago
GAPSYS: A GA-based Tool for Automated Passive Analog Circuit Synthesis
— This paper presents GAPSYS - a genetic algorithm based automated circuit synthesis tool for passive analog circuits. It describes the procedure for developing both the circuit ...
Angan Das, Ranga Vemuri