Coyotos

Results: 19



#Item
11Design Note: Target Considerations for Coldfire † Jonathan S. Shapiro, Ph.D. The EROS Group, LLC Dec 1, 2007  Abstract

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
12Coldfire ASD APS Board Support Package† Version 0.1 Godfrey Vassallo Jonathan S. Shapiro, Ph.D. December 3, 2007 Abstract

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
13Coyotos Core Domain Interfaces Version 0.1 (in progress) Jonathan S. Shapiro, Ph.D., Jonathan W. Adams The EROS Group, LLC December 8, 2007

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
14Inside Coyotos Version 0.1 Jonathan S. Shapiro, Ph.D. The EROS Group, LLC September 10, 2007

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
15Re-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,

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
16CapIDL Language Specification† Version 0.1 Jonathan Shapiro, Ph.D. Mark Miller Systems Research Laboratory Dept. of Computer Science

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
17capDL: A Language for Describing Capability-Based Systems Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker NICTA and University of New South Wales Sydney, Australia

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
18The Origins of the BitC Programming Language† SRL Technical Report[removed]Warning: Work in Progress

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
19Towards a Verified, General-Purpose Operating System Kernel† Jonathan Shapiro, Ph.D., Michael Scott Doerrie, Eric Northup, Swaroop

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