AdaCore - PDFSEARCH.IO - Document Search Engine

AdaCore
Results: 123

#	Item
101	John Barnes Containers This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:42 C++ Standard Library Object-oriented programming Abstract data types Generic programming C++ Sequence container Iterator Associative containers Container Computing Software engineering Computer programming
102	PDF Document Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:44 Ada programming language Ada Generic programming Subroutine SPARK Function overloading Parameter Constant Template Software engineering Computing Computer programming
103	John Barnes Tasking and Real-Time This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:35 Microprocessors Computer architecture Scheduling algorithms Scheduling Ada Central processing unit Multi-core processor Microarchitecture Process Computing Computer programming Electronics
104	John Barnes Introduction This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:32 Type theory Ada Data types Design by contract Subroutine Postcondition Monitor Stack SQL Software engineering Computing Computer programming
105	WindRiver_CMYK_med [Converted].eps Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-01-05 09:07:31 Technology Wind River Systems Computer architecture VxWorks Embedded system Embedded software Operating system AdaCore PSOS Real-time operating systems Embedded operating systems Computing
106	WindRiver_CMYK_med [Converted].eps Add to Reading List Source URL: windriver.com Language: English - Date: 2015-01-05 09:07:31 Technology Wind River Systems Computer architecture VxWorks Embedded system Embedded software Operating system AdaCore PSOS Real-time operating systems Embedded operating systems Computing
107	GNAT User’s Guide GNAT, The GNU Ada Compiler For gcc version[removed]GCC) AdaCore Add to Reading List Source URL: gcc.gnu.org Language: English - Date: 2014-06-12 10:05:01 Ada programming language GNAT AdaCore Ada GNU Compiler Collection GNU Debugger Integrated development environment Make Library Software Computing Computer programming
108	GNAT User’s Guide GNAT, The GNU Ada Compiler For gcc version[removed]GCC) AdaCore Add to Reading List Source URL: gcc.gnu.org Language: English - Date: 2012-07-02 06:43:39 Ada programming language GNAT AdaCore Ada GNU Compiler Collection GNU Debugger Integrated development environment Make Library Software Computing Computer programming
109	GNAT Reference Manual GNAT, The GNU Ada Compiler For gcc version[removed]GCC) AdaCore Add to Reading List Source URL: gcc.gnu.org Language: English - Date: 2012-07-02 06:43:39 Ada programming language Ada Macro programming languages Directive GNAT D ConTeXt TeX GNU Compiler Collection Computing Software engineering Computer programming
110	GNAT User’s Guide GNAT, The GNU Ada Compiler For gcc version[removed]GCC) AdaCore Add to Reading List Source URL: gcc.gnu.org Language: English - Date: 2014-05-22 05:41:59 Ada programming language GNAT AdaCore Ada GNU Compiler Collection GNU Debugger Integrated development environment Library Make Software Computing Computer programming