Stem ceil$ (all stems)

5 papers:

CHI-2011-ScarrCGQ #comprehension #user interface

Dips and ceilings: understanding and supporting transitions to expertise in user interfaces (JS, AC, CG, PQ), pp. 2741–2750.

POPL-2011-SchwarzSVLM #protocol #source code #static analysis

Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol (MDS, HS, VV, PL, MMO), pp. 93–104.

AdaEurope-2004-RealBGSC #ada

Dynamic Ceiling Priorities: A Proposal for Ada0Y (JR, AB, FJMG, ES, AC), pp. 261–272.

AdaEurope-1999-RealW #multi #protocol #realtime

The Ceiling Protocol in Multi-moded Real-Time Systems (JR, AJW), pp. 275–286.

TRI-Ada-1996-YueDL #ada #protocol

Priority Ceiling Protocol in Ada (KbY, SD, TL), pp. 3–9.