Article

Faster Possibility Detection by Combining Two Approaches

Authors:

Scott D. Stoller,

Fred B. SchneiderAuthors Info & Claims

WDAG '95: Proceedings of the 9th International Workshop on Distributed Algorithms

Pages 318 - 332

Published: 13 September 1995 Publication History

Abstract

No abstract available.

Cited By

View all

Garg VGarg RHansdah RKrishnaswamy DVaidya N(2019)Parallel algorithms for predicate detectionProceedings of the 20th International Conference on Distributed Computing and Networking10.1145/3288599.3288604(51-60)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1145/3288599.3288604
Kamali MLaibinis LPetre LSere K(2014)Formal development of wireless sensor-actor networksScience of Computer Programming10.1016/j.scico.2012.03.00280(25-49)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.1016/j.scico.2012.03.002
Natarajan AMittal NGarg V(2014)Online Algorithms to Generate Slices for Regular Temporal Logic PredicatesProceedings of the 15th International Conference on Distributed Computing and Networking - Volume 831410.1007/978-3-642-45249-9_11(165-180)Online publication date: 4-Jan-2014
https://dl.acm.org/doi/10.1007/978-3-642-45249-9_11
Show More Cited By

Recommendations

A Study of Two Approaches for Reconfiguring Fault-Tolerant Systolic Arrays

Presents a critical study of two approaches, the classical RC-cut approach and H.T. Kung and M.S. Lam's (Proc. 1984 MIT Conf. Advanced Res. VLSI p.74-83, 1984) RCS-cut approach, for reconfiguring faulty systolic arrays. The amount of cell (processing ...
Compiler-assisted approaches to fault detection on distributed-memory systems
Optimal Detection of Bridge Faults and Stuck-At Faults in Two-Level Logic

Bridge faults are caused by permanent circuit failures which result in two signal wires in a logic network becoming accidentally shorted. Such faults cannot be modeled as stuck-at faults. Some of them have the effect of transforming a combinational ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

WDAG '95: Proceedings of the 9th International Workshop on Distributed Algorithms

September 1995

331 pages

ISBN:3540602747

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 13 September 1995

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Garg VGarg RHansdah RKrishnaswamy DVaidya N(2019)Parallel algorithms for predicate detectionProceedings of the 20th International Conference on Distributed Computing and Networking10.1145/3288599.3288604(51-60)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1145/3288599.3288604
Kamali MLaibinis LPetre LSere K(2014)Formal development of wireless sensor-actor networksScience of Computer Programming10.1016/j.scico.2012.03.00280(25-49)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.1016/j.scico.2012.03.002
Natarajan AMittal NGarg V(2014)Online Algorithms to Generate Slices for Regular Temporal Logic PredicatesProceedings of the 15th International Conference on Distributed Computing and Networking - Volume 831410.1007/978-3-642-45249-9_11(165-180)Online publication date: 4-Jan-2014
https://dl.acm.org/doi/10.1007/978-3-642-45249-9_11
Nagamochi H(2011)Cop-robber guarding game with cycle robber-regionTheoretical Computer Science10.1016/j.tcs.2010.04.014412:4-5(383-390)Online publication date: 1-Feb-2011
https://dl.acm.org/doi/10.1016/j.tcs.2010.04.014
Kshemkalyani A(2011)Repeated detection of conjunctive predicates in distributed executionsInformation Processing Letters10.1016/j.ipl.2011.01.016111:9(447-452)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.1016/j.ipl.2011.01.016
Alpuente MComini MEscobar SFalaschi MIborra J(2010)A compact fixpoint semantics for term rewriting systemsTheoretical Computer Science10.1016/j.tcs.2010.05.012411:37(3348-3371)Online publication date: 1-Aug-2010
https://dl.acm.org/doi/10.1016/j.tcs.2010.05.012
Bilò VFanelli AFlammini MMoscardelli L(2010)When ignorance helpsTheoretical Computer Science10.1016/j.tcs.2009.10.007411:3(660-671)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.1016/j.tcs.2009.10.007
Alpuente MEscobar SIborra J(2009)Termination of narrowing revisitedTheoretical Computer Science10.1016/j.tcs.2009.07.037410:46(4608-4625)Online publication date: 1-Nov-2009
https://dl.acm.org/doi/10.1016/j.tcs.2009.07.037
Beauxis RPalamidessi C(2009)Probabilistic and nondeterministic aspects of anonymityTheoretical Computer Science10.1016/j.tcs.2009.06.008410:41(4006-4025)Online publication date: 1-Sep-2009
https://dl.acm.org/doi/10.1016/j.tcs.2009.06.008
Escobar SMeseguer JSasse R(2009)Variant Narrowing and Equational UnificationElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.05.015238:3(103-119)Online publication date: 1-Jun-2009
https://dl.acm.org/doi/10.1016/j.entcs.2009.05.015
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

A Study of Two Approaches for Reconfiguring Fault-Tolerant Systolic Arrays

Compiler-assisted approaches to fault detection on distributed-memory systems

Optimal Detection of Bridge Faults and Stuck-At Faults in Two-Level Logic

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations