Extension Application File Sys File Sys library / University of California / /
IndustryTerm
dependable software / run-time systems / software platform look / unrelated software / non-trivial software / explicit resource management / protocol processing code / verification tools / Virtual memory hardware / hardware device / interprocess communications / memory management hardware / dependable software platform / dependable systems / software defects / sound tool / software-isolated processes / boundary between processes without hardware / software reliability / resource accounting / application software / hard boundaries and protects processor / Specification-driven tools / recent systems / x86 processor / software industry / trusted computing base / specification-driven defect detection tools / program analysis tools / programming and testing tools / explicit protocols / /
OperatingSystem
Microsoft Windows / Singularity / /
Organization
Computer Science Department / University of California at Santa Cruz / /
Person
Fernando Castor / Mahajan / Jim Larus / Aydan Yumerefendi / Mark Aiken / Prince / Manuel Fähndrich / Tom Roeder / Yaron Weinsberg / Martin Pohlack / Chris Hawblitzel / Michael Carbin / Daniel Frampton / Adam Chlipala / Martin Murray / Bill McCloskey / Jeremy Condit / Paul Barham / Avi Shinnar / Mike Spear / Ted Wobber / James Larus / Martín Abadi / Nick Murphy / Steven Levi / Galen Hunt / David Tarditi / /
Position
driver / multi-resource laxity-based scheduler / a round-robin scheduler / device driver / compile-time replaceable scheduler / class librar runtime runtime runtime Disk Driver / minimum latency round-robin scheduler / Prince / page manager / stack and page manager / Rialto scheduler / Scheduler / scheduler channel mgr kernel class library runtime Figure / /
Product
device drivers / /
ProgrammingLanguage
Java / C / Microsoft Intermediate Language / XML / C++ / /
ProvinceOrState
California / /
Technology
explicit protocols / virtual machine / XML / x86 processor / operating system / operating systems / process control / Java / Virtual memory / /