1620 search results - page 64 / 324 » Testing Polymorphic Properties |
109
Voted
SEMWEB
2010
Springer
15 years 12 days 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 ...
167
Voted
MA
2011
Springer
14 years 9 months ago
2011
Springer
The class of dual φ-divergence estimators (introduced in Broniatowski and Keziou (2009) [6]) is explored with respect to robustness through the influence function approach. For ...
105
Voted
VLSID
2003
IEEE
16 years 2 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 ...
145
Voted
APSCC
2009
IEEE
15 years 9 months 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...
ASPDAC
2004
ACM
15 years 8 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...