2002 · 40 citations · 15 references
ComputingComputer ScienceComputer SystemsOperating SystemsSystems ArchitectureSystems DesignObject-oriented AnalysisObject-oriented DesignObject-oriented ProgrammingOperating System InterfacesSoftware ArchitectureSoftware DesignObject-oriented ArchitectureOperating System ArchitectureSoftware Frameworks
Presents a method for designing operating systems using object-oriented frameworks. A framework can be refined into subframeworks. Constraints specify the interactions between the subframeworks. The authors describe how they used object-oriented frameworks to design Choices, an object-oriented operating system.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
15
Memory coherence in shared virtual memory systems
Kai Li, Paul Hudak · 1986 · 221 citations · Full text
R. Rashid · Medical Entomology and Zoology · 1986 · 115 citations
Forest Baskett, John H. Howard, John T. Montague · ACM SIGOPS Operating Systems Review · 1977 · 114 citations