7393 search results - page 103 / 1479 » Synthesis-for-testability using transformations |
171
click to vote
ICMT
2011
Springer
14 years 6 months ago
2011
Springer
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
139
click to vote
ENTCS
2006
15 years 3 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
132
click to vote
ICIP
2001
IEEE
16 years 4 months ago
2001
IEEE
The Hough transform is a widely used tool for line detection mainly due to its robustness to noise; on the other hand, it is also known to be computationally expensive, thus often...
126
click to vote
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
102
click to vote
CSL
2004
Springer
15 years 8 months ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...