1585 search results - page 16 / 317 » A framework for computer-aided validation |
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
System engineering often states that respecting diversity during the upstream stages of a system designing is an unavoidable feature of the designing process. In the field of Infor...
CAD
2008
Springer
14 years 12 months ago
2008
Springer
By simultaneously considering evolution processes for parametric spline curves and implicitly defined curves, we formulate the framework of dual evolution. This allows us to combin...
DAC
2002
ACM
16 years 22 days ago
2002
ACM
We propose a false-path-aware statistical timing analysis framework. In our framework, cell as well as interconnect delays are assumed to be correlated random variables. Our tool ...
136
click to vote
TOG
2012
13 years 2 months ago
2012
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...
IEEEARES
2010
IEEE
15 years 6 months ago
2010
IEEE
—Recently Java annotations have received a lot of attention as a possible way to simplify the usage of various frameworks, ranging from persistence and verification to security....