Sciweavers

3771 search results - page 102 / 755
» Subobject Transformation Systems
Sort
View
ECBS
2010
IEEE
146views Hardware» more  ECBS 2010»
15 years 8 months ago
Design-Space Exploration through Constraint-Based Model-Transformation
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
Bernhard Schätz, Florian Hölzl, Torbj&ou...
FM
1999
Springer
121views Formal Methods» more  FM 1999»
15 years 7 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
124
Voted
DAC
1995
ACM
15 years 6 months ago
Rephasing: A Transformation Technique for the Manipulation of Timing Constraints
- We introduce a transformation, named rephasing, that manipulates the timing parameters in control-dataflow graphs. Traditionally high-level synthesis systems for DSP have either ...
Miodrag Potkonjak, Mani B. Srivastava
ACL
1993
15 years 4 months ago
Automatic Grammar Induction and Parsing Free Text: A Transformation-Based Approach
In this paper we describe a new technique for parsing free text: a transformational grammar I is automatically learned that is capable of accurately parsing text into binary-branc...
Eric Brill
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 3 months ago
Using ATL to define advanced and flexible constraint model transformations
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
Raphaël Chenouard, Laurent Granvilliers, Rica...