4270 search results - page 236 / 854 » A Permutation Approach to Validation |
156
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Clock skew is becoming increasingly difficult to control due to variations. Link based non-tree clock distribution is a cost-effective technique for reducing clock skew variation...
158
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Enterprise modeling is a daunting task to be carried out from a single perspective. A challenge to this whole complexity is conflicting descriptions given by different actors when ...
187
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper focuses on the generation of physically valid views from two or more uncalibrated images acquired by standard cameras. The problem is faced without trying to yield a th...
179
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
171
click to vote
FMOODS
2006
15 years 8 months ago
2006
Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the...