Technical Committee on Operating Systems. Technisches Komitee bei der IEEE für Betriebssysteme.