1223 search results - page 148 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
100
click to vote
DFT
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
116
Voted
HYBRID
2010
Springer
14 years 11 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
118
click to vote
CORR
2009
Springer
14 years 11 months ago
2009
Springer
on of abstract strategies which is extensional in the sense that a strategy is defined explicitly of derivations of an abstract reduction system. We then move to a more intensional...
146
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
111
click to vote
SYSTOR
2009
ACM
15 years 8 months ago
2009
ACM
A typical storage hierarchy comprises of components with varying performance and cost characteristics, providing multiple options for data placement. We propose and evaluate a hie...