Stem quiescent$ (all stems)

6 papers:

ICALP-v2-2014-JagadeesanR #consistency

Between Linearizability and Quiescent Consistency — Quantitative Quiescent Consistency (RJ, JR), pp. 220–231.

FM-2014-DerrickDSTTW #consistency #verification

Quiescent Consistency: Defining and Verifying Relaxed Linearizability (JD, BD, GS, BT, OT, HW), pp. 200–214.

TAP-2013-StokkinkTS

Divergent Quiescent Transition Systems (WGJS, MT, MS), pp. 214–231.

SAC-2006-BonnetEV #ad hoc #mobile #network #using

Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts (FB, PDE, EV), pp. 670–674.

IFL-2004-Achten #user interface

The Feasibility of Interactively Probing Quiescent Properties of GUI Applications (PA), pp. 17–34.

FATES-2004-BrionesB #framework #generative #realtime #testing

A Test Generation Framework for quiescent Real-Time Systems (LBB, EB), pp. 64–78.