Searching for "Fair Simulation." – sorted by Relevance.
-
Fair Simulation
- Fair Simulation y Thomas A. Henzinger Orna Kupferman Sriram K. Rajamani EECS Department
- Cited by 41 (15 self) – Add To MetaCart
-
Fair Simulation Minimization
- Fair Simulation Minimization ? Sankar Gurumurthy 1 , Roderick Bloem 2 , and Fabio Somenzi 1 1
- Cited by 11 (1 self) – Add To MetaCart
-
Applicability of fair simulation
- Applicability of Fair Simulation Doron Bustan and Orna Grumberg Computer Science Department
- Cited by 3 (1 self) – Add To MetaCart
-
Bridging the gap between fair simulation and trace inclusion
- Bridging the Gap Between Fair Simulation and Trace Inclusion Yonit Kesten Nir Piterman ¡ March
- Cited by 7 (6 self) – Add To MetaCart
-
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
- Fair Simulation Relations, Parity Games, and State Space Reduction for Buchi Automata Kousha
- Cited by 18 (2 self) – Add To MetaCart
-
Simulation Relations for Alternating Büchi Automata
- direct, delayed, and fair simulation to alternating Bchi automata. Unlike with nondeterministic Bchi
- Cited by 1 (0 self) – Add To MetaCart
-
On Complementing Nondeterministic Büchi Automata
- as direct and fair simulation. 1 Introduction Efforts for developing simple complementation algorithms
- Cited by 11 (6 self) – Add To MetaCart
-
General Weighted Fairness and Its Support in Explicit Rate Switch Algorithms
- and show how it can be modified to achieve the GW fairness. For simulations, the weight parameters
- Cited by 13 (4 self) – Add To MetaCart
-
On Fairness of ATM UBR Service in Carrying Heterogeneous Internet Traffic
- scale; UDP sources grab more bandwidth than TCP sources. The fairness for the simulated network
- Add To MetaCart
-
Sliding Cycle Time-based MAC Protocol for Service Level Agreeable Ethernet Passive Optical Networks
- guarantees steady state fairness. Simulation results show that proposed scheme outperforms existing schemes
- Add To MetaCart

