2302 search results - page 141 / 461 » Testing as Abstraction |
165
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- This paper proposes a novel power-aware multifrequency wrapper architecture design to achieve at-speed testability. The trade-offs between power dissipation, scan time a...
190
click to vote
CLEF
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a system that applies Textual Entailment recognition techniques to the AVE task. This is performed comparing representations of text snippets by means...
148
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
174
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe a method for managing large expressions in symbolic computations which combines a hierarchical representation with signature calculations. As a case study, th...
175
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper proposes a novel method to characterize the performance of autonomous agents in the Trading Agent Competition for Supply Chain Management (TAC-SCM). We create ...