204 search results - page 22 / 41 » Test Derivation from Timed Automata |
ASPDAC
2005
ACM
13 years 10 months ago
2005
ACM
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
To date we have developed and applied numerous model-based GUI testing techniques; however, we are unable to provide definitive improvement schemes to real-world GUI test planners...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
In this paper we propose a new approach of the two-image alignment problem based on a functional representation of images. This allows us to derive a one-to-several correspondence,...
ICMCS
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we derive an analytical model for the evaluation of the performance of a Video on Demand (VoD) system. The model estimates the mean waiting time achievable by the P...
DAC
1999
ACM
14 years 9 months ago
1999
ACM
This paper describes a novel methodology for high performance asynchronous design based on timed circuits and on CAD support for their synthesis using Relative Timing. This method...