3527 search results - page 334 / 706 » Test Automation in Practice |
134
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...
142
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
Recent progress in EDA tools allows IC designs to be accurately verified with consequent improvements in yield and performance through reduced guard bands. This paper will present...
118
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
3D echocardiography is one of the emerging real-time imaging modalities that is increasingly used in clinical practice to assess cardiac function. It provides for evaluation a mor...
123
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. We present randoCoP, a theorem prover for classical firstorder logic, which integrates randomized search techniques into the connection prover leanCoP 2.0. By randomly re...
145
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...