Xerox / IBM Endicott Programming Laboratory / Bernstein / Real-Time Systems / ESPRIT / Dependable Computing Systems / Siemens / /
Country
Netherlands / /
Facility
University of Bologna / IBM T.J. ~htson Research Laboratory / IBM Endicott Programming Laboratory / /
IndustryTerm
reservation-based protocols / database systems / actual systems / priority inheritance protocols / /
Organization
office of Naval Research / National Science Foundation / DefenseAdvancedResearchProjects Agency / T.J. ~htson Research Laboratory / Cornell / Department of Mathematics / University of Bologna / Bologna / Italy KEITH MARZULLO** AND FRED B. SCHNEIDER*** Department of Computer Science / Department of Defense / Italian Ministry of Research / Commission of the European Cormnunities / /
Person
FRED B. SCHNEIDER / Sha / /
Position
timestamp-based concurrency controller / system designer / priority scheduler / scheduler / concurrency control scheduler / controller / /
A formalization of priority inversion