Index of /dl/pdf

Navigate: up, home

1950 - Turing - Computing Machinery and Intelligence.pdf
1960 - McCarthy - Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I.pdf
1966 - Dennis & Van Horn - Programming Semantics for Multiprogrammed Computations.pdf
1966 - Lander & Parkin - Counterexample to Euler's Conjecture on Sums of Like Powers.pdf
1967 - Tomasulo - An Efficient Algorithm for Exploiting Multiple Arithmetic Units.pdf
1968 - Dijkstra - The Structure of the THE-Multiprogramming System.pdf
1970 - Hansen - The Nucleus of a Multiprogramming System.pdf
1972 - Dijkstra - The humble programmer.pdf
1974 - Ritchie & Thompson - The UNIX Time-Sharing System.pdf
1974 - Saltzer & Schroeder - The Protection of Information in Computer Systems.pdf
1974 - Upper - The Unsuccessful Self-Treatment of a Case of Writer's Block.pdf
1974 - Wulf et al - HYDRA, The Kernal of a Multiprocessor Operating System.pdf
1976 - USAF - Secure Computer System, Unified Exposition and Multics Interpretation.pdf
1977 - Gray - Notes on Data Base Operating Systems.pdf
1977 - Lions - Unix Operating System Source Code Level Six.pdf
1978 - ECMA - ECMA-55, 1st Edition, January 1978.pdf
1978 - Lamport - Time, Clocks, and the Ordering of Events in a Distributed Sysem.pdf
1979 - Byte 04-08 - Lisp.pdf
1980 - Joy & Horton - An Introduction to Display Editing with Vi.pdf
1981 - Reed & Clark - End-to-End Arguments in System Design.pdf
1981 - Stonebreaker - Operating System Support for Database Management.pdf
1981 - Wirth - The Personal Computer Lilith.pdf
1982 - Lamport et al - The Byzantine Generals Problem.pdf
1984 - Birrell & Nelson - Implementing Remote Procedure Calls.pdf
1984 - Emer & Clark - A Characterization of Processor Performance in the VAX-11 780.pdf
1984 - Levy - Capability-Based Computer Systems - 08 The IBM System38.pdf
1984 - Mullender & Tanenbaum - The Design of a Capability-Based Distributed Operating System.pdf
1984 - Pike & Kernighan - Program design in the UNIX environment.pdf
1985 - Clark & Emer - Performance of the VAX-11 780 Translation Buffer, Simulation and Measurement.pdf
1985 - DoD - Department of Defence Trusted Computer System Evaluation Criteria.pdf
1985 - Fischer et al - Impossibly of Distributed Concensus with One Fault Process.pdf
1985 - Fitgerald & Rashid - The Integration of Virtual Memory Management and Interprocess Communication in Accent.pdf
1985 - Wolfram - Cryptography with Cellular Automata.pdf
1986 - Accetta et al - Mach, A New Kernel Foundation For UNIX Development.pdf
1986 - Rashid - From RIG to Accent to mach, The Evolution of A Network Operating System.pdf
1987 - Rashid et al - Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures.pdf
1987 - Young et al - The Duality of Memoy and Communication in the Implementation of a Multiprocessor Operating System.pdf
1988 - Aho et al - The AWK Programming Language.pdf
1988 - Tabenbaum & Renesse - A Critique of the Remote Procedure Call Paradigm.pdf
1989 - Anderson - The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors.pdf
1989 - Ousterhout - Why Aren't Operating Systems Getting Faster As Fast As Hardware.pdf
1990 - Gajewska et al - Why X Is Not Our Ideal Window System.pdf
1991 - Baker et al - Measurements of a Distributed File System.pdf
1991 - Draves et al - Using Continuations to Implement THread Management and Communication in Operating Systems.pdf
1991 - Mellor-Crummey & Scott - Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors.pdf
1991 - Rozier et al - Overview of the CHORUS Distributed Operating System.pdf
1991 - Tanenbaum & Sharp - The Amoeba Distributed Operating System.pdf
1992 - Bershad et al - The Increasing Irrelevance of IPC Performacne for Microkernel-Based Operating Systems.pdf
1992 - Dean & Armand - Data Movement in Kernelized Systems.pdf
1992 - Wheeler & Bershad - Consistency Management for Virtually Indexed Caches.pdf
1993 - Chen & Bershad - The Impact of Operating System Structure on Memory System Performance.pdf
1993 - Liedtke - Improving IPC by Kernel Design.pdf
1993 - Nagle et al - Design Tradeoffs for Software-Managed TLBs.pdf
1993 - Presotto & Winterbottom - The Organisation of Networks in Plan 9.pdf
1994 - Axler - Down with Determinants.pdf
1994 - Garfunkel et al - The UNIX-HATERS Handbook .pdf
1994 - Lim & Agarwal - Reactive Synchronization Algorithms for Multiprocessors.pdf
1994 - Waldo et al - A Note on Distributed Computing.pdf
1995 - Bershad et al - Extensibility, Safety and Performance in the SPIN Operating System.pdf
1995 - Engler et al - Exokernel, An Operating System Architecture for Application-Level Resource Management.pdf
1995 - Liedtke - On u-Kernel construction.pdf
1995 - Ray Smith - A Pixel Is Not A Little Square.pdf
1995 - Tullsen et al - Simultaneous Multithreading, Maximizing On-Chip Parallelism.pdf
1995 - Wirth - A Plea for Lean Software.pdf
1995 - Yao - A Scheduling Model for Reduced CPU Energy.pdf
1996 - Cantrill - Runtime Performance Analysis of the M-to-N Scheduling Model.pdf
1996 - Chandra et al - Unreliable Failure Detectors for Reliable Distributed Systems.pdf
1996 - Golub et al - Unix as an Application Program.pdf
1996 - Liedtke -Toward Real Microkernels.pdf
1997 - Arbaugh - A Secure and Reliable Bootstrap Architecture.pdf
1997 - Ford et al - The Flux OSKit, A Substrate for Kernel and Language Research.pdf
1997 - Hartig et al - The Performance of u-Kernel-Based SYstems.pdf
1997 - Kaashoek et al - Application Performance and Flexibility on Exokernel Systems.pdf
1997 - Kontothanassis & Scott - Scheduler-Concious Synchronisation.pdf
1997 - Lions - Sixth Edition Unix Operating System.pdf
1997 - Moller & Trumbore - Fast, Minimum Storage Ray and Triangle Intersection.pdf
1997 - Myers & Liskov - A Decentralized Model for Information Flow Control.pdf
1997 - Shafer & Wolf - The UNIX Shell As a Fouth Generation Language.pdf
1998 - Borland - Turbo C Version 2.0 Reference Guide.pdf
1998 - Crowley - Data Structures for Text Sequences.pdf
1998 - Fleish et al - Workplace Microkernel and OS, A Case Study.pdf
1998 - Ford et al - Interface and Execution Models in the Fluke Kernel.pdf
1998 - Forsyth - More Teste, Less Greed, or, Sending UNIX to the Fat Farm.pdf
1998 - Liedtke - The Mungi Single-Address-Space Operating System.pdf
1998 - Miller - Recursive Make Considered Harmful.pdf
1999 - Bachrach & Playford - D-Expressions Lisp Power, Dylan Style.pdf
1999 - Flatt et al - Programming Languages as Operating Systems .pdf
2000 - Brinch Hansen - The Evolution of Operating Systems.pdf
2000 - Hill et al - System Architecture Directions for Networked Sensors.pdf
2000 - Lemon - Kqueue, A generic and scalable event notification facility.pdf
2000 - Ritchie - Experiene with Unicos on the Cray X-MP.pdf
2000 - Shpiro & Weber - Verifiying the EROS Confinement Mechanism.pdf
2001 - Atkinson & Flatt - Adapting Scheme-Like Macros to a C-Like Language.pdf
2001 - Bellosa - Process Cruise Control, Event-Driven Clock Scaling for Dynamic Power Management.pdf
2001 - Brewer - Lessons from Giant-Scale Services.pdf
2002 - Adya et al - FARSITE, Federated, Available, and Reliable Storage for an Incompletely Trusted Environment.pdf
2002 - Castro & Liskov - Practical Byzantine Fault Tolerance and Proactive Recovery.pdf
2002 - Golm et al - A Java Operating System as the Foundation fo a Secure Network Operating System.pdf
2002 - McKenney et al - Read Copy Update.pdf
2002 - Microsoft - Converting a UNIX COM site to Windows.pdf
2002 - Schach et al - Maintainability of the Linux Kernel.pdf
2002 - Stallman - Free Software, Free Society.pdf
2002 - Zeng et al - ECOSystem, Managing Energy as a First Class Operating System Resource.pdf
2003 - Barham et al - Xen and the Art of Virtualization.pdf
2003 - Miller et al - Capability Myths Demolished.pdf
2003 - Raymond - The Art of Unix Programming.pdf
2003 - Scharli et al - Traits, Composable Units of Behaviour.pdf
2003 - Shapiro - Vulnerabilities in Synchronous IPC Designs.pdf
2003 - Swift et al - Improving the Reliability of Commodity Operating Systems.pdf
2003 - Ting & Chen - Backtracking Intrusions.pdf
2003 - Wiggins - A Survey on the Interaction Between Caching, Translation and Protection.pdf
2003 - von Behren et al - Why Events Are A Bad Idea for high-concurrency servers.pdf
2004 - LeVasseur - Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines.pdf
2004 - McKenney - Exploiting Deferred Destruction.pdf
2005 - Goel et al - The Taser Intrusion Recovery System.pdf
2005 - Herder - Towards a True Microkernel Operating System.pdf
2005 - Leslie et al - User-level Device Drivers, Achieved Performance.pdf
2005 - Nourai - A Physically-Addressed L4 Kernel.pdf
2005 - Vanfleet et al - MILS, Architecture for High-Assurance Embeded Computing.pdf
2005 - Warton - Single Kernel Stack L4.pdf
2006 - Adamas & Agesen - A Comparison of Software and Hardware Techniques for x84 Virtualization.pdf
2006 - Fahndrich et al - Language Support for Fast and Reliable Message-based Communication in Singularity OS.pdf
2006 - Fatahalian et al - Sequoia, Programming the Memory Hierarchy.pdf
2006 - Gerofi - MINIX VFS, Design and implementation of the MINIX Virtual File system.pdf
2006 - Heder et al - Reorganising UNIX for Reliability.pdf
2006 - Heiser et al - Are Virtual-Machine Monitors Microkernels Done Right.pdf
2006 - Herder et al - Construction of a Highly Dependable Operating System.pdf
2006 - LaVasseur - Pre-virtualization, soft layering for virtual machines.pdf
2006 - Meurs - Building Performance Measurement Tools for the MINIX 3 Operating System.pdf
2007 - Greenaway - From Real Fast to Real-Time.pdf
2007 - Ormandy - An Empirical Study into the Security Exposure to Hosts of Hostile Virtual Environments.pdf
2007 - Seshadri et al - SecVisor, A Tiny Hypervisor to Provide Lifetime Kernel Code Integrity for Commodity OSes.pdf
2008 - Bachanan et al - When Good Instructions Go Bad.pdf
2008 - Bittau et al - Wedge, Splitting Applications into Reduced-Privilege Compartments.pdf
2008 - Bruijn & Bos - Fast Linux IO in the Unix Tradition.pdf
2008 - Chen et al - Overshadow, A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems.pdf
2008 - Elkaduwe et al - Kernel Design for Isolation and Assurance on Physical Memory.pdf
2008 - Murary & Hand - Privilege separation made easy.pdf
2009 - Klein et al - seL4, Formal Verification of an OS Kernel.pdf
2009 - Lackorzynski & Warg - Taming Subsystems, Capbilities as Universal Resource Access Control in L4.pdf
2010 - Ben-Yehuda et al - The Turtles Project, Design and Implementation of Nested Virtualization.pdf
2010 - Graefe - A servery of B-tree locking techniques.pdf
2010 - Graefe - Modern B-Tree Techniques.pdf
2010 - Herder - Building a Dependable Operating System.pdf
2010 - Watson et al - Capsicum, practical capabilities for UNIX.pdf
2011 - Blackham et al - Timing Analysis of a Protected Operating System Kernel.pdf
2011 - Porter et al - Rethinking the LIbrary OS from the Top Down.pdf
2011 - Woo Lee et al - Follow the river and you will find the C.pdf
2011 - Zhang et al - CloudVisor, Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization.pdf
2012 - Blackham & Heiser - Correct, Fast, Maintainable, Choose Any Three.pdf
2012 - Blackham et al - Improving Interrupt Response Time in a Verifiable Protected Microkernel.pdf
2012 - Blackham et al - To Preempt or Not To Preempt, That Is the Question.pdf
2012 - ECMA-335 - Common Language Infrastructure.pdf
2012 - Gaskins - Sweating Bullets, Notes about Inventing PowerPoint.pdf
2012 - Kohno et al - User-Driven Access Control.pdf
2012 - Ng et al - Designing for Low-Latency Direct-Touch Input.pdf
2012 - Oracle - De-mystifying eventual consistency in distributed systems.pdf
2013 - Clements et al - RadixVM, Scalable address spaces for multithreaded applications.pdf
2013 - Elphinstone & Heiser - From L3 to seL4, What Have We Learnt in 20 Years of L4 Microkernels.pdf
2013 - Murray et al - seL4, from General Purpose to a Proof of Information Flow Enforcement.pdf
2013 - NEN-0512 - Leidraad voor de viering van het Sint-Nicolaasfeest.pdf
2013 - Shen & Elphinstone - Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware.pdf
2013 - Voelter - DSL Engineering.pdf
2013 - Wirth & Gutknecht - Project Oberon.pdf
2013 - Zhang & Sekar, Control Flow Integrity for COTS Binaries.pdf
2014 - Benet - IPFS.pdf
2014 - Bittau et al - Hacking Blind.pdf
2014 - Dall & Nieh - KVM ARM, The Design and Implementation of the Linux ARM Hypervisor.pdf
2014 - Fardin - On the rehology of cats.pdf
2014 - Giuffrida - Safe and Automatic Live Update.pdf
2014 - Hopwood - How to Make Error Handling Less Error-Prone.pdf
2014 - Klein et al - Comprehensive Formal Verification of an OS Microkernel.pdf
2014 - Madhavapeddy & Scott - Unikernels, The Rise of the Virtual Library Operating System.pdf
2014 - Voelter - KernelF, an Embeddable and Extensible Functional Language.pdf
2014 - Voelter et al - Towards User-Friendly Projectional Editors.pdf
2015 - Bailis et al - Readings in Database Systems (Red Book).pdf
2015 - Carlini et al - Control-Flow Bending.pdf
2015 - Hoare - Communicating Sequential Processes.pdf
2015 - Levy et al - Ownership is Theft.pdf
2016 - Amani et al - COGENT, Verifying High-Assurance File System Implementations.pdf
2016 - Anonymous - A Data Driven Analysis Framework and Erotica Writing Assistant.pdf
2016 - Anonymous - Design and Implementation of a 256-Core BrainFuck Computer.pdf
2016 - Anonymous - How BLANK the BLANK affects BLANK of BLANK.pdf
2016 - Anonymous - Pershing, An Automatic Place-and-Route Tool for Minecraft Redstone Circuits.pdf
2016 - EU - Verordening 2016-679, AVG.pdf
2016 - Harris et al - Composable Memory Transactions.pdf
2016 - Heiser & Elphinstone - L4 Microkernels, The Lessons from 20 Years of Research and Deployment.pdf
2016 - Mokhov et al - Non-recursive Make Considered Harmful.pdf
2016 - Rossberg - 1ML Core and Modules United.pdf
2016 - Spinellis et al - The Evolution of C Programming Practices.pdf
2016 - Toomey - Unix, Building a Development Environment from Scratch.pdf
2017 - Adzic & Chatley - Serverless Computing Economic and Architectural Impact.pdf
2017 - Anonymous - Fortune Cookies as a Source of Entropy.pdf
2017 - Berke - Illustrating Group Theory, A Coloring Book.pdf
2017 - Blandford - A Brief History of GNOME.pdf
2017 - CPB - Risicorapportage Cyberveiligheid Economie.pdf
2017 - Cross et al - Open Quantum Assembly Language.pdf
2017 - Dos Reis et al - Standard Library Modules.pdf
2017 - Ganz, Peisert - ASLR, How Robust is the Randomness.pdf
2017 - Grothoff - The GNUnet System.pdf
2017 - Gruss et al - KASLR is Dead, Long Live KASLR.pdf
2017 - Jacoutot & Daroussin - Comprehensive and biaised comparison of OpenBSD and FreeBSD.pdf
2017 - Kedia et al - Simple, Fast and Safe Manual Memory Management.pdf
2017 - Kell - Some Were Meant for C.pdf
2017 - Li et al - Mison, A Fast JSON Parser for Data Analytics.pdf
2017 - Lopes et al - DéjàVu, A Map of Code Duplicates on GitHub.pdf
2017 - Milewski - Category Theory for Programmers.pdf
2017 - Moosave-Dezfooli & Fawzi - Universal adversarial perturbations.pdf
2017 - Ocallahan et al - Engineering Record And Replay For Deployability.pdf
2017 - Onderzoeksraad voor Veiligheid - Mortierongeval Mali.pdf
2017 - Schwartz et al - Fantastic Timers and Where to Find Them.pdf
2017 - Shan et al - Tail Attacks on Web Applications.pdf
2017 - Sijstermans - RISC-V in NVIDIA.pdf
2017 - Sprundel - Are all BSDs created equally.pdf
2017 - Steindorfer - Efficient Immutable Collections.pdf
2017 - Tang et al - Privacy Loss in Apple’s Implementation of Differential Privacy on MacOS 10.12.pdf
2017 - Tegmark - Shut up and calculate.pdf
2017 - Veen et al - The Dynamics of Innocent Flesh on the Bone.pdf
2017 - Wang et al - TiML, A Functional Language for Practical Complexity Analysis with Invariants.pdf
2017 - Zheng et al - To Type or Not to Type.pdf
2018 - Amin & Rompf - Collapsing Towers of Interpreters.pdf
2018 - Bauman et al - Superset Disassembly, Statically Rewriting x86 Binaries Without Heuristics.pdf
2018 - Bernardy et al - Linear Haskell.pdf
2018 - Cui et al - REPT, Reverse Debugging of Failures in Deployed Software.pdf
2018 - Ellmann - Writing Network Drivers in Rust.pdf
2018 - Englehart et al - I never signed up for this, Privacy implications of email tracking.pdf
2018 - Jones & Paris - It's the End of the World and They Know It.pdf
2018 - Kocher et al - Spectre Attacks, Exploiting Speculative Execution.pdf
2018 - Lipp et al - Meltdown.pdf
2018 - Nguyen - Incremental Improvements on the Placement and Routing of Minecraft Redstone Circuits.pdf
2018 - Rabinowitz et al - Machine Theory of Mind.pdf
2018 - Shan et al - LegoOS, A Disseminated, Distributed OS for Hardware Resouce Disaggregation.pdf
2018 - Shusterman et al - Robust Website Fingerprinting Though the Cache Occupance Channel.pdf
2018 - Williams et al - Unikernels as Processes.pdf
2018 - Yang & Yan - How not to structure your database-backed web applications.pdf
2019 - Memarian et al - Exploring C Semantics and Pointer Provenance.pdf

Navigate: up, home