1492 search results - page 49 / 299 » Testing Properties of Constraint-Graphs |
149
click to vote
FSS
2010
15 years 2 months ago
2010
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 ...
139
click to vote
SEMWEB
2010
Springer
15 years 3 months ago
2010
Springer
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 ...
131
click to vote
VLSID
2003
IEEE
16 years 5 months ago
2003
IEEE
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 ...
176
click to vote
APSCC
2009
IEEE
16 years 6 days ago
2009
IEEE
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...
125
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
- 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...