4074 search results - page 191 / 815 » Abstract Graph Transformation |
116
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
134
click to vote
TCAD
2008
15 years 2 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
117
Voted
CC
2002
Springer
15 years 2 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
130
Voted
TSP
2010
14 years 9 months ago
2010
Abstract--Time-frequency analysis, such as the Gabor transform, plays an important role in many signal processing applications. The redundancy of such representations is often dire...
126
Voted
SAS
2009
Springer
15 years 9 months ago
2009
Springer
There are many programming situations where it would be convenient to conceal the meaning of code, or the meaning of certain variables. This can be achieved through program transfo...