 |
|
Index
Operating System
Exotic Operating System
Network Technology
Window System
File System
Semantic File/Storage System
Semantic (World Wide) Web
Natural Language Processing
Natural Image Processing
Multiparadigmatic Computing
Formal Modeling
Formal Verification
Software Development Tool
Intelligent/Cognitive Agent
Intelligent/Cognitive Interface
Visualization
Mixed Reality
Collaborative Virtual Environment
Computer-Aided x
Automation
Machine Simulation
Robot Simulation
Human Simulation/Holomer
Geography
Earth Simulation/Virtual Globe
Astronomy (Observation)
Space Simulation
Algorithmic/Generative/Evolutionary/Organic ... Art/Science
Enterprise/Business/Commerce
A link marked with * means under investigation.
A link marked with ** means convicted of copyright infringement.
The marked links are kept, altered, or removed as need for documenting the history of our Ontologic System (OS).
Operating System
- Gentoo Community and Foundation: Gentoo L!nux
- Juan Romero Pardines and contributors: Void - A distro based on the XBPS packaging system
- NixOS - The Purely Functional Linux Distribution
- Hisham Muhammad and GoboLinux team: GoboLinux
- Fermilab, European Organization for Nuclear Research (CERN), and various other Labs and Universities around the World: Scientific Linux (SL)
- University of Cambridge, Computer Laboratory, Robert N. M. Watson and Jonathan Anderson: Capsicum
- Amon Ott, Guillaume Destuynder, Michal Purzynski, Boldizsár Bencsáth and supporters: RSBAC - Rule Set Based Access Control
- Alexander Peslyak, Dmitry D. Khlebnikov, Alexey V. Vissarionov, Jen Linkova, Andrey V. Stolyarov and supporters: Openwall GNU/*/Linux®
Exotic Operating System
- University of Texas at Austin, Computational Logic, and Defense Advanced Research Projects Agency (DARPA), William R. Bevier: KIT - A Verified Operating System Kernel [PDF]
- University of Adelaide, Department of Computer Science, and University of Sydney, Department of Computer Science, Alan Dearle, Rex di Bona, James Farrow, Frans Henskens, Anders Lindström, John Rosenberg, and Francis Vaughan: Grasshopper: An orthogonally persistent operating system [PDF]
- Massachusetts Institute of Technology, Laboratory for Computer Science: Exokernel and library Operating System (libOS)
- Dawson R. Engler and M. Frans Kaashoek: Exterminate All Operating System Abstractions [PDF]
- M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hétor M. Bricefio, Russell Hunt, David Mazikres, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie: Xok and ExOS - Application Performance and Flexibility on Exokernel Systems [PDF]
- University of Texas at Arlington, Computer Science and Engi- neering Department, Amit Vasudevan, Ramesh Yerraballi, and Ashish Chawla: KLOS: A High Performance Kernel-Less Operating System [PDF]
- University of California at Santa Barbara, Computer Science Department, Dave Probert, John Bruno, and M. Karaorman: SPACE: A New Approach to Operating System Abstraction [PDF]
- Lucent Technologies and University of California at Santa Barbara, John Bruno, José Brustoloni, Eran Gabber, Avi Silberschatz, and Christopher Small: Pebble: A Component-Based Operating System for Embedded Applications [PDF]
(inspired by SPACE)
- University of Utah, Department of Computer Science: Flux project
- Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Shantanu Goel, and Steven Clawson: Flux μ-kernel Environment (Fluke) - Microkernel Meets Recursive Virtual Machines [PDF]
- Patrick Alexander Tullmann: The Alta Operating System [PDF]
- Vrije Universiteit Amsterdam, Leendert van Doorn, Philip Homburg, and Andrew S. Tanenbaum: Paramecium: an extensible object-based kernel [PDF]
(see also Exokernel and Alta)
- Centre National de la Recherche Scientifique (CNRS), Laboratoire d'informatique de Paris 6 (LIP6), and Institut National de Recherche en Informatique et en Automatique (INRIA) Rocquencourt: Virtual Virtual Machine (VVM)
- Bertil Folliot, Ian Piumarta, and Fabio Riccardi: Virtual Virtual Machines [PDF]
- Ian Piumarta, Bertil Folliot, Lionel Seinturier, and Carine Baillarguet: Highly configurable operating systems: the VVM approach [PDF]
- Bertil Folliot: The Virtual Virtual Machine Project [PDF]
(see also SimAgent, SEAM, microkernel, reflection, and ontology related works, and The Proposol)
- Jochen Liedtke: L4
- Oregon Health & Science University, OGI School of Science and Engineering, and Portland State University, Department of Computer Science, Thomas Hallgren, Mark P Jones, Rebekah Leslie Andrew, and Tolmach: A Principled Approach to Operating System Construction in Haskell [PDF]
- Sun Microsystems, James G. Mitchell, Jonathan J. Gibbons, Graham Hamilton, Peter B. Kessler, Yousef A. Khalidi, Panos Kougiouris, Peter W. Madany, Michael N. Nelson, Michael L. Powell, and Sanjay R. Radia: An Overview of the Spring System [PDF]
|