Coyotos - PDFSEARCH.IO - Document Search Engine

Coyotos
Results: 19

#	Item
11	Design Note: Target Considerations for Coldfire † Jonathan S. Shapiro, Ph.D. The EROS Group, LLC Dec 1, 2007 Abstract Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:10:11 Virtual memory Computing Computer memory CPU cache Cache Page table Page Microkernel Kernel Computer architecture Central processing unit Computer hardware
12	Coldfire ASD APS Board Support Package† Version 0.1 Godfrey Vassallo Jonathan S. Shapiro, Ph.D. December 3, 2007 Abstract Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:11:37 Computing Dynamic random-access memory Booting Random-access memory Computer memory Computer hardware Synchronous dynamic random-access memory
13	Coyotos Core Domain Interfaces Version 0.1 (in progress) Jonathan S. Shapiro, Ph.D., Jonathan W. Adams The EROS Group, LLC December 8, 2007 Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:10:59 Method Computer programming EROS Constructor Capability-based security C++ classes Coyotos Sequence container New C++ Object-oriented programming Computing
14	Inside Coyotos Version 0.1 Jonathan S. Shapiro, Ph.D. The EROS Group, LLC September 10, 2007 Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:10:43 Linux Monolithic kernels Microkernel Capability-based security Kernel Linux kernel Ring Computer architecture Coyotos EROS
15	Re-Inventing the NullStream Jonathan Shapiro, Ph.D. The EROS Group, LLC December 6, 2007 Abstract Building your first Coyotos application may seem a bit daunting. This tutorial describes how to build a first, Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:11:46 Cross-platform software EROS Java Application programming interface Coyotos Capability-based security Form Computing Computer architecture Software
16	CapIDL Language Specification† Version 0.1 Jonathan Shapiro, Ph.D. Mark Miller Systems Research Laboratory Dept. of Computer Science Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:08:49 C++ C programming language Data types Type theory Enumerated type C++ classes Typedef C Struct Computer programming Computing Software engineering
17	capDL: A Language for Describing Capability-Based Systems Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker NICTA and University of New South Wales Sydney, Australia Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Access control Capability-based security Microkernel L4 microkernel family Coyotos EROS Formal verification Kernel Isabelle Computer architecture Security Computer security
18	The Origins of the BitC Programming Language† SRL Technical Report[removed]Warning: Work in Progress Add to Reading List Source URL: www.bitc-lang.org Language: English - Date: 2014-01-16 10:56:00 Functional languages Procedural programming languages Type theory Lisp programming language Functional programming BitC Coyotos ACL2 Type system Software engineering Computing Computer programming
19	Towards a Verified, General-Purpose Operating System Kernel† Jonathan Shapiro, Ph.D., Michael Scott Doerrie, Eric Northup, Swaroop Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-01-16 10:10:58 Coyotos EROS Microkernel Capability-based security Kernel L4 microkernel family KeyKOS Persistence Mach Computer architecture Computing Computer security

UPDATE