7393 search results - page 320 / 1479 » Synthesis-for-testability using transformations |
176
click to vote
TOOLS
1998
IEEE
15 years 9 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...
155
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose a spectrally efficient transmission scheme for the half-duplex relay channel. In the proposed scheme, the relay combines N detected r-dimensional symbols and generates M...
142
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
147
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
103
click to vote
WSC
2004
15 years 6 months ago
2004
We describe a characterization the three classical world views of event scheduling, activity scanning, and process interaction and discuss transformations among them. We believe t...