Sciweavers

7580 search results - page 104 / 1516
» Prometheus design tool
Sort
View
126
Voted
RSP
2005
IEEE
162views Control Systems» more  RSP 2005»
15 years 9 months ago
SyCE: An Integrated Environment for System Design in SystemC
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
Rolf Drechsler, Görschwin Fey, Christian Genz...
ISOLA
2004
Springer
15 years 9 months ago
Designing Safe, Reliable Systems using Scade
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
Parosh Aziz Abdulla, Johan Deneaux, Gunnar St&arin...
119
Voted
DAC
2000
ACM
15 years 8 months ago
CYCLONE: automated design and layout of RF LC-oscillators
This paper presents an automated, layout-aware RF LCoscillator design tool, called CYCLONE that delivers an accurate and optimal LC-oscillator design, from specification to layout...
Carl De Ranter, B. De Muer, Geert Van der Plas, Pe...
119
Voted
SIAMCO
2008
87views more  SIAMCO 2008»
15 years 3 months ago
Homogeneous Approximation, Recursive Observer Design, and Output Feedback
We introduce two new tools that can be useful in nonlinear observer and output feedback design. The first one is a simple extension of the notion of homogeneous approximation to ma...
Vincent Andrieu, Laurent Praly, Alessandro Astolfi
162
Voted
SAC
2011
ACM
14 years 6 months ago
A semantically rich approach for collaborative model edition
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
Jonathan Michaux, Xavier Blanc, Marc Shapiro, Pier...