DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Per Brinch Hansen
Per Brinch Hansen
The Programming Language Concurrent Pascal
The Programmer As a Young Dog
Part Iii Harnessing Parallelism
A Programmer's Story. the Life of a Computer Pioneer
Virtual Organization Clusters: Self-Provisioned Clouds on the Grid Michael Murphy Clemson University,
[email protected]
Downloading from Naur's Website: 19
A Secure Computing Platform for Building Automation Using Microkernel-Based Operating Systems Xiaolong Wang University of South Florida,
[email protected]
Kernel Operating System
Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level
The Solo Operating System the Solo Operating System
Microkernel-Based and Capability-Based Operating Systems
Concurrent Pascal Machine Concurrent Pascal Machine
Edsger Wybe Dijkstra (1930–2002): a Portrait of a Genius Krzysztof R
THE ARCHITECTURE of CONCURRENT PROGRAMS Prentice-Hall Series in Automatic Computation
Edsger Wybe Dijkstra (1930 – 2002): a Portrait of a Genius
Processes, Threads and Tasks
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
The Invention of Concurrent Programming
Top View
The Nucleus of a Multiprogramming System
Bibliography
Biography Per Brinch Hansen
The Problem of Mutual Exclusion: a New Distributed Solution
Reserved Books for CS 812 - Programing Language Semantics - Spring 2006
Concurrent Pascal Introduction Concurrent Pascal Introduction
A Zero Kernel Operating System: Rethinking Microkernel Design by Leveraging Tagged Architectures and Memory-Safe Languages
The Computer Science of Concurrency: the Early Years
Producer Process Consumer Process Fig. 1. Process Communication Access Rights Private Data Sequential Program Fig. 2. a Process
Brinch Hansen on Pascal Compilers Per Brinch Hansen
The Origin of Concurrent Programming: from Semaphores to Remote Procedure Calls/ Editor, Per Brinch Hansen
A PROGRAMMER's STORY the Life of a Computer Pioneer Per Brinch
Java's Insecure Parallelism
Book Reports
Concurrent Programming Concepts Invented, Program
Are Virtual-Machine Monitors Microkernels Done Right?
Superpascal: a Publication Language for Parallel Scientific Computing
The Solo Operating System: a Concurrent Pascal Program
Microkernel-Based Operating Systems - Introduction • Promote OS Research at TU Dresden
Edsger W. Dijkstra: a Commemoration
Hardware/Software Co-Design for Efficient Microkernel Execution
Classic Operating Systems
Resources, Concurrency and Local Reasoning∗
Concurrent Pascal
Dynamic Generation of Parallel Computations