DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» JX (operating system)
JX (operating system)
Real-Time Operating System in Java
Alpha ELT Listing
The Synthesis Kernel
Empirical Comparison of Scons and GNU Make
Sealing OS Processes to Improve Dependability and Security
Introduction to Java Operating Systems, OS on a Higher Level
Sealing OS Processes to Improve Dependability and Security
The Structure of a Type-Safe Operating System
Improving the Reliability of Commodity Operating Systems
An Interpreted Operating System
A Java Operating System
CHAPTER 11 Related Work
Software Reuse: Methods, Models, and Costs
Java™ on the Bare Metal of Wireless Sensor Devices—The
Refactoring the Freebsd Kernel with Checked C
An Overview of the Singularity Project1
Kcofi: Complete Control-Flow Integrity for Commodity Operating System Kernels
A Java Operating System As the Foundation of a Secure Network Operating System
Top View
4385 March 2013 U.S
Memory Safety for Low-Level Software/Hardware Interactions
Proceedings of the 2002 USENIX Annual Technical Conference
Self-Contained Development Environments Or Free Yourself from the Yoke of Operating Systems
RTCSA 2006 Work in Progress Section
Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System
N O T I C E This Document Has Been Reproduced From
Verifying Security Invariants in Expressos
Sanwb to Trio Searchers
Redleaf: Isolation and Communication in a Safe Operating System
JX - a Flexible Java Operating System
Deconstructing Process Isolation
The JX Operating System
Secure Virtual Architecture: Security for Commodity Software Systems
© 2015 by Edgar Pek. All Rights Reserved. AUTOMATED DEDUCTIVE VERIFICATION of SYSTEMS SOFTWARE
The Emerging Role of RUNX3 in Cancer Metastasis (Review)
Chapter 2: Operating-System Structures
Gnu Is Not Unix) System
Linux on the IBM Iseries Server an Implementation Guide
Complete Control-Flow Integrity for Commodity Operating System Kernels
Planning for the Phase-In of Fixed-Route Accessible Buses
Enabling In-Field Integration in Critical Embedded Systems
Our Extractive Age; Expressions of Violence and Resistance
A Suggestion on CLIPS/Jiprolog/JNNS/Imagej/Java
Usb Susbsystem for Minix 3
Secure Virtual Architecture: a Safe Execution Environment for Commodity Operating Systems
Public Version United States International Trade
Solving the Starting Problem: Device Drivers As Self-Describing Artifacts
An Experiment in Operating System Structure and State Management