Sciweavers

3394 search results - page 139 / 679
» Design patterns for semaphores
Sort
View
134
Voted
DATE
2009
IEEE
90views Hardware» more  DATE 2009»
16 years 11 days ago
A scalable method for the generation of small test sets
This paper presents a scalable method to generate close to minimal size test pattern sets for stuck-at faults in scan based circuits. The method creates sets of potentially compat...
Santiago Remersaro, Janusz Rajski, Sudhakar M. Red...
VTS
1999
IEEE
106views Hardware» more  VTS 1999»
15 years 10 months ago
RT-level TPG Exploiting High-Level Synthesis Information
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto
FM
2006
Springer
111views Formal Methods» more  FM 2006»
15 years 9 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack
ACMSE
2010
ACM
15 years 3 months ago
Pattern-based synonym and antonym extraction
Many research studies adopt manually selected patterns for semantic relation extraction. However, manually identifying and discovering patterns is time consuming and it is difficu...
Wenbo Wang, Christopher Thomas, Amit P. Sheth, Vic...
KDD
2003
ACM
152views Data Mining» more  KDD 2003»
16 years 6 months ago
Interactive exploration of coherent patterns in time-series gene expression data
Discovering coherent gene expression patterns in time-series gene expression data is an important task in bioinformatics research and biomedical applications. In this paper, we pr...
Daxin Jiang, Jian Pei, Aidong Zhang