Sciweavers

1492 search results - page 49 / 299
» Testing Properties of Constraint-Graphs
Sort
View
FSS
2010
100views more  FSS 2010»
15 years 23 days ago
Linearity testing for fuzzy rule-based models
In this paper, we introduce a linearity test for fuzzy rule-based models in the framework of time series modeling. To do so, we explore a family of statistical models, the regime ...
José Luis Aznarte, Marcelo C. Medeiros, Jos...
117
Voted
SEMWEB
2010
Springer
15 years 1 months ago
Using SPARQL to Test for Lattices: Application to Quality Assurance in Biomedical Ontologies
We present a scalable, SPARQL-based computational pipeline for testing the lattice-theoretic properties of partial orders represented as RDF triples. The use case for this work is ...
Guo-Qiang Zhang, Olivier Bodenreider
111
Voted
VLSID
2003
IEEE
145views VLSI» more  VLSID 2003»
16 years 3 months ago
Immediate Neighbor Difference IDDQ Test (INDIT) for Outlier Identification
Increasing values and spread in leakage current makes it impossible to distinguish between faulty and fault-free chips using single threshold method. Neighboring chips on a wafer ...
Sagar S. Sabade, D. M. H. Walker
APSCC
2009
IEEE
15 years 10 months ago
Modeling and testing of cloud applications
What is a cloud application precisely? In this paper, we formulate a computing cloud as a kind of graph, a computing resource such as services or intellectual property access righ...
W. K. Chan, Lijun Mei, Zhenyu Zhang
ASPDAC
2004
ACM
78views Hardware» more  ASPDAC 2004»
15 years 8 months ago
On compliance test of on-chip bus for SOC
- In this paper, we employ a monitor-based approach for on-chip bus (OCB) compliance test. To describe the OCB protocols,we proposea FSM model, which can help to extract the necess...
Hue-Min Lin, Chia-Chih Yen, Che-Hua Shih, Jing-Yan...