7393 search results - page 296 / 1479 » Synthesis-for-testability using transformations |
118
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
In order to analyze shapes of continuous curves in R3 , we parameterize them by arc-length and represent them as curves on a unit two-sphere. We identify the subset denoting the cl...
140
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
162
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
140
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
123
click to vote
EAAI
2010
15 years 4 months ago
2010
: An interval problem is a problem where the unknown variables take interval values. Such a problem can be defined by interval constraints, such as "the interval [a, b] [a, b...