GNAT - PDFSEARCH.IO - Document Search Engine

GNAT
Results: 190

#	Item
51	17 8 Towards Certification of Object-Oriented Code with the GNAT Compiler Javier Miranda Instituto Universitario de Microelectrónica Aplicada. Universidad de Las Palmas de Gran Canaria, Canary Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-08-29 18:36:08 Object-oriented programming Virtual method table Ada Dynamic dispatch C++ Objective-C Pointer Java Thunk Software engineering Computing Computer programming
52	Microsoft Word - Ada Distilled 24 JanuaryAda 2005 VersionFormat.doc Add to Reading List Source URL: www.getadanow.com Language: English - Date: 2014-10-05 20:08:51 Cross-platform software Procedural programming languages Ada Subroutine Control flow GNAT C++ Java virtual machine Fortran Computing Software engineering Computer programming
53	Quick Ada ● 1 The history of Ada ● Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2000-10-15 20:46:30 Source code Ada programming language Ada C programming language Constant Control flow String literal GNAT C syntax Computer programming Computing Software engineering
54	aiT for LEON3 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compilers Real-time computing Worst-case execution time LEON Toolchain GNU Compiler Collection GNAT Software Computing Computer hardware
55	Cúift an Ṁeán Oíċe Ba ġnáṫ mé ag ſiúl le cidṁaie na haḃann Af ḃáinſeaċ úf ie an dɼúċt go tɼom, In aice na gcoillte, i gcoim an tſlé’, Gan ṁaiɼg, gan ṁoill, af ẛoilſe an lae. Do ġea Add to Reading List Source URL: www.gaelchlo.com Language: English - Date: 2010-04-02 19:03:57
56	Microsoft Word - Eurofighter_final_050905.doc Add to Reading List Source URL: www.adaic.org Language: English - Date: 2010-12-02 13:11:15 Software engineering AdaCore Eurofighter Typhoon GNAT Ada BAE Systems A Sharp Panavia Tornado BAE Hawk Ada programming language Computing Aircraft
57	Microsoft Word - Ada Distilled 24 JanuaryAda 2005 VersionFormat.doc Add to Reading List Source URL: www.adaic.org Language: English - Date: 2011-10-10 09:16:42 Cross-platform software Procedural programming languages Ada Subroutine Control flow GNAT C++ Java virtual machine Fortran Computing Software engineering Computer programming
58	Microsoft PowerPoint - php16 Add to Reading List Source URL: www.grebyn.com Language: English - Date: 2008-03-04 11:29:30 Computer programming Ada GNAT Robert Dewar A Sharp Jean Ichbiah LIS Grady Booch SPARK Computing Software engineering Ada programming language
59	NOMINA INSECTA NEARCTICA ALTERNATIVE FAMILY NAMES The purpose of this section is to list some alternative family names the user might encounter in the Diptera. This list not an exhaustive list of family group names, but Add to Reading List Source URL: nearctica.com Language: English - Date: 2014-05-08 14:19:38 Gnat Heleomyzidae Neriidae Milichiidae Scenopinidae Cuterebrinae Opetiidae Coelopidae Pipunculidae Phyla Protostome Flies
60	LogoUniversite_ParisSud_P Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:04:48 Ada programming language Satisfiability Modulo Theories SPARK AdaCore Ada GNAT A Sharp Mathematical proof Solver Computing Software engineering Theoretical computer science