GNAT - PDFSEARCH.IO - Document Search Engine

GNAT
Results: 190

#	Item
31	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
32	Microsoft PowerPoint - 1 SIGAda_Awards_2012 - all.ppt [Compatibility Mode] Add to Reading List Source URL: www.sigada.org Language: English - Date: 2012-12-06 07:24:58 Ada programming language Ada GNAT Jean E. Sammet Robert Dewar Jean Ichbiah LIS Computing Software engineering Computer programming
33	150241covers:Layout:23 PM Add to Reading List Source URL: www.sigada.org Language: English - Date: 2015-03-18 11:43:08 Association for Computing Machinery Ada GNAT Communications of the ACM Computer science Computing Software engineering Ada Semantic Interface Specification
34	March 31, 2006 Commission 4 – Positioning & Applications Web: www.gnat.unsw.edu/iag/iag_comm4.html Interim Report (MarchTerms of Reference Add to Reading List Source URL: www.gfy.ku.dk Language: English - Date: 2006-06-27 07:30:19 Avionics Navigation GPS Satellite navigation Institute of Navigation Global Positioning System Precise positioning Galileo Differential GPS Technology Geodesy Satellite navigation systems
35	Microsoft WordApril Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2007-04-09 07:47:13 Computer programming Ada GNAT Alsys Robert Dewar A Sharp Intermetrics Grady Booch Jean Ichbiah Ada programming language Computing Software engineering
36	StackAnalyzer for LEON2 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compiler construction LEON Call graph GNU Compiler Collection Compiler GNAT Linux Control flow graph Software Computing Programming language implementation
37	StackAnalyzer for ERC32 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:29 Compiler construction Compilers ERC32 Call graph GNU Compiler Collection Compiler GNAT Linux Software Computing Programming language implementation
38	Watershed Assessment Summary Report Lower Columbia Wadeable Streams Counting fish and amphibians at Gnat Creek Add to Reading List Source URL: www.deq.state.or.us Language: English - Date: 2008-05-05 14:56:58 Water Salmon Environmental science Water quality Columbia River Bull Run River Willamette River Geography of the United States Fish Oregon
39	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
40	Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ Javier Miranda1 and Edmond Schonberg2 1 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:52:58 Object-oriented programming Virtual method table Pointer Q Thunk Objective-C Interface Ada Virtual function Software engineering Computing Computer programming

UPDATE