Sciweavers

6704 search results - page 144 / 1341
» Testing Scenario-Based Models
Sort
View
LOPSTR
2009
Springer
16 years 29 days ago
Using Rewrite Strategies for Testing BUpL Agents
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
Lacramioara Astefanoaei, Frank S. de Boer, M. Birn...
ATS
2003
IEEE
87views Hardware» more  ATS 2003»
15 years 11 months ago
March SL: A Test For All Static Linked Memory Faults
The analysis of linked faults has proven to be a source for new memory tests, characterized by an increased fault coverage. The paper gives a set of five new tests to target all ...
Said Hamdioui, Zaid Al-Ars, A. J. van de Goor, Mik...
PTS
2004
69views Hardware» more  PTS 2004»
15 years 7 months ago
On Testing Partially Specified IOTS through Lossless Queues
In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified inpu...
Jiale Huo, Alexandre Petrenko
ET
1998
52views more  ET 1998»
15 years 6 months ago
Scalable Test Generators for High-Speed Datapath Circuits
This paper explores the design of efficient test sets and test-pattern generators for online BIST. The target applications are high-performance, scalable datapath circuits for whi...
Hussain Al-Asaad, John P. Hayes, Brian T. Murray
CORR
2011
Springer
200views Education» more  CORR 2011»
15 years 1 months ago
Sequential Analysis in High Dimensional Multiple Testing and Sparse Recovery
—This paper studies the problem of high-dimensional multiple testing and sparse recovery from the perspective of sequential analysis. In this setting, the probability of error is...
Matt Malloy, Robert Nowak