Digital Bifurcation Analysis of Internet Congestion Control Protocols (Q5138291): Difference between revisions

@@ Property / cites work @@
+Distributed Algorithms for SCC Decomposition
@@ Property / cites work: Distributed Algorithms for SCC Decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Detecting Attractors in Biological Models with Uncertain Parameters
+Normal rank
@@ Property / cites work @@
+System design of stochastic models using robustness of temporal properties
+Normal rank
@@ Property / cites work @@
+Formal methods for discrete-time dynamical systems
+Normal rank
@@ Property / cites work @@
+A model checking approach to discrete bifurcation analysis
+Normal rank
@@ Property / cites work @@
+Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT
+Normal rank
@@ Property / cites work @@
+High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Handbook of Model Checking
@@ Property / cites work: Handbook of Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Hopf bifurcation analysis in a fluid flow model of internet congestion control algorithm
+Normal rank
@@ Property / cites work @@
+Q4413143
@@ Property / cites work: Q4413143 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability of TCP Dynamics in Large Data Networks
@@ Property / cites work: Stability of TCP Dynamics in Large Data Networks / rank @@
+Normal rank
@@ Property / cites work @@
+A model for stochastic hybrid systems with application to communication networks
+Normal rank
@@ Property / cites work @@
+SYMBOLIC DYNAMICAL MODEL OF AVERAGE QUEUE SIZE OF RANDOM EARLY DETECTION ALGORITHM
+Normal rank
@@ Property / cites work @@
+Stability and Hopf bifurcation analysis of a TCP/RAQM network with ISMC procedure
+Normal rank
@@ Property / cites work @@
+Instability of a Tandem Network and Its Propagation Under RED
+Normal rank
@@ Property / cites work @@
+Controlling bifurcations and chaos in TCP-UDP-RED
@@ Property / cites work: Controlling bifurcations and chaos in TCP-UDP-RED / rank @@
+Normal rank
@@ Property / cites work @@
+Finding strongly connected components in distributed graphs
+Normal rank
@@ Property / cites work @@
+On the concept of attractor
@@ Property / cites work: On the concept of attractor / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-first search is inherently sequential
@@ Property / cites work: Depth-first search is inherently sequential / rank @@
+Normal rank
@@ Property / cites work @@
+On the homology of attractors
@@ Property / cites work: On the homology of attractors / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Bifurcation Analysis of a Class of (n + 1)-Dimension Internet Congestion Control Systems
+Normal rank