Sciweavers

4299 search results - page 172 / 860
» Concurrent Test Generation
Sort
View
122
Voted
ISQED
2007
IEEE
148views Hardware» more  ISQED 2007»
15 years 10 months ago
On Accelerating Soft-Error Detection by Targeted Pattern Generation
Soft error due to ionizing radiation is emerging as a major concern for future technologies. The measurement unit for failures due to soft errors is called Failure-In-Time (FIT) t...
Alodeep Sanyal, Kunal P. Ganeshpure, Sandip Kundu
162
Voted
FPGA
2000
ACM
114views FPGA» more  FPGA 2000»
15 years 7 months ago
Generating highly-routable sparse crossbars for PLDs
A method for evaluating and constructing sparse crossbars which are both area efficient and highly routable is presented. The evaluation method uses a network flow algorithm to ac...
Guy G. Lemieux, Paul Leventis, David M. Lewis
114
Voted
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
15 years 10 months ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
114
Voted
ATS
2000
IEEE
149views Hardware» more  ATS 2000»
15 years 8 months ago
Efficient built-in self-test algorithm for memory
We present a new pseudorandom testing algorithm for the Built-In Self-Test (BIST) of DRAM. In this algorithm, test patterns are complemented to generate state-transitions that are...
Sying-Jyan Wang, Chen-Jung Wei
140
Voted
GI
2007
Springer
15 years 9 months ago
Automated Test Case Selection Based on a Similarity Function
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
Emanuela G. Cartaxo, Francisco G. Oliveira Neto, P...