Holyer and Pehlivan 2000 - Program uses no makefile. It records manually-issued compilation commands the first time round, then rebuilds programs using recorded command traces.
This capability-based OS for commodity processors uses a one level storage model; store persistence is transparent to applications. Surprisingly, performance of this very high security system matches normal OSs. [ResearchIndex]
Traditional OSs limit application performance, flexibility, functionality by fixing interfaces and implementations of OS abstractions such as interprocess communication and virtual memory. Exokernel address this via application-level management of phy...
ResearchIndex: Constraints provide a useful mechanism to maintain relations in user interface toolkits. Garnet is a widely used user interface toolkit with high functionality, based on one way, required constraints. Multi-Garnet extends this by adding...