Generalized Fair Reachability Analysis for Cyclic Protocols

IEEE/ACM Transactions on Networking - United States
doi 10.1109/90.490747
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Reachability Matrices and Cyclic Matrices

Electronic Journal of Linear Algebra
Number TheoryAlgebra
2010English

Optimal Time-Bounded Reachability Analysis for Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Generalized Wideband Cyclic MUSIC

Eurasip Journal on Advances in Signal Processing
HardwareElectronic EngineeringSignal ProcessingElectricalArchitecture
2009English

Optimal Dyck Reachability for Data-Dependence and Alias Analysis

Proceedings of the ACM on Programming Languages
2018English

Sensitivity Analysis for Linear Systems Based on Reachability Sets

2019English

Reachability Analysis on Distributed Executions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems

2007English

Best Proximity Point Theorems for Cyclic Generalized Proximal Contractions

Fixed Point Theory and Applications
GeometryApplied MathematicsTopology
2016English

Reachability Analysis of Communicating Pushdown Systems

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy