Sciweavers

Share
JLP
2010
125views more  JLP 2010»
8 years 5 months ago
Algebraic simulations
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
José Meseguer, Miguel Palomino, Narciso Mar...
ESEC
1999
Springer
8 years 11 months ago
Checking Progress with Action Priority: Is it Fair?
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer
SOSP
2009
ACM
9 years 4 months ago
Quincy: fair scheduling for distributed computing clusters
This paper addresses the problem of scheduling concurrent jobs on clusters where application data is stored on the computing nodes. This setting, in which scheduling computations ...
Michael Isard, Vijayan Prabhakaran, Jon Currey, Ud...
CAV
2009
Springer
176views Hardware» more  CAV 2009»
9 years 8 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
books