37 search results - page 2 / 8 » Behaviour-Preserving Transformations in SHE: A Formal Approa... |
DAC
2008
ACM
14 years 5 months ago
2008
ACM
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
ECBS
2010
IEEE
13 years 10 months ago
2010
IEEE
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...
SEW
2005
IEEE
13 years 10 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
OTM
2005
Springer
13 years 10 months ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
DAC
1998
ACM
14 years 5 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...