BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
effici (2)
translat (2)
fault (2)
augment (1)
constraint (1)

Stem unobserv$ (all stems)

4 papers:

CIKMCIKM-2014-ZhangZZLM #comprehension #constraints #matrix
Understanding the Sparsity: Augmented Matrix Factorization with Sampled Constraints on Unobservables (YZ, MZ, YZ, YL, SM), pp. 1189–1198.
DATEDATE-v1-2004-Velev #performance #verification
Exploiting Signal Unobservability for Efficient Translation to CNF in Formal Verification of Microprocessors (MNV), pp. 266–271.
SATSAT-2004-Velev #encoding #performance #satisfiability
Encoding Global Unobservability for Efficient Translation to SAT (MNV), pp. 197–204.
DACDAC-1994-NagumoNNMM #fault #named #reduction #using
VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults (TN, MN, TN, MM, SM), pp. 510–515.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.