Search results for "semi-modular"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Michael J. Liebelt, Cheng-Chew Lim	A method for determining whether asynchronous circuits are self-checking.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	low-power electronics, TSC, low noise properties, semi-modular asynchronous circuit, output stuck-at-faults, low power, fault diagnosis, logic testing, integrated circuit testing, design for testability, asynchronous circuits, testability, totally self-checking, integrated circuit noise
20	Signe J. Silver, Janusz A. Brzozowski	True Concurrency in Models of Asynchronous Circuit Behavior.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	multiple-winner, single-winner, semi-modular, asynchronous, circuit, interleaving, true concurrency, delay-insensitive
20	Christian Carmona, Geoff K. Nicholls	Semi-Modular Inference: enhanced learning in multi-modular models by tempering the influence of components.	AISTATS	2020	DBLP BibTeX RDF
13	Chris U. Carmona, Geoff K. Nicholls	Scalable Semi-Modular Inference with Variational Meta-Posteriors.	CoRR	2022	DBLP DOI BibTeX RDF
13	Jean-Xavier Rampon, Bernd S. W. Schröder	Reconstruction of Finite Truncated Semi-Modular Lattices.	J. Comb. Theory, Ser. B	2002	DBLP DOI BibTeX RDF
13	Nikolai Starodoubtsev, Alexandre V. Bystrov, Alexandre Yakovlev	Semi-modular Latch Chains for Asynchronous Circuit Design.	PATMOS	2000	DBLP DOI BibTeX RDF
13	Damas P. Gruska	Genomorphisms of Semi-Modular Lattices.	J. Comput. Syst. Sci.	1990	DBLP DOI BibTeX RDF
8	Fabio Cuzzolin	A Lattice-Theoretic Interpretation of Independence of Frames.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF

Displaying result #1 - #8 of 8 (100 per page; Change: )