Ravenscar - PDFSEARCH.IO - Document Search Engine

Ravenscar
Results: 21

#	Item
1	A Formal Model of the Ada Ravenscar Tasking Prole; Delay Until Kristina Lundqvist, Lars Asplund Uppsala University, Information Technology Dept. of Computer Systems P.O. Box 325, SUppsala, Sweden Add to Reading List Source URL: www.sigada.org Language: English - Date: 1999-11-26 15:46:20
2	Association for Computing Machinery 2 Penn Plaza, Suite 701 New York, NYVolume XXXIII Add to Reading List Source URL: www.sigada.org Language: English - Date: 2013-11-05 11:34:02 Ada programming language Association for Computing Machinery Ada Semantic Interface Specification Ada GNAT Communications of the ACM Computer science Ravenscar profile Andy Wellings Computing Software engineering Computer programming
3	Ada 2005 for Mission-Critical Systems José F. Ruiz AdaCore 8 rue de MilanParis, France Phone: +16 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:59:45 Ada programming language Real-time computing Embedded systems Scheduling algorithms Ada Ravenscar profile Real-time operating systems SPARK Worst-case execution time Computing Software engineering Computer programming
4	SIGAda Awards 2011 Outstanding Ada Community Contribution Award 42 Previous Recipients Peter Amey Add to Reading List Source URL: www.sigada.org Language: English - Date: 2011-11-14 12:33:12 Programming language theory Ada Ravenscar profile Robert Dewar Jean Ichbiah LIS GNAT Andy Wellings SPARK Computing Software engineering Ada programming language
5	i i “program” — — 10:23 — page 1 — #1 i Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2005-05-10 08:56:12 Ada programming language Software architecture Systems architecture Formal methods Ada SPARK Architecture Analysis & Design Language Ravenscar profile Real-time computing Computing Software engineering Computer programming
6	Microsoft Word - 2000_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:46 Programming language theory Ada Robert Dewar DDC-I Ravenscar profile A Sharp Jean Ichbiah Computing Ada programming language Software engineering
7	Rationale for Ada 2005 John Barnes © 2007 John Barnes Informatics 11 Albert Road Add to Reading List Source URL: www.adaic.org Language: English - Date: 2010-11-18 05:03:46 Ada programming language Ada Ravenscar profile SQL A Sharp Directive Pascal Computing Software engineering Programming language theory
8	Rationale for Ada 2005 John Barnes © 2007 John Barnes Informatics 11 Albert Road Add to Reading List Source URL: www.adaic.org Language: English - Date: 2010-12-02 13:11:15 Ada programming language Ada Ravenscar profile SQL A Sharp Directive Pascal Computing Software engineering Programming language theory
9	SCARBOROUGH AND RYEDALE MRT FUND RAISING EVENT RESULTS RAVENSCAR COASTAL HALF MARATHON SUNDAY 11 MAY 2014 Posn 1 2 3 Add to Reading List Source URL: www.srmrt.org.uk Language: English - Date: 2014-05-11 14:14:53 Pearce A.D. Thorpe
10	GNAT Reference Manual GNAT, The GNU Ada Development Environment For gcc version[removed]GCC) AdaCore Add to Reading List Source URL: gcc.gnu.org Language: English - Date: 2014-07-16 09:38:08 Ada programming language Ada Directive GNAT ConTeXt D SPARK Ravenscar profile Computing Software engineering Computer programming

UPDATE