Searching for "Fair Simulation." – sorted by Relevance.
86 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
