BibSLEIGH — ada stem

Used together with:

system (118)
program (103)
time (102)
use (96)
real (79)

Stem ada$ (all stems)

738 papers:

HIMI-IKC-2015-ItoSK #information management: Information Sharing System Based on Situation Comprehensions of Intelligent Vehicles to Improve Drivers’ Acceptability for Proactive ADAS (TI, TS, MK), pp. 201–212.
AdaEurope-2015-PinhoMMT #ada #execution #fine-grained #parallel: An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.
AdaEurope-2014-BurgstallerB #ada #algebra #source code #static analysis: Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects (BB, JB), pp. 27–42.
AdaEurope-2014-PedroPPP #ada #framework #programming language #runtime #towards #verification: Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.
AdaEurope-2014-PinhoMM #ada #parallel: Parallelism in Ada: Status and Prospects (LMP, BM, SM), pp. 91–106.
AdaEurope-2014-SaezRC #ada #multi #realtime #reliability #scheduling: Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012 (SS, JR, AC), pp. 74–90.
HILT-2014-Anderson #ada: From Ada 9x to spaceport America: going where no one has gone before (CA), pp. 1–2.
HILT-2014-BarnesT #ada #design #lessons learnt: Ada 83 to Ada 2012: lessons learned over 30 years of language design (JB, STT), pp. 3–4.
HILT-2014-HuguesG #ada #modelling: Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models (JH, CG), pp. 39–46.
HILT-2014-TaftMPM #ada #parallel #programming: Safe parallel programming in ada with language extensions (STT, BM, LMP, SM), pp. 87–96.
ICPR-2014-LiYLYWH #classification #multi #predict: Multi-view Based AdaBoost Classifier Ensemble for Class Prediction from Gene Expression Profiles (LL, ZY, JL, JY, HSW, GH), pp. 178–183.
ICDAR-2013-HuZ #multi #using: Segmenting Handwritten Math Symbols Using AdaBoost and Multi-scale Shape Context Features (LH, RZ), pp. 1180–1184.
ICDAR-2013-ZhuZ #detection #image #recognition #using: Label Detection and Recognition for USPTO Images Using Convolutional K-Means Feature Quantization and Ada-Boost (SZ, RZ), pp. 633–637.
AdaEurope-2013-BrandonC #ada: A SPARK/Ada CubeSat Control Program (CB, PC), pp. 51–64.
AdaEurope-2013-MichellMP #ada #fine-grained #named #parallel: Tasklettes — A Fine Grained Parallelism for Ada on Multicores (SM, BM, LMP), pp. 17–34.
AdaEurope-2013-QuinotB #ada: Lady Ada Mediates Peace Treaty in Endianness War (TQ, EB), pp. 65–80.
AdaEurope-2013-SalazarAMP #ada #framework #modelling #realtime #safety: A Model-Based Framework for Developing Real-Time Safety Ada Systems (ES, AA, MAdM, JAdlP), pp. 127–142.
HILT-2013-Taft13a #ada #parallel #programming #set: Bringing safe, dynamic parallel programming to the spark verifiable subset of ada (STT), pp. 37–40.
AdaEurope-2012-EdmundsRB #ada #formal method #implementation #modelling: Formal Modelling for Ada Implementations: Tasking Event-B (AE, AR, MJB), pp. 119–132.
AdaEurope-2012-FariaMP #ada #approach #model checking #source code: An Approach to Model Checking Ada Programs (JMF, JM, JSP), pp. 105–118.
AdaEurope-2012-Garcia-VallsI #ada #configuration management #distributed #middleware #realtime: Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA (MGV, FIV), pp. 35–48.
AdaEurope-2012-PanunzioV #ada #component #development: Ada Ravenscar Code Archetypes for Component-Based Development (MP, TV), pp. 1–17.
AdaEurope-2012-RuizCM #ada #development #source code: Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 (JFR, CC, YM), pp. 49–59.
AdaEurope-2012-Tempelmeier #ada #concept #education #programming language: Teaching “Concepts of Programming Languages” with Ada (TT), pp. 60–74.
HILT-2012-BeltCHR #ada #automation #contract #using #verification: Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan (JB, PC, JH, R), pp. 3–4.
HILT-2012-Kanig #ada #testing #verification: Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve — the hi-lite project (JK), pp. 5–6.
HILT-2012-SchonbergP #ada #implementation: Implementation of a simple dimensionality checking system in Ada 2012 (ES, VP), pp. 35–42.
ICPR-2012-ChangrampadiYG #classification #image #multi #visual notation: Multi-class ada-boost classification of object poses through visual and infrared image information fusion (MHC, YY, IYHG), pp. 2865–2868.
ICPR-2012-YinYHI #effectiveness #geometry #image #locality: Effective text localization in natural scene images with MSER, geometry-based grouping and AdaBoost (XY, XCY, HWH, KI), pp. 725–728.
ICDAR-2011-LeeLLYK #detection: AdaBoost for Text Detection in Natural Scene (JJL, PHL, SWL, ALY, CK), pp. 429–434.
AdaEurope-2011-BaruahB #ada #implementation: Implementing Mixed Criticality Systems in Ada (SKB, AB), pp. 174–188.
AdaEurope-2011-ChilAOP #ada #interface #using: Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot (RC, DA, FJO, JAP), pp. 147–159.
AdaEurope-2011-CoqR #ada #analysis #modelling #quality #source code: The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code (TC, JPR), pp. 61–74.
AdaEurope-2011-EsquinasZPMRC #ada #clustering #framework: ORK+/XtratuM: An Open Partitioning Platform for Ada (ÁE, JZ, JAdlP, MM, IR, AC), pp. 160–173.
AdaEurope-2011-MedinaC #ada #analysis #design #distributed #modelling #realtime #uml: Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE (JLM, ÁGC), pp. 89–102.
AdaEurope-2011-SaezTC #ada #framework #multi #realtime #using: A Real-Time Framework for Multiprocessor Platforms Using Ada 2012 (SS, ST, AC), pp. 46–60.
SIGAda-2011-AbrahamCP #ada #analysis #quality: Improving quality of Ada software with range analysis (JA, JC, CP), pp. 7–8.
SIGAda-2011-AbrahamCP11a #ada #analysis #quality: Improving quality of Ada software with range analysis (JA, JC, CP), pp. 69–74.
SIGAda-2011-AliP #ada #parallel #programming: A parallel programming model for ada (HIA, LMP), pp. 19–26.
SIGAda-2011-Booch #ada: Everything i know i learned from ada (GB), pp. 17–18.
SIGAda-2011-Carlisle #ada #why: Why i came back to Ada (MCC), pp. 37–38.
SIGAda-2011-Feldman #ada: Introduction to Ada (MF), pp. 9–10.
SIGAda-2011-GaudelSPRDL #ada #analysis #design pattern #pattern matching #pattern recognition #performance #recognition: An Ada design pattern recognition tool for AADL performance analysis (VG, FS, AP, SR, PD, JL), pp. 61–68.
SIGAda-2011-Rosen #ada #design #standard: Designing and checking coding standards for ada (JPR), pp. 13–14.
SIGAda-2011-RosenMT #ada #how: How to make Ada go “viral” (JPR, BM, STT), pp. 35–36.
AdaEurope-2010-AnderssonP #ada #algorithm #implementation #manycore #realtime #scheduling #using: Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 (BA, LMP), pp. 54–67.
AdaEurope-2010-Brosgol #ada #comparison #java: A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM (BMB), pp. 222–237.
AdaEurope-2010-BurnsW #ada #multi #representation: Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada (AB, AJW), pp. 41–53.
AdaEurope-2010-HongHBB #ada #named #programming #type system: AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 (GH, KH, BB, JB), pp. 208–221.
AdaEurope-2010-MezzettiPV #ada: Preservation of Timing Properties with the Ada Ravenscar Profile (EM, MP, TV), pp. 153–166.
AdaEurope-2010-SaezC #ada #linux #multi: Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems (SS, AC), pp. 68–82.
AdaEurope-2010-Schonberg #ada #towards: Towards Ada 2012: An Interim Report (ES), pp. 238–250.
AdaEurope-2010-WellingsB #ada #evolution #programming #realtime: The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 (AJW, AB), pp. 196–207.
AdaEurope-2010-White #ada #hardware #scheduling #using: Using Hardware Support for Scheduling with Ada (RW), pp. 125–138.
SIGAda-2010-BradleyPZ #ada #development #realtime #using: Real-time system development in ada using LEGO® mindstorms® NXT (PJB, JAdlP, JZ), pp. 37–40.
SIGAda-2010-CicaleseSSW #ada: Unmanned systems with Ada and RTEMS (CDTC, JS, RES, RMW), pp. 9–10.
SIGAda-2010-LiYBWZL #ada #fault tolerance #manycore #monitoring: Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.
SIGAda-2010-McCormick #ada #embedded #parallel #realtime: Ada for parallel, embedded, and real-time applications (JWM), pp. 5–6.
SIGAda-2010-Moore #ada #parallel: Parallelism generics for Ada 2005 and beyond (BJM), pp. 41–52.
SIGAda-2010-Pettit #ada #concurrent #design #embedded #realtime #uml #using: Designing real-time, concurrent, and embedded software systems using UML and Ada (RGPI), pp. 7–8.
SIGAda-2010-RasC #runtime: A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller (JR, AMKC), pp. 13–22.
SIGAda-2010-Schmidt #ada #case study #experience #integration #java: Experience report: Ada & Java integration in the FAA’s ERAM SWIM program (RBS), pp. 33–34.
SIGAda-2010-Schonberg #ada #towards: Towards Ada 2012: an interim report (ES), pp. 63–70.
SIGAda-2010-Sward #ada #persistent: The rise, fall and persistence of Ada (RES), pp. 71–74.
SIGAda-2010-Weatherly #ada: Unmanned systems and Ada (RMW), pp. 35–36.
ICPR-2010-FahnC #algorithm #realtime #recognition: Real-Time Upper-Limbs Posture Recognition Based on Particle Filters and AdaBoost Algorithms (CSF, SLC), pp. 3854–3857.
ICPR-2010-JinHL #multi: Multi-class AdaBoost with Hypothesis Margin (XJ, XH, CLL), pp. 65–68.
ICPR-2010-WangAYL #bottom-up #estimation #learning #top-down #using: Combined Top-Down/Bottom-Up Human Articulated Pose Estimation Using AdaBoost Learning (SW, HA, TY, SL), pp. 3670–3673.
ICPR-2010-ZhangLD #approach #kernel #learning #multi #named #novel: AdaMKL: A Novel Biconvex Multiple Kernel Learning Approach (ZZ, ZNL, MSD), pp. 2126–2129.
DATE-2009-GregertsenS #ada #multi #performance #runtime: An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller (KNG, AS), pp. 1572–1575.
ICDAR-2009-HanifP #algorithm #detection #image #locality #using: Text Detection and Localization in Complex Scene Images using Constrained AdaBoost Algorithm (SMH, LP), pp. 1–5.
HCD-2009-Clemmensen #ada #comparison #formal method #towards #usability: Towards a Theory of Cultural Usability: A Comparison of ADA and CM-U Theory (TC), pp. 416–425.
HCI-NIMT-2009-FahnKW #realtime #recognition: Real-Time Face Tracking and Recognition Based on Particle Filtering and AdaBoosting Techniques (CSF, MJK, KYW), pp. 198–207.
AdaEurope-2009-BurnsWZ #ada #analysis #implementation #scheduling: Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 (AB, AJW, FZ), pp. 119–133.
AdaEurope-2009-Montoya-DatoAG #ada #experience #online #programming #using: An Experience on Ada Programming Using On-Line Judging (FJMD, JLFA, GGM), pp. 75–89.
AdaEurope-2009-RivasHR #ada #implementation: Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT (MAR, MGH, JFR), pp. 105–118.
AdaEurope-2009-SaezTGC #ada #implementation #state machine #uml: Implementing Reactive Systems with UML State Machines and Ada 2005 (SS, ST, VLG, AC), pp. 149–163.
SIGAda-2009-Barkstrom #ada #algorithm #concurrent #multi #on the #problem #using: On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms (BRB), pp. 61–72.
SIGAda-2009-CicaleseSSW #ada: Unmanned systems and Ada (CDTC, JS, RES, RMW), pp. 11–12.
SIGAda-2009-Feldman #ada: Introduction to Ada (MBF), pp. 1–2.
SIGAda-2009-Gardinier #ada #development #open source #safety: Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE) (MG), pp. 23–30.
SIGAda-2009-Knight #ada #approach #named #verification: Echo: a new approach to formal verification based on Ada (JK), pp. 85–86.
SIGAda-2009-Lathrop #ada #branch #dynamic analysis #predict: Dynamic analysis of branch mispredictions in Ada (SML), pp. 79–84.
SIGAda-2009-LiangRS #architecture #automation #generative #prototype: “Automatic Prototype Generating” restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning (SXL, LAR, SS), pp. 45–60.
SIGAda-2009-McCormick #ada #parallel #realtime: Ada for real-time and parallel processing (JWM), pp. 13–14.
SIGAda-2009-Mentis #ada #api #type safety: A robotics API dialect for type-safe robots: translating Myro to Ada (ASM), pp. 91–102.
SIGAda-2009-MurtaghH #ada #how #object-oriented: How Ada object orientation works (JLM, DH), pp. 5–6.
SIGAda-2009-Ochem #ada #multi #programming: Multi-language programming with Ada (QO), pp. 19–20.
SIGAda-2009-Rogers #ada #embedded #realtime: Embedded, hard, real-time systems with Ada (PR), pp. 17–18.
SIGAda-2009-RosenT #ada #semantics: The new semantic model in ASIS for Ada 2005 (JPR, STT), pp. 127–132.
SIGAda-2009-Schmidt #ada #maturity #reliability #scalability: An ada retrospective: developing large, mature, reliable systems (RBS), pp. 21–22.
SIGAda-2009-Smart #ada: A look at Ada from both sides now (a government, and a defense contractor perspective) (JCS), pp. 119–120.
SIGAda-2009-Sward09a #ada #using: Georegistration of imagery from unmanned aircraft systems using Ada (RES), pp. 121–126.
SIGAda-2009-TardieuP #ada #programming language: Complementing Ada with other programming languages (ST, AP), pp. 105–114.
SIGAda-2009-TijeroG #ada #experience #middleware #policy #scheduling: Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada (HPT, JJG), pp. 73–78.
MLDM-2009-BarinovaV #named: ODDboost: Incorporating Posterior Estimates into AdaBoost (OB, DV), pp. 178–190.
MLDM-2009-MoedS #classification #performance: Efficient AdaBoost Region Classification (MM, ENS), pp. 123–136.
SAC-2009-Xie #predict: Improved AdaBoost.M1 of decision trees with confidence-rated predictions (ZX), pp. 1462–1466.
CBSE-2008-MartinezDPM #component #distributed #named #realtime: Ada-CCM: Component-Based Technology for Distributed Real-Time Systems (PLM, JMD, PP, JLM), pp. 334–350.
DRR-2008-XiangTLW #recognition #reliability #using: Achieving high recognition reliability using decision trees and AdaBoost (JX, XT, YL, PSPW), p. 68150.
AdaEurope-2008-AlonsoVPA #ada #modelling #state machine #thread #visual notation: StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code (DA, CVC, JAP, BÁ), pp. 158–170.
AdaEurope-2008-Brosgol #ada #comparison #java #object-oriented: A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM (BMB), pp. 115–129.
AdaEurope-2008-FecheteKB #ada #framework #program analysis #source code: A Framework for CFG-Based Static Program Analysis of Ada Programs (RF, GK, JB), pp. 130–143.
AdaEurope-2008-HamidN #ada #semantics: Operational Semantics of Ada Ravenscar (IH, EN), pp. 44–58.
AdaEurope-2008-MartinezDPM #ada #component #distributed #realtime: An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications (PLM, JMD, PP, JLM), pp. 254–267.
AdaEurope-2008-PerezGSH #ada #middleware #perspective #realtime: Real-Time Distribution Middleware from the Ada Perspective (HP, JJG, DS, MGH), pp. 268–281.
SIGAda-2008-Brosgol08a #ada: From strawman to Ada 2005: a socio-technical retrospective (BMB), pp. 13–14.
SIGAda-2008-Doran #ada #development #embedded #named #programming language #realtime: Anima: a Ada derived programming language for real-time embedded software development (SD), pp. 121–132.
SIGAda-2008-Feldman #ada #named: SF1: introduction to ada (MBF), pp. 1–2.
SIGAda-2008-LiangRB #ada #architecture #named #reliability: Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model (SXL, LAR, JB), pp. 39–56.
SIGAda-2008-Maurer #ada #problem #source code: Removing backward go-to statements from Ada programs: possibilities and problems (WDM), pp. 105–108.
SIGAda-2008-McCormick #ada #named #parallel #realtime: MA1: Ada for real-time and parallel processing (JWM), pp. 5–6.
SIGAda-2008-McCormick08a #ada #case study #education #experience #re-engineering: Ada and software engineering education: one professor’s experiences (JWM), pp. 91–96.
SIGAda-2008-Moore #ada #using: A buffer container class hierarchy using Ada 2005 (BJM), pp. 57–74.
SIGAda-2008-Moore08a #ada #distributed #monitoring: Distributed status monitoring and controlusing remote buffers and Ada 2005 (BJM), pp. 109–120.
SIGAda-2008-RasC #architecture #distributed #realtime: Real-time synchronization on distributed architecture with Ada-2005 (JR, AMKC), pp. 75–84.
SIGAda-2008-Rosen #ada: The Ada paradox(es) (JPR), pp. 11–12.
SIGAda-2008-Safari-SharifabadiC #ada #comprehension #dynamic analysis #metric #quality #source code: Dynamic analysis of Ada programs for comprehension and quality measurement (ESS, CC), pp. 15–38.
SIGAda-2008-Sward #ada #architecture #concept #implementation #named: SP1: service oriented architecture (SOA) concepts and implementations for Ada (RES), pp. 3–4.
SIGAda-2008-Taft #ada #implementation: Implementing the extended return statement for Ada 2005 (STT), pp. 97–104.
CIKM-2008-ZhangCWX #adaptation #named #summary: AdaSum: an adaptive model for summarization (JZ, XC, GW, HX), pp. 901–910.
SAC-2008-BarczakJM #empirical #evaluation: Empirical evaluation of a new structure for AdaBoost (ALCB, MJJ, CHM), pp. 1764–1765.
AdaEurope-2007-AlonsoVSAL #ada #approach #automation #code generation #modelling #using: Automatic Ada Code Generation Using a Model-Driven Engineering Approach (DA, CVC, PS, BÁ, FL), pp. 168–179.
AdaEurope-2007-BliebergerBM #ada #detection #multi #source code #static analysis: Static Detection of Livelocks in Ada Multitasking Programs (JB, BB, RM), pp. 69–83.
AdaEurope-2007-Garcia-RodriguezMG #ada #compilation #garbage collection #precise: Incorporating Precise Garbage Collection in an Ada Compiler (FGR, JM, JFG), pp. 235–245.
AdaEurope-2007-KaiserPP #ada #concurrent #modelling: Modelling Remote Concurrency with Ada (CK, CP, JFPP), pp. 192–207.
AdaEurope-2007-MosteoM #ada #architecture #mobile #named #research: Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research (ARM, LM), pp. 221–234.
AdaEurope-2007-PulidoUZP #ada #fault: Handling Temporal Faults in Ada 2005 (JAP, SU, JZ, JAdlP), pp. 15–28.
AdaEurope-2007-RivasR #ada #implementation #realtime: Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT (MAR, JFR), pp. 29–40.
AdaEurope-2007-SinghoffP #ada #empirical #library #towards: Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar (FS, AP), pp. 180–191.
AdaEurope-2007-WellingsB #ada #realtime: Real-Time Utilities for Ada 2005 (AJW, AB), pp. 1–14.
SIGAda-2007-Barnes #ada #named: SA1: introducing the best of ada (JGPB), p. 1.
SIGAda-2007-Barnes07a #ada #named: SP1: introducing the best of ada 2005 (JGPB), p. 3.
SIGAda-2007-CarlisleB #ada #c #network: Timing neural networks in C and ada (MCC, LCBI), pp. 71–74.
SIGAda-2007-Grosman #ada #development #eclipse #named #tool support: Hibachi: the eclipse ada development toolset (TG), p. 99.
SIGAda-2007-HallmarkR #ada #evaluation #evolution #game studies #parallel: Parallel evolution of game evaluation functions in ada (TBH, EKR), pp. 59–62.
SIGAda-2007-Maurer #ada #proving #using: Using mathematics to improve ada compiled code, part 2: the proof (WDM), pp. 11–26.
SIGAda-2007-McCormick #ada #named #parallel #realtime: MA1: real-time and parallel processing in ada (JWM), p. 7.
SIGAda-2007-NettletonIM #ada #compilation #towards: Towards a demonstrably-correct ada compiler (CN, WI, CM), pp. 89–96.
SIGAda-2007-OLeary #ada: Federal aviation administration and Ada (JO), pp. 69–70.
SIGAda-2007-Singhoff #ada #named #realtime #scheduling: MP1: real time scheduling theory and its use with ada (FS), p. 8.
SIGAda-2007-Sward #ada #architecture #named #using #web #web service: SP2: exposing ada web services using a service-oriented architecture (SOA) (RES), p. 4.
SIGAda-2007-Sward07a #ada #architecture #using: Using ada in a service-Ooriented architecture (RES), pp. 63–68.
SIGIR-2007-XuL #algorithm #information retrieval #named: AdaRank: a boosting algorithm for information retrieval (JX, HL), pp. 391–398.
AdaEurope-2006-ArandaPETG #ada #multi #towards: Towards Developing Multi-agent Systems in Ada (GAB, JPC, AE, AT, AGF), pp. 131–142.
AdaEurope-2006-BrosgolW #ada #comparison #java #realtime #safety: A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications (BMB, AJW), pp. 13–26.
AdaEurope-2006-BurgstallerBM #ada #detection #static analysis: Static Detection of Access Anomalies in Ada95 (BB, JB, RM), pp. 40–55.
AdaEurope-2006-Cheng #ada #detection #realtime #runtime: Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems (JC), pp. 167–178.
AdaEurope-2006-Maurer #ada #using: Using Mathematics to Improve Ada Compiled Code (WDM), pp. 191–202.
AdaEurope-2006-PulidoUZVP #ada #scheduling: Hierarchical Scheduling with Ada 2005 (JAP, SU, JZ, TV, JAdlP), pp. 1–12.
SIGAda-2006-Carlisle #ada #automation #generative #object-oriented #parsing #using: Automatic OO parser generation using visitors for Ada 2005 (MCC), pp. 3–8.
SIGAda-2006-CarlisleH #ada #visual notation: Integrating Ada 2005 into visual studio 2005 (MCC, JAHJ), pp. 15–20.
SIGAda-2006-Dewar #ada: Ada 2005 & high integrity systems (RD), p. 43.
SIGAda-2006-Klein #ada: Use of Ada in Lockheed Martin for air traffic management and beyond (JK), p. 1.
SIGAda-2006-PlantecS #ada #automation #library #refactoring: Refactoring of an Ada 95 library with a Meta CASE tool (AP, FS), pp. 61–70.
SIGAda-2006-Taft #ada #exclamation #using #why: Why you should be using Ada 2005 now! (STT), p. 75.
ICPR-v1-2006-ZhouW06a #using #verification: Face Verification Using GaborWavelets and AdaBoost (MZ, HW), pp. 404–407.
ICPR-v2-2006-ChenSYCG #detection: Modification of the AdaBoost-based Detector for Partially Occluded Faces (JC, SS, SY, XC, WG), pp. 516–519.
ICPR-v2-2006-DengHG #algorithm #classification: Ada-Boost Algorithm, Classification, Naïve- (WD, JH, JG), pp. 699–702.
ICPR-v2-2006-NiuSYCG #2d #locality: 2D Cascaded AdaBoost for Eye Localization (ZN, SS, SY, XC, WG), pp. 1216–1219.
ICPR-v4-2006-LeiDW #adaptation #embedded: AdaBoost Tracker Embedded in Adaptive Particle Filtering (YL, XD, SW), pp. 939–943.
AdaEurope-2005-BordinV #ada: A New Strategy for the HRT-HOOD to Ada Mapping (MB, TV), pp. 51–66.
AdaEurope-2005-Brosgol #ada #comparison #java #realtime #specification: A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM (BMB), pp. 129–143.
AdaEurope-2005-MasmanoRCR #ada: Distributing Criticality Across Ada Partitions (MM, JR, AC, IR), pp. 196–207.
AdaEurope-2005-MirandaSD #ada #compilation #implementation #interface: The Implementation of Ada 2005 Interface Types in the GNAT Compiler (JM, ES, GD), pp. 208–219.
AdaEurope-2005-PinhoNB #ada #framework: An Ada Framework for QoS-Aware Applications (LMP, LN, RB), pp. 25–38.
AdaEurope-2005-RivasMH #ada #policy #scheduling: Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks (MAR, JM, MGH), pp. 220–235.
AdaEurope-2005-RogersW #ada #fault tolerance #using: The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95 (PR, AJW), pp. 236–247.
AdaEurope-2005-SimonVP #ada #education #re-engineering: Teaching Software Engineering with Ada 95 (DS, GV, EP), pp. 115–128.
SIGAda-2005-AlexandrID #ada #analysis #clustering #performance #source code: Experimental performance analysis of ada programs in cluster system (KA, SI, KD), pp. 31–36.
SIGAda-2005-Berns #ada #comparison #corba #distributed: A comparison of CORBA and ada’s distributed systems annex (AB), pp. 103–108.
SIGAda-2005-Mark #ada #c #c++: Data sharing between ada and C/C++ (MM), pp. 93–102.
SIGAda-2005-MirandaSK #ada #compilation #implementation #interface: The implementation of ada 2005 synchronized interfaces in the GNAT compiler (JM, ES, HHK), pp. 41–48.
SIGAda-2005-PedersenC #ada #aspect-oriented #named #programming: AspectAda: aspect oriented programming for ada95 (KHP, CC), pp. 79–92.
SIGAda-2005-Romanski #ada #industrial: Ada in the avionics industry (GR), pp. 109–114.
ICML-2005-SunTLW #framework: Unifying the error-correcting and output-code AdaBoost within the margin framework (YS, ST, JL, DW), pp. 872–879.
AdaEurope-2004-AlvarezPOSN #ada #education #framework #realtime #using: Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada (BÁ, JAP, FJO, PS, PJNL), pp. 213–224.
AdaEurope-2004-Alves #ada #formal method #persistent: A Theory of Persistent Containers and Its Application to Ada (MAA), pp. 297–308.
AdaEurope-2004-AmeyW #ada #c #uml: High Integrity Ada in a UML and C World (PA, NW), pp. 225–236.
AdaEurope-2004-BurgstallerBS #ada #on the #source code: On the Tree Width of Ada Programs (BB, JB, BS), pp. 78–90.
AdaEurope-2004-BurnsWT #ada #scheduling: Supporting Deadlines and EDF Scheduling in Ada (AB, AJW, STT), pp. 156–165.
AdaEurope-2004-CamposGH #ada #embedded #realtime: The Chance for Ada to Support Distribution and Real-Time in Embedded Systems (JLC, JJG, MGH), pp. 91–105.
AdaEurope-2004-Gasperoni #ada: Vector Processing in Ada (FG), pp. 321–331.
AdaEurope-2004-GiriMJK #ada #approach #random #safety #testing: A Randomised Test Approach to Testing Safety Critical Ada Code (SKG, AM, YVJ, KK), pp. 190–199.
AdaEurope-2004-HagenauerMP #ada: Ada Meets Giotto (HH, NM, WP), pp. 237–248.
AdaEurope-2004-HiltonH #ada #logic #programmable: High-Integrity Interfacing to Programmable Logic with Ada (AJH, JGH), pp. 249–260.
AdaEurope-2004-MinguetFGB #ada #policy #scheduling: Mixing Scheduling Policies in Ada (AEM, AGF, VLG, ATB), pp. 273–282.
AdaEurope-2004-RealBGSC #ada: Dynamic Ceiling Priorities: A Proposal for Ada0Y (JR, AB, FJMG, ES, AC), pp. 261–272.
AdaEurope-2004-RivasGH #ada #framework #implementation #scheduling: Implementing an Application-Defined Scheduling Framework for Ada Tasking (MAR, FJMG, MGH), pp. 283–296.
AdaEurope-2004-RogersW #ada #named: OpenAda: Compile-Time Reflection for Ada 95 (PR, AJW), pp. 166–177.
AdaEurope-2004-Sward #ada #legacy #source code: Extracting Ada 95 Objects from Legacy Ada Programs (RES), pp. 65–77.
AdaEurope-2004-VrandecicS #ada #using #xml: XML4Ada95 Accessing XML Using the DOM in Ada95 (ZV, DS), pp. 178–189.
AdaEurope-2004-ZamoranoAPP #ada #implementation: Implementing Execution-Time Clocks for the Ada Ravenscar Profile (JZ, AA, JAP, JAdlP), pp. 132–143.
SIGAda-2004-Anderson #ada #refactoring: A refactoring tool for Ada 95 (PA), pp. 23–28.
SIGAda-2004-Brown #ada #education #using: Teaching graphics using Ada (CWB), pp. 47–50.
SIGAda-2004-Lapping #ada #development #modelling: Model driven development with Ada (AL), pp. 19–22.
SIGAda-2004-MirandaS #ada #named: GNAT: on the road to Ada 2005 (JM, ES), pp. 51–60.
SIGAda-2004-SwardC #ada #re-engineering: Re-engineering global variables in Ada (RES, ATC), pp. 29–34.
ICML-2004-ZhangKY #algorithm: Surrogate maximization/minimization algorithms for AdaBoost and the logistic regression model (ZZ, JTK, DYY).
ICPR-v1-2004-SochmanM: Inter-Stage Feature Propagation in Cascade Building with AdaBoost (JS, JM), pp. 236–239.
ICPR-v4-2004-WuTR04a: Resolution Enhancement by AdaBoost (JW, MMT, BDR), pp. 893–896.
DRR-2003-LiuDF: AdaBoost-based handwritten/printed discrimination on a single character (HL, XD, CF), pp. 39–46.
AdaEurope-2003-AlvesJH #ada #xml: The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project (MAA, AJ, MH), pp. 196–207.
AdaEurope-2003-BriotGDCW #ada #memory management: Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada (EB, FG, RD, DC, PW), pp. 129–141.
AdaEurope-2003-BrosgolW #ada #comparison #java #realtime: A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java (BMB, AJW), pp. 113–128.
AdaEurope-2003-BurnsHW #ada #policy #scheduling: A Round Robin Scheduling Policy for Ada (AB, MGH, AJW), pp. 334–343.
AdaEurope-2003-EvancoV #ada #architecture #fault: Some Architectural Features of Ada Systems Affecting Defects (WME, JMV), pp. 232–245.
AdaEurope-2003-EvangelistaKPR #ada #analysis #concurrent #named #source code: Quasar: A New Tool for Concurrent Ada Programs Analysis (SE, CK, JFPP, PR), pp. 168–181.
AdaEurope-2003-FranchM #ada #library #quality #standard: A Quality Model for the Ada Standard Container Library (XF, JM), pp. 283–296.
AdaEurope-2003-GonzalezH #ada: A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95 (FJMG, MGH), pp. 344–358.
AdaEurope-2003-GreinKW #ada #bibliography #physics: A Survey of Physical Unit Handling Techniques in Ada (CG, DAK, FW), pp. 258–270.
AdaEurope-2003-Heaney #ada #data type #library #named: Charles: A Data Structure Library for Ada95 (MH), pp. 271–282.
AdaEurope-2003-JeppuKS #ada #realtime #safety #testing #using: Testing Safety Critical Ada Code Using Non Real Time Testing (YVJ, KK, PSS), pp. 382–392.
AdaEurope-2003-Lamm #ada #design #education #java: Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design (EL), pp. 102–112.
AdaEurope-2003-Leroy #ada: An Invitation to Ada 2005 (PL), pp. 1–23.
AdaEurope-2003-MasmanoRRC #ada #linux #realtime: Running Ada on Real-Time Linux (MM, JR, IR, AC), pp. 322–333.
AdaEurope-2003-Thom #ada #standard #uml: The Standard UML-Ada Profile (FT), pp. 394–404.
SIGAda-2003-EvangelistaKPR #ada #concurrent #linear #logic #source code #verification: Verifying linear time temporal logic properties of concurrent Ada programs with quasar (SE, CK, JFPP, PR), pp. 17–24.
SIGAda-2003-HumphriesCW #ada #dot-net #multi #programming: Multilanguage programming with ada in the .Net environment (JWH, MCC, TAW), pp. 1–3.
SIGAda-2003-MarcoF #ada #design #framework #implementation #library #standard: A framework for designing and implementing the Ada standard container library (JM, XF), pp. 49–61.
SIGAda-2003-Potratz #ada #comparison #embedded #implementation #java #realtime: A practical comparison between Java and Ada in implementing a real-time embedded system (EP), pp. 71–83.
SIGAda-2003-SwardC #ada #named #slicing: AdaSlicer: an Ada program slicer (RES, ATC), pp. 10–16.
SIGAda-2003-SwardCFG #ada: The case for Ada at the USAF academy (RES, MCC, BSF, DSG), pp. 68–70.
SIGAda-2003-XuCZ #ada: Measuring cohesion of packages in Ada95 (BX, ZC, JZ), pp. 62–67.
ECIR-2003-NardielloSS #categorisation: Discretizing Continuous Attributes in AdaBoost for Text Categorization (PN, FS, AS), pp. 320–334.
ICSE-2003-YokomoriIYMKI #component #java #program analysis #slicing: Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J (RY, TI, TY, MM, SK, KI), pp. 828–829.
SCAM-J-2001-ChenXYZ02 #ada #concurrent #detection: Concurrent Ada dead statements detection (ZC, BX, HY, JZ), pp. 733–741.
Ada-2002-BarrM #ada #embedded #named #open source #operating system #safety: Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT) (VB, SM), pp. 53–66.
Ada-2002-BlotzHLPSZ #ada #development #modelling #re-engineering #safety: Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems (AB, FH, HL, AP, OS, HPZ), pp. 37–52.
Ada-2002-Thom #ada #exclamation #integration #modelling #programming language #standard #uml #using: Conformity! A Practical Integration of Standards — A Case for using the Unified Modelling Language (UML) with the Ada Programming Language (FT), pp. 29–36.
AdaEurope-2002-ChenBZY #ada #analysis #concurrent #dependence #source code: Static Dependency Analysis for Concurrent Ada 95 Programs (ZC, BX, JZ, HY), pp. 219–230.
AdaEurope-2002-CzarneckiHRVR #ada #analysis #approach #data flow #named: DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 (KC, MH, ER, FV, AR), pp. 231–244.
AdaEurope-2002-DewarHCW #ada #runtime: Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (RD, OH, DC, PW), pp. 193–204.
AdaEurope-2002-Erdmann #ada #database #development: GNAT Ada Database Development Environment (ME), pp. 334–343.
AdaEurope-2002-GonzalezSMMG #ada #how: How to Use GNAT to Efficiently Preprocess New Ada Sentences (FJMG, FGS, EM, JM, AG), pp. 179–192.
AdaEurope-2002-Lamm #ada #contract #design: Adding Design by Contract to the Ada Language (EL), pp. 205–218.
AdaEurope-2002-MedinaGDH #ada #analysis #component #distributed #modelling #realtime #scheduling: Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components (JLM, JJG, JMD, MGH), pp. 282–296.
AdaEurope-2002-MinguetGC #ada #standard: An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard (AEM, AGF, AC), pp. 321–333.
AdaEurope-2002-OrtizMAIF #ada #development #uml #using: Development of a Control System for Teleoperated Robots Using UML and Ada95 (FJO, ASM, BÁ, AI, JMF), pp. 113–124.
AdaEurope-2002-RivasH #interface #scheduling: A POSIX-Ada Interface for Application-Defined Scheduling (MAR, MGH), pp. 136–150.
AdaEurope-2002-Rosen #ada #interface #paradigm: Ada, Interfaces and the Listener Paradigm (JPR), pp. 344–356.
AdaEurope-2002-RybinS #ada #pretty-printing: About the Difficulties of Building a Pretty-Printer for Ada (SR, AS), pp. 257–268.
AdaEurope-2002-WardA #ada #compilation #hardware: Language Issues of Compiling Ada to Hardware (MW, NCA), pp. 88–99.
SIGAda-2002-CareyAW #ada #experience #scalability: The national ignition facility: early operational experience with a large Ada control system (RWC, PJVA, JPW), p. 11.
SIGAda-2002-CarlisleSH #ada #dot-net #weaving: Weaving Ada 95 into the .net environment (MCC, RES, JWH), pp. 22–26.
SIGAda-2002-Conn #ada: Ada, CMM level 4, and the C-130J aircraft (RC), p. 10.
SIGAda-2002-Dulman #ada #developer #visual notation: Visual Ada developer (LD), pp. 30–34.
SIGAda-2002-KorochkinK #ada #analysis #java #parallel #performance: Experimental performance analysis of the Ada95 and Java parallel program on SMP systems (DK, SK), pp. 53–56.
SIGAda-2002-LeifLL #ada #xml: XML and Ada complement each other (RCL, SBL, SHL), p. 44.
SIGAda-2002-McEvilley #ada #assurance #community: The essence of information assurance and its implications for the Ada community (MM), pp. 35–39.
SIGAda-2002-Santhanam #ada #compilation #set: The anatomy of an FAA-qualifiable Ada subset compiler (VS), pp. 40–43.
AdaEurope-2001-Alves #ada #web #xml: Safe Web Forms and XML Processing with Ada (MAA), pp. 349–358.
AdaEurope-2001-BernatB #ada #flexibility #implementation: Implementing a Flexible Scheduler in Ada (GB, AB), pp. 179–190.
AdaEurope-2001-Burns #ada #policy: Defining New Non-preemptive Dispatching and Locking Policies for Ada (AB), pp. 328–336.
AdaEurope-2001-ChenBY #ada #slicing: Slicing Tagged Objects in Ada (ZC, BX, HY), pp. 100–112.
AdaEurope-2001-CrespoBT #ada #implementation: Complex Task Implementation in Ada (AC, PB, ST), pp. 167–178.
AdaEurope-2001-Duret-Lutz #ada: Expression Templates in Ada (ADL), pp. 191–202.
AdaEurope-2001-GellerichP #ada #alias: Parameter-Induced Aliasing in Ada (WG, EP), pp. 88–99.
AdaEurope-2001-HeraudL #ada #interactive #using: Using Ada in Interactive Digital Television Systems (PH, TL), pp. 21–34.
AdaEurope-2001-KienzleJRM #ada #transaction: Transaction Support for Ada (JK, RJP, ABR, MPM), pp. 290–304.
AdaEurope-2001-KuchumovRS #ada #library #named #object-oriented: OASIS — An ASIS Secondary Library for Analyzing Object-Oriented Ada Code (AK, SR, AS), pp. 113–122.
AdaEurope-2001-Rivas #ada #embedded #kernel #realtime: Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications (MAR), pp. 305–316.
AdaEurope-2001-TaylorK #ada #uml: Mapping UML to Ada (BT, EWK), pp. 359–370.
AdaEurope-2001-Tokar #ada #runtime: New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.
AdaEurope-2001-WaroquiersVCHD #ada #migration #scalability: Migrating Large Applications from Ada83 to Ada95 (PW, SvV, DC, AH, ED), pp. 380–391.
AdaEurope-2001-ZamoranoRP #ada #implementation #kernel #realtime: Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels (JZ, JFR, JAdlP), pp. 317–327.
SIGAda-2001-Barkstrom #ada: Ada 95 bindings for the NCSA hierarchical data format (BRB), pp. 27–30.
SIGAda-2001-BrosgolD #ada #convergence #realtime: Real-time convergence of Ada and Java™ (BMB, BD), pp. 11–26.
SIGAda-2001-Carlisle #ada: Keynote address: confessions of an academic Ada zealot (MCC), pp. 71–72.
SIGAda-2001-Dewar #ada #development: Keynote address: future development of the Ada language (RD), pp. 1–2.
SIGAda-2001-FaginME #ada #education #using: Teaching computer science with robotics using Ada/Mindstorms 2.0 (BSF, LDM, TWE), pp. 73–78.
SIGAda-2001-Fassbender #ada #information management #re-engineering #uml #using: Reengineering an Ada95-programmed command and control information system by using UML (HF), pp. 53–60.
SIGAda-2001-Gantsou #ada #communication #distributed #multi #network #simulation: Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks (DG), pp. 91–96.
SIGAda-2001-Pritchett #ada #metric #object-oriented: An object-oriented metrics suite for Ada 95 (WWP), pp. 117–126.
SIGAda-2001-SherrillAH #ada #architecture #implementation #product line: Implementing a product line-based architecture in Ada (JS, JA, GH), pp. 39–46.
SIGAda-2001-Taft #ada #compilation #using: Using Ada 95 in a compiler course (STT), pp. 79–80.
SIGAda-2001-WhiteW #ada #dynamic analysis: Dynamic analysis for locating product features in Ada code (LJW, NW), pp. 99–106.
TOOLS-USA-2001-Brosgol #ada #bibliography #comparison #concurrent #java #programming #realtime: A Survey and Comparison of Concurrency and Real-Time Programming Support in Java, Ada, and Posix (BMB), p. 362.
ITiCSE-2000-Fagin #ada #education #using: Using Ada-based robotics to teach computer science (BSF), pp. 148–151.
AdaEurope-2000-BliebergerBS #ada #analysis #data flow #detection #source code: Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs (JB, BB, BS), pp. 225–237.
AdaEurope-2000-BriotBC #ada #design #implementation #named: GtkAda: Design and Implementation of a High Level Binding in Ada (EB, JB, AC), pp. 112–124.
AdaEurope-2000-CloshenH #ada #implementation #programming #using: An Ada95 Programming Style Checker Using the GNAT ASIS Implementation (PC, HJH), pp. 149–160.
AdaEurope-2000-FlintD #ada #api #compilation #java #using: Using JavaTM APIs with Native Ada Compilers (SF, BD), pp. 41–55.
AdaEurope-2000-Kallberg #ada #question: Is an Ada Lint Necessary? (BK), pp. 29–40.
AdaEurope-2000-KienzleR #ada #on the #persistent #reliability #streaming: On Persistent and Reliable Streaming in Ada (JK, ABR), pp. 82–95.
AdaEurope-2000-LacommeCCN #ada #uml: MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project (TL, SC, AC, FN), pp. 211–224.
AdaEurope-2000-NonakaCU #ada #development #self #source code: A Supporting Tool for Development of Self-Measurement Ada Programs (YN, JC, KU), pp. 69–81.
AdaEurope-2000-Pflug #ada #question: Ada after 10 Years of Usage — Is There a Commercial Future? (BP), p. 4.
AdaEurope-2000-Schmitt #ada #analysis #design #framework #implementation #object-oriented: Analysis, Design and Implementation of an Object-Oriented Framework in Ada95 (DS), pp. 196–210.
AdaEurope-2000-Weiss #ada #java #monitoring: Kingcat MCAS — Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java (RW), pp. 2–3.
AdaEurope-2000-WellingsJSKWM #ada #object-oriented #programming: Object-Oriented Programming and Protected Objects in Ada 95 (AJW, BJ, BS, JK, TW, SM), pp. 16–28.
DATE-1999-X #ada #c #java #question #specification: Java, VHDL-AMS, ADA or C for System Level Specifications?, p. 720.
ICSM-1999-ZhouB #ada #source code #using: Extracting Objects of Ada Programs Using Module Features (YZ, BX), p. 23–?.
AdaEurope-1999-BliebergerBS #ada #alias #evaluation #interprocedural #source code #symbolic computation: Interprocedural Symbolic Evaluation of Ada Programs with Aliases (JB, BB, BS), pp. 136–145.
AdaEurope-1999-BliebergerKK #ada: Ada Binding to a Shared Object Layer (JB, JK, EK), pp. 263–274.
AdaEurope-1999-BrunetonP #ada #automation #concurrent #source code #verification: Automatic Verification of Concurrent Ada Programs (EB, JFPP), pp. 146–157.
AdaEurope-1999-Canazzi #ada #framework #runtime: yaRTI, an Ada 95 HLA Run-Time Infrastructure (DC), pp. 187–198.
AdaEurope-1999-Frost #ada #certification #embedded #safety: An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.
AdaEurope-1999-GarciaV #ada #petri net: Translating Time Petri Net Structures into Ada 95 Statements (FJGI, JLV), pp. 158–169.
AdaEurope-1999-GonzalezC #ada #development #realtime #source code #specification: Environment for the Development and Specification of Real-Time Ada Programs (AG, AC), pp. 124–135.
AdaEurope-1999-Kamrad #ada: An Application (Layer 7) Routing Switch with Ada95 Software (JMKI), pp. 250–262.
AdaEurope-1999-KamradS #ada #implementation #runtime: An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch (JMKI, BAS), pp. 26–38.
AdaEurope-1999-Kordon #ada: MetaScribe, an Ada-based Tool for the Construction of Transformation Engines (FK), pp. 308–319.
AdaEurope-1999-Korochkin #ada #education: Ada 95 as a Foundation Language in Computer Engeneering Education in Ukraine (AK), pp. 181–186.
AdaEurope-1999-Locke #ada #architecture #realtime: An Architectual Perspective of Real-Time Ada Applications (CDL), pp. 1–11.
AdaEurope-1999-LopezVV #ada #design #embedded #hardware #using: Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL (AL, MV, EV), pp. 356–370.
AdaEurope-1999-LundqvistAM #ada #formal method: A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects (KL, LA, SM), pp. 12–25.
AdaEurope-1999-MillanLM #ada #adaptation #java #persistent #using: An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence (TM, ML, FM), pp. 320–331.
AdaEurope-1999-MirandaGMG #ada #empirical #how: How to Modify the GNAT Frontend tp Experiment with Ada Extensions (FJMG, FGS, JM, AG), pp. 226–237.
AdaEurope-1999-Rosskopf #ada #architecture #design #development: Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches (AR), pp. 437–449.
AdaEurope-1999-ShenCB #ada #implementation #kernel #linux #multi: A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel (HS, AC, TPB), pp. 287–297.
AdaEurope-1999-Strohmeier #ada #design #object-oriented: Mapping Object-Oriented Designs to Ada (AS), pp. 76–90.
AdaEurope-1999-Tuosto #ada #coordination #implementation #network: An Ada95 Implementation of a Network Coordination Language with Code Mobility (ET), pp. 199–210.
AdaEurope-1999-WolfS #ada #distributed #fault tolerance #replication: Fault Tolerance by Transparent Replication for Distributed Ada 95 (TW, AS), pp. 412–424.
SIGAda-1999-BallbastreTVC #ada #case study #distributed #experience #realtime #using: Experiences using Ada in a real-time and distributed laboratory (PB, ST, JViC, AC), pp. 145–155.
SIGAda-1999-BernsteinD #ada #on the fly #optimisation: Optimizing Ada on the fly (SJB, RSD), pp. 169–179.
SIGAda-1999-Botton #ada: Interfacing Ada 95 to Microsoft COM and DCOM technologies (DB), pp. 9–14.
SIGAda-1999-BuhlerF #ada #corba #framework #independence #information management #java: Applying Ada, Java and CORBA for making a command and control information system platform independent (GB, HF), pp. 83–88.
SIGAda-1999-Doran #ada #c #low level: Interfacing low-level C device drivers with Ada 95 (SD), pp. 133–143.
SIGAda-1999-GedelaSX #ada #concurrent #formal method #modelling: Formal modeling of synchronization methods for concurrent objects in Ada 95 (RKG, SMS, HX), pp. 211–220.
SIGAda-1999-Gilchrist #ada: Attitudes to Ada in the UK high-reliability software sector (plenary session) (IG), p. 221.
SIGAda-1999-Gilchrist99a #ada #bibliography: Attitudes to Ada — a market survey (IG), pp. 229–242.
SIGAda-1999-James #ada #distributed: Redistribution in distributed Ada (SJ), pp. 3–8.
SIGAda-1999-Kermarrec #ada #corba #perspective: CORBA vs. Ada 95 DSA: a programmer’s view (YK), pp. 39–46.
SIGAda-1999-Lopes #ada #bibliography #perspective #sql: Ada+SQL — an overview (AVL), pp. 157–162.
SIGAda-1999-LortzT #abstract syntax tree #ada #c++ #distributed #realtime: The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program (HAL, TAT), pp. 181–182.
SIGAda-1999-Lowe #ada #development #embedded #multi: Extending Ada to assist multiprocessor embedded development (TL), pp. 125–132.
SIGAda-1999-LundqvistA #ada #formal method: A formal model of the Ada Ravenscar tasking profile; delay until (KL, LA), pp. 15–21.
SIGAda-1999-McCormick #ada #education #re-engineering #realtime: Ada, model railroading, and real-time software engineering education (keynote address) (JWM), pp. 111–112.
SIGAda-1999-NeedhamDP #ada #distributed #object-oriented #towards #using: Towards a distributed object-oriented propagation model using Ada95 (DMN, SAD, TJP), pp. 203–210.
SIGAda-1999-Tonndorf #ada #programming language #question: Ada conformity assessments: a model for other programming languages? (MT), pp. 89–99.
SIGAda-1999-Wang #ada #approach #re-engineering: Integrating a software engineering approach into an Ada closed laboratory (MW), pp. 163–168.
SIGAda-1999-Wisniewski #ada: Transitioning an ASIS application: version 1 to Ada95 2.0 (JRW), pp. 53–65.
ICML-1999-FanSZC #classification #named: AdaCost: Misclassification Cost-Sensitive Boosting (WF, SJS, JZ, PKC), pp. 97–105.
KDD-1999-FanSZ #distributed #learning #online #scalability: The Application of AdaBoost for Distributed, Scalable and On-Line Learning (WF, SJS, JZ), pp. 362–366.
TOOLS-ASIA-1999-GuangWJ #ada #compilation #distributed #parallel: Parallel Objects in Distributed Ada95 Compiler and Running System — PDEFA (YG, DW, LJ), pp. 320–325.
TOOLS-USA-1999-Brosgol #ada: Ada and the Objects (BMB), p. 438.
ASE-1998-ReyesR #ada #encapsulation #testing: Specification-based Testing of Ada Units with Low Encapsulation (AAR, DJR), pp. 22–31.
AdaEurope-1998-BliebergerB #ada #analysis #source code: Symbolic Reaching Definitions Analysis of Ada Programs (JB, BB), pp. 238–250.
AdaEurope-1998-Chapront #ada #development #safety: Ada+B The Formula for Safety Critical Software Development (PC), pp. 13–18.
AdaEurope-1998-EmeryMN #ada #automation #how #process #question: Automating the Ada Binding Process for Java- How Far Can We Go? (DEE, RFM, KAN), pp. 29–40.
AdaEurope-1998-EspinosaJCTG #ada #component #programming #realtime: Programming Hard Real-Time Systems with Optional Components in Ada (AE, VJ, CC, AT, AGF), pp. 102–111.
AdaEurope-1998-Frisberg #ada: Ada in the JAS 39 Gripen Flight Control System (BF), pp. 288–296.
AdaEurope-1998-Gonzalez-BarahonaQCB #ada #approach #communication #composition: Building Modular Communication Systems in Ada: The Simple_Com Approach (JMGB, PdlHQ, JCG, FJB), pp. 225–237.
AdaEurope-1998-HagenauerP #ada #distributed #simulation: Ada 95 for a Distributed Simulation System (HH, WP), pp. 140–150.
AdaEurope-1998-HarbourRGG #ada #execution #implementation #realtime #using: Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications (MGH, MAR, JJGG, JCPG), pp. 90–101.
AdaEurope-1998-Patino-MartinezJA #ada #fault tolerance #transaction: Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada (MPM, RJP, SA), pp. 78–89.
AdaEurope-1998-Saaltink #ada: Guidance on the Use of Ada95 in High Integrity Systems (SM, MS), pp. 276–287.
AdaEurope-1998-SchumacherN #ada #how #inheritance: How to Avoid the Inheritance Anomaly in Ada (GS, WN), pp. 53–64.
AdaEurope-1998-Stift #ada #object-oriented #physics: (Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative (MJS), pp. 128–139.
AdaEurope-1998-Tonndorf #ada #case study #compilation #experience: Ten Years of Tool Based Ada Compiler Validations. An Experience Report (MT), pp. 176–187.
SIGAda-1998-AlbertiniB #ada #communication: Ada in an On-Board Military Communication System (VDA, CJB), pp. 132–136.
SIGAda-1998-BarkatakiHD #design pattern #legacy #object-oriented #re-engineering #using: Reengineering a Legacy System Using Design Patterns and Ada-95 Object-Oriented Features (SB, SH, TD), pp. 148–152.
SIGAda-1998-Brosgol #ada #comparison #concurrent #java: A Comparison of the Concurrency Features of Ada 95 and Java (BMB), pp. 175–192.
SIGAda-1998-ChamillardLY #ada #using: Using Ada in Non-CS Majors (ATC, RJL, RRY), pp. 61–67.
SIGAda-1998-Duncan #ada #data type #infinity #library #reuse: Reusable Ada Libraries Supporting Infinite Data Structures (AGD), pp. 89–103.
SIGAda-1998-Flint #ada #api #compilation #java #using: Using Java APIs with Native Ada Compilers (SF), pp. 193–203.
SIGAda-1998-Frisberg #ada: Usage of Ada in the Gripen Flight Control System (BF), pp. 140–141.
SIGAda-1998-HendrixCBM #abstraction #ada #incremental #refinement #visual notation: Visual Support for Incremental Abstraction and Refinement in Ada 95 (TDH, JHCI, LAB, KSM), pp. 152–157.
SIGAda-1998-HoffmanNS #ada #testing: Testing Generic Ada Packages with APE (DH, JN, PAS), pp. 255–262.
SIGAda-1998-HopperBHH #ada #simulation: Use of Ada in Digital Radar Landmass Simulation (DRLMS) (JH, JDB, HH, TH), pp. 137–139.
SIGAda-1998-James #ada #data flow #distributed #evolution #using: The Evolution of a Distributed dataflow Processing Model Using Ada (SJ), pp. 39–44.
SIGAda-1998-JarcF #ada #algorithm #animation #data type #empirical: An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course (DJJ, MBF), pp. 68–74.
SIGAda-1998-KaislerF #ada #concurrent #design #object-oriented: Object-Oriented and Concurrent Program Design Issues in Ada 95 (SHK, MBF), pp. 246–254.
SIGAda-1998-Kamrad #ada #case study #experience: Ada experience report for BlazeNet, Inc. (JMKI), pp. 215–216.
SIGAda-1998-LaskiSH #ada #analysis #dependence #source code: Dependency Analysis of Ada Programs (JWL, WS, JH), pp. 263–275.
SIGAda-1998-LeifL #ada #embedded: Ada in Embedded Boards for Scientific and Medical Instruments (RCL, SBL), pp. 114–120.
SIGAda-1998-LiBY #ada: Transforming Ada Serving Tasks into Protected Objects (BL, BX, HY), pp. 240–245.
SIGAda-1998-MillsP #ada #analysis #co-evolution #design #hardware #migration: Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis (MM, GP), pp. 18–27.
SIGAda-1998-MurtaghH #ada #comparison #pascal: A Comparison of Ada and Pascal in an Introductory Computer Science Course (JLM, JAHJ), pp. 75–80.
SIGAda-1998-PinhoV #ada #architecture #fault tolerance #multi #named #realtime: Multi-μ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems (LMP, FV), pp. 52–60.
SIGAda-1998-ReisnerLPS #ada #algorithm #implementation #self: Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95 (JAR, ZL, TJP, SAD), pp. 104–113.
SIGAda-1998-Silberberg #ada #process: Applying the Personal Software Process (PSP) with Ada (DS), pp. 219–228.
SIGAda-1998-Wainwright #ada #component: An Application Engineering Workbench for Tailoring Ada Flight Components (RHW), pp. 165–174.
SIGAda-1998-WongL #ada #design #hardware #kernel: Kernel Ada to Unify Hardware and Software Design (SW, GL), pp. 28–38.
SIGAda-1998-WoodruffA #ada #distributed #research #scalability #using: A Large Distributed Control System Using Ada in Fusion Research (JPW, PJVA), pp. 121–131.
TOOLS-ASIA-1998-WangZZ #ada #automation #concurrent #generative: Automatically Generating Ada95 Codes for Concurrent Objects (ZW, HZ, LZ), p. 222–?.
TOOLS-USA-1998-Brosgol #ada: Ada and the Objects (BMB), p. 404.
SAC-1998-BarkatakiHDJ #component #reuse: Strategies for developing reusable software components in Ada-95 (SB, SH, PJD, GJ), pp. 10–17.
SAC-1998-Patino-MartinezJA #ada #distributed #transaction: Synchronizing group transaction with rendezvous in a distributed Ada environment (MPM, RJP, SA), pp. 2–9.
AdaEurope-1997-BakerO #ada #c #implementation #interface #lessons learnt: Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation (TPB, DIO), pp. 13–22.
AdaEurope-1997-Bell #ada #analysis #source code #tool support: An Alternative Toolset for Analysis of Ada Programs (AEB), pp. 112–124.
AdaEurope-1997-CelierST #ada #consistency: Code-Data Consistency in Ada (VC, DMS, CJT), pp. 209–217.
AdaEurope-1997-CoolingDC #development #education #programming language: Computer Aided Teaching of Programming Languages: An Ada-specific Development (JEC, ND, JC), pp. 35–45.
AdaEurope-1997-DobbingR #ada #named #realtime #tool support: T-SMART — Task-Safe, Minimal Ada Realtime Toolset (BD, MRF), pp. 244–253.
AdaEurope-1997-Feldman #ada #set: An Ada 95 Sort Race Construction Set (MBF), pp. 23–34.
AdaEurope-1997-Franch #ada #automation #implementation #non-functional #source code: Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selection (XF), pp. 88–99.
AdaEurope-1997-GuerraMAA #ada #distributed #fault tolerance #library: An Ada Library to Program Fault-Tolerant Distributed Applications (FGS, FJMG, AA, SA), pp. 230–243.
AdaEurope-1997-HarbourGG #ada #implementation: Implementing Application-Level Sporadic Server Schedulers in Ada 95 (MGH, JJGG, JCPG), pp. 125–136.
AdaEurope-1997-HolzmullerP #ada #finite: Finite Unions for Ada 95 (BH, EP), pp. 1–12.
AdaEurope-1997-JovanovicSA #ada: Developing Scripting Capabilities for an Ada-Based Simulator (SSJ, DMS, PvA), pp. 56–63.
AdaEurope-1997-Mueller #ada #distributed: Supporting Ada 95 Passive Partitions in a Distributed Environment (FM), pp. 218–229.
AdaEurope-1997-Ogren #ada #architecture: Ada 95 as a Base to Architect Systems in O4STM (IÖ), pp. 76–87.
AdaEurope-1997-Pichon #ada #integration: CCO-Mars’96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project (PP), pp. 196–208.
AdaEurope-1997-RomanovskyMW #ada #on the #programming: On Programming Atomic Actions in Ada 95 (ABR, SEM, AJW), pp. 254–265.
AdaEurope-1997-Waterman #ada #testing: Techniques for Testing Ada 95 (SRW), pp. 278–291.
AdaEurope-1997-WegenerF #ada #source code: Systematic Unit-Testing of Ada Programs (JW, IF), pp. 64–75.
AdaEurope-1997-WellingsBP #ada #termination: Task Termination in Ada 95 (AJW, AB, OP), pp. 149–160.
AdaEurope-1997-Yeung #ada #semantics #tool support: Semantics-Based Support Tools for High Integrity Ada Software (WLY), pp. 100–111.
TRI-Ada-1997-Balfour #ada #distributed #java: Combining Ada 95, Java Byte Code, and the Distributed Systems Annex (BB), pp. 247–260.
TRI-Ada-1997-BattagliaBB #ada #named #reuse: ReUSE/Ada: A Tool to Promote Code Reuse (DB, AB, JB), pp. 113–116.
TRI-Ada-1997-Brosgol #ada #comparison #java #object-oriented: A Comparison of the Object-Oriented Features of Ada 95 and Java (BMB), pp. 213–229.
TRI-Ada-1997-BrukardtM #ada: CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows (RB, TM), pp. 91–104.
TRI-Ada-1997-Celier #ada: Managing Usage of Dynamic Structures with Ada Controlled Objects (VC), pp. 165–170.
TRI-Ada-1997-ChamillardH #ada: Transitioning to Ada in an Introductory Course for Non-Majors (ATC, WCHJ), pp. 37–40.
TRI-Ada-1997-Cheng #ada #concurrent #dependence: Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications (JC), pp. 67–78.
TRI-Ada-1997-Gargaro #communication: Ada-Java Communication in ADEPT (AG), pp. 231–245.
TRI-Ada-1997-Gonzalez-BarahonaCQBL #ada #education #network #programming: Teaching Network Programming with Ada and Lower_Layer (JMGB, JCG, PdlHQ, FJBC, LLF), pp. 105–110.
TRI-Ada-1997-HendrixCBM #ada #complexity #visualisation: Visualization of Control Structure and Complexity in Ada 95 (TDH, JHCI, LAB, KSM), pp. 135–139.
TRI-Ada-1997-Kienzle #ada #network: Network Applications in Ada 95 (JK), pp. 3–9.
TRI-Ada-1997-Lawlis #ada #question: Is the Answer Always Ada? (PKL), pp. 297–302.
TRI-Ada-1997-Needham #ada #modelling: An Ada95 Basis for Propagation Modeling (DMN, SAD, TJP), pp. 263–272.
TRI-Ada-1997-OhB #optimisation: Optimization of Ada-95 Tasking Constructs (DIO, TPB), pp. 79–88.
TRI-Ada-1997-PriceDN #ada #framework #metric #reuse: A Reusability Measurement Framework and Tool for Ada 95 (MWP, SAD, DMN), pp. 125–132.
TRI-Ada-1997-SuchanS #ada #education #problem #using: Using Ada 95 as a Tool to Teach Problem Solving to Non-CS Majors (WKS, TLS), pp. 31–36.
TRI-Ada-1997-Tucker #ada #debugging: Debugging Highly-Optimized Ada with Code Motion (DHACM) (KT), pp. 197–203.
TRI-Ada-1997-White #ada #performance #programming: Performance Issues of Scientific Programming in Ada 95 (JBWI), pp. 279–294.
WPC-1996-BailesBCJ #ada: Derivation and Presentation of an Abstract Program Space for Ada (PAB, PB, MC, DBJ), p. 230–?.
AdaEurope-1996-BliebergerLB #ada #realtime: Augmenting Ada 95 with Additional Real-Time Features (JB, RL, BB), pp. 330–341.
AdaEurope-1996-Bondeli #ada #object-oriented #programming: An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming (PdB), pp. 370–384.
AdaEurope-1996-Bremmon #ada #case study #experience #information management #legacy #object-oriented: The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95 (CB), pp. 427–438.
AdaEurope-1996-Brosgol #ada: The Dining Philosophers in Ada 95 (BMB), pp. 247–261.
AdaEurope-1996-BurnsW #ada #concurrent #effectiveness #programming language: Ada 95: An Effective Concurrent Programming Language (AB, AJW), pp. 58–77.
AdaEurope-1996-Celier #ada #interface #migration #scalability: Visibility Control and Migration of Interfaces in Large Ada Systems (VC), pp. 451–459.
AdaEurope-1996-ChengU #ada #detection #source code: Tasking Deadlocks in Ada 95 Programs and Their Detection (JC, KU), pp. 135–146.
AdaEurope-1996-CraigenSM #ada #approach: Ada 95 and Critical Systems: An Analytical Approach (DC, MS, SM), pp. 171–182.
AdaEurope-1996-FeithT #ada #realtime #scalability: Planning the Transition to Ada 95 for a Large Real-Time Project (RF, MT), pp. 500–511.
AdaEurope-1996-Gliss #ada #fortran #legacy: An Ada 95 Harness for Converting Legacy Fortran Applications (BG), pp. 413–426.
AdaEurope-1996-Holzmuller #ada: Extending the Object-Orientedness of Ada 95 (BH), pp. 357–369.
AdaEurope-1996-KienzleWS #ada #communication #distributed: Secure Communication in Distributed Ada (JK, TW, AS), pp. 198–210.
AdaEurope-1996-KimB #ada #approach #component #reuse: An Approach to Increasing Software Component Reusability in Ada (HK, CB), pp. 89–100.
AdaEurope-1996-KruchtenT #ada #development #scalability #source code: Iterative Software Development for Large Ada Programs (PK, CJT), pp. 101–110.
AdaEurope-1996-LundqvistW #ada #object-oriented #using: Using Object-Oriented Methods in Ada 95 to Implement Linda (KL, GW), pp. 211–222.
AdaEurope-1996-Madhav #ada #architecture #consistency #source code #testing: Testing Ada 95 Programs for Conformance to Rapide Architectures (NM), pp. 123–134.
AdaEurope-1996-MillanB #ada #performance #persistent: Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83 (TM, PB), pp. 396–412.
AdaEurope-1996-MirandaAAG #ada #distributed #fault tolerance #named: Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications (FJMG, AA, SA, FGS), pp. 235–246.
AdaEurope-1996-Molenmaker #ada: Converting the Part Task Nautical Simulator to Ada 95 (KM), pp. 439–450.
AdaEurope-1996-OhBM #ada #implementation: The GNARL Implementation of POSIX/Ada Signal Services (DIO, TPB, SJM), pp. 275–286.
AdaEurope-1996-OudshoornC #ada #persistent: Beyond Ada 95: The Addition of Persistence and Its Consequences (MO, SC), pp. 342–356.
AdaEurope-1996-PuenteAA #ada #design #library: Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries (JAdlP, AA, AA), pp. 78–88.
AdaEurope-1996-RealEC #ada #prototype #realtime #using: Using Ada 95 for Prototyping Real-Time Systems (JR, AE, AC), pp. 262–274.
AdaEurope-1996-Rosskopf #ada #assessment #safety #static analysis: Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment (AR), pp. 183–197.
AdaEurope-1996-Smart #ada #development #distributed: A Decade of Development and Development of Distributed Ada Systems (JDS), pp. 485–499.
AdaEurope-1996-SotirovskiK #ada: Handling Irregular Grammars in Ada (DMS, PK), pp. 312–318.
AdaEurope-1996-Taft #ada #internet #programming: Programming the Internet in Ada 95 (STT), pp. 1–16.
AdaEurope-1996-Waroquiers #ada #exclamation #memory management: Ada Tasking and Dynamic Memory: To Use or Not To Use, That’s a Question! (PW), pp. 460–470.
TRI-Ada-1996-BailesBCS #ada #towards: Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion (PAB, PB, MC, EJS), pp. 193–204.
TRI-Ada-1996-BariGRZ #ada #design #information management #object-oriented: Active Information Systems, From Object-Oriented Design to Ada 95 (MB, PG, CR, KZ), pp. 115–124.
TRI-Ada-1996-Beidler #ada #reuse: REUSE/Ada (JB), pp. 211–217.
TRI-Ada-1996-BeugnardCK #ada #corba #implementation #named #realtime: COREMO: A CORBA Real Time Extension Model and its Ada 95 Implementation (AB, ZC, YK), pp. 255–268.
TRI-Ada-1996-CrossBHT #ada #diagrams: Control Structure Diagrams for Ada 95 (JHCI, LAB, TDH, JCT), pp. 143–147.
TRI-Ada-1996-DwyerCR #ada #concurrent #independence: An Application-Independent Concurrency Skeleton in Ada 95 (MBD, MJC, ER), pp. 179–192.
TRI-Ada-1996-HagenauerP #ada #parallel #prototype #simulation: Prototyping a Parallel Discrete Event Simulation System in Ada (HH, WP), pp. 11–22.
TRI-Ada-1996-HamiltonC #ada #education: Ada Training and Education in the US Army and US Air Force (JAHJ, DAC), pp. 151–155.
TRI-Ada-1996-KermarrecNP #ada #distributed #fault tolerance: Providing Fault-Tolerant Services to Distributed Ada 95 Applications (YK, LN, LP), pp. 39–47.
TRI-Ada-1996-KermarrecNP96a #ada #distributed #named: GNATDIST: A Configuration Language for Distributed Ada 95 Applications (YK, LN, LP), pp. 63–72.
TRI-Ada-1996-Moody #ada #architecture #case study #experience #migration #reuse: Migrating Well Engineered Ada 83 Applications into Newer Architecture and Reuse Based Ada 95 Systems: Experiences from Boeing’s Reuse Initiative Project (SAM), pp. 219–229.
TRI-Ada-1996-NebeshF #ada #component #html #learning #using: Learning to Use Ada 95 Components Using HTML Linking (BN, MBF), pp. 207–210.
TRI-Ada-1996-NeedhamDGPZME #ada #design #eiffel #independence #inheritance #modelling #named #object-oriented: ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and Eiffel (DMN, SAD, KEG, TJP, PZ, MM, HJCE), pp. 99–113.
TRI-Ada-1996-ParrishCLM #ada #assessment #learning #process #re-engineering: Active Learning and Process Assessment: Two Experiments in an Ada-Based Software Engineering Course (ASP, DC, CL, DM), pp. 157–161.
TRI-Ada-1996-Pettit #ada #design #distributed #realtime #using: Using Ada 95 for the Design of Distributed Real-Time Systems (RGPI), pp. 49–55.
TRI-Ada-1996-Riley #ada #comparison #corba #development #distributed: A Comparison of Two Approaches to Distributed Application Development in Ada: the Ada Distributed Systems Annex and CORBA (JDR), pp. 73–80.
TRI-Ada-1996-RybinS #ada #difference: Ada and ASIS: Justification of Differences in Terminology and Mechanisms (SR, AS), pp. 249–254.
TRI-Ada-1996-Westley #ada #development #independence #named #tool support #user interface #visual notation: TASH: A Free Platform-Independent Graphical User Interface Development Toolkit for Ada (TJW), pp. 165–178.
TRI-Ada-1996-YueDL #ada #protocol: Priority Ceiling Protocol in Ada (KbY, SD, TL), pp. 3–9.
TRI-Ada-1996-YuEM #ada #object-oriented #reuse #specification: Object Oriented Formal Specifications to Support Ada 95 Reuse (HY, ACE, JM), pp. 125–131.
AdaEurope-1995-AlapideCCQ #ada: Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application (AA, SC, MC, SQ), pp. 331–343.
AdaEurope-1995-BailesBCS #ada: KBSE and Ada — Object and Enabling Technology (PAB, PB, MC, EJS), pp. 152–163.
AdaEurope-1995-Barbey #ada #object-oriented #source code #testing: Testing Ada 95 Object-Oriented Programs (SB), pp. 406–418.
AdaEurope-1995-BattiniMM #ada #evaluation: Evaluation of a SPARC Board Equipped with the Ada Tasking Coprocessor (ATAC) (FB, PLM, MM), pp. 379–388.
AdaEurope-1995-BirusKKRT #ada #realtime: Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems (TB, PK, EK, JR, JLT), pp. 164–169.
AdaEurope-1995-Bjornfot #ada #automaton: Ada and Timed Automata (LB), pp. 389–405.
AdaEurope-1995-Bossard #ada #assessment #design #modelling #realtime: Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada (FB), pp. 355–364.
AdaEurope-1995-Brown #ada #safety: The Practical Application of Safety Techniques on an Ada Based Project (RB), pp. 51–57.
AdaEurope-1995-Bundgaard #ada #compilation: An ANDF Based Ada 95 Compiler System (JB), pp. 81–98.
AdaEurope-1995-ChoukairK #ada #approach #corba #distributed #object-oriented #programming: Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach (ZC, YK), pp. 217–227.
AdaEurope-1995-DavidPCC #ada #fault tolerance #realtime: Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems (PD, TP, AC, JFC), pp. 21–50.
AdaEurope-1995-DaviesR #ada: The Use of Ada for the ENVISAT-1 Simulator (BD, DAR), pp. 170–177.
AdaEurope-1995-GargaroKPT #ada #named: PARIS — Partitioned Ada for Remotely Invoked Services (AG, YK, LP, ST), pp. 191–205.
AdaEurope-1995-Heitz #ada #automation #c++ #code generation #reliability #reuse #using: Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets (MH), pp. 419–438.
AdaEurope-1995-Kaufeler #ada #assessment #named: Ada: A Sceptical Assessment (JFK), pp. 1–3.
AdaEurope-1995-Kempe #ada #classification #data type #semistructured data: Heterogeneous Data Structures and Cross-Classification of Objects with Ada95 (MK), pp. 71–80.
AdaEurope-1995-KermarrecP #ada #distributed #programming: Programming Distributed Systems with Both Ada 95 and PVM (YK, LP), pp. 206–216.
AdaEurope-1995-Laurens #ada: PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S (AL), pp. 124–138.
AdaEurope-1995-Mangold #ada #approach #named #question: Ada95 — An Approach to Overcome the Software Crisis? (KM), pp. 4–10.
AdaEurope-1995-Matthewman #ada #empirical #named: ECLIPS — A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada (AM), pp. 311–330.
AdaEurope-1995-Richard-Foy #ada #safety: Safe Ada Executive: An Executive for Ada Safety Critical Applications (MRF), pp. 11–20.
AdaEurope-1995-RognesS #ada #performance: Performance Tuning of a Check-Out System Coded in Ada (BR, PIS), pp. 99–110.
AdaEurope-1995-SchneeweissAV #ada #analysis #modelling #object-oriented: Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95 (HS, VA, OV), pp. 249–270.
AdaEurope-1995-TaurisanoW #ada: Ada in Mixed Language Applications (GT, IW), pp. 58–70.
TRI-Ada-1995-BalfourG #ada #paradigm #using: Patterns and paradigms for using Ada 95 (BB, MG), pp. 243–310.
TRI-Ada-1995-BarbeyKS #ada #object-oriented #programming: Advanced Object-Oriented Features and Programming in Ada 95 (SB, MK, AS), pp. 359–489.
TRI-Ada-1995-Bardin #ada #concurrent #implementation #source code: Implementing Concurrent Programs in Ada 95 (BMB), pp. 557–654.
TRI-Ada-1995-Duncan #ada #approach #re-engineering: Conversion to Ada and Ada 95: A Software Re-engineering Approach (AGD), pp. 121–171.
TRI-Ada-1995-FeldmanB #ada #education #programming: Teaching Object Programming with Ada 95 (MBF, JB), pp. 655–685.
TRI-Ada-1995-JohnsD #ada: Intelligent Systems and Ada 95 (JJ, JLDH), pp. 311–357.
TRI-Ada-1995-Shumate #ada #approach #design #specification: Software Specification and Design with Ada: A Disciplined Approach (KS), pp. 118–119.
TRI-Ada-1995-Weller #ada #component: The GNU Ada 95 Booch Components (DW), pp. 173–223.
CSEE-1994-KermarrecP #ada #component #distributed #education #reuse: Ada Reusable Software Components for Teaching Distributed Systems (YK, LP), pp. 77–96.
AdaEurope-1994-Anderson #ada: Opening Address: Ada 9X (CA), pp. 1–10.
AdaEurope-1994-BarbeyB #ada #data type #specification #testing #using: Testing Ada Abstract Data Types Using Formal Specifications (SB, DB), pp. 76–89.
AdaEurope-1994-Bondeli #ada #communication #reuse: A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X (PdB), pp. 355–386.
AdaEurope-1994-DissauxFLM #ada #approach: A New Approach for HOOD/Ada Mapping (PD, PF, PL, PM), pp. 147–154.
AdaEurope-1994-Doeuff #ada #automation #generative #source code: Automatic Generation of Ada Source Code for the Rafale Mission Computer (HLD), pp. 333–348.
AdaEurope-1994-Gale #ada #development #recommendation: Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment (LPG), pp. 175–203.
AdaEurope-1994-GerlichW #ada #source code: Tuning Ada Programs in Advance (RG, UW), pp. 440–464.
AdaEurope-1994-Gray #ada #how #question: How Should Military Ada Software be Documented? (LG), pp. 162–169.
AdaEurope-1994-HutcheonJMPWJ #ada #tool support: Tool Support for High Integrity Ada Software (ADH, DTJ, JAM, RHP, ICW, BJJ), pp. 63–75.
AdaEurope-1994-JovanovicSS #ada #evolution: Interfacing Computer Communications from Ada in a Diverse and Evolving Environment (SSJ, LS, DMS), pp. 387–396.
AdaEurope-1994-KayloeL #ada #architecture #c++: Merging Ada 9X and C++ in a Graphics System Software Architecture (JRK, PKL), pp. 33–42.
AdaEurope-1994-Kettani #ada #how #realtime: How to Avoid and Control Proliferation of New Ada Real Time Extensions (NK), pp. 349–354.
AdaEurope-1994-Moller #ada #runtime: Run-Time Check Elimination for Ada 9X (PLM), pp. 11–23.
AdaEurope-1994-ObermayerSSKKL #ada #analysis #realtime: Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code Analysis (PEO, JS, GS, AK, PK, RL), pp. 483–488.
AdaEurope-1994-Ogren #ada: Extended Application of Ada to Cover ECBS with O4S (IÖ), pp. 215–230.
AdaEurope-1994-Palm #compilation #multi: Life*ADA: An APSE Integrating Multiple Compiler (SUP), pp. 204–214.
AdaEurope-1994-PitetteCGS #ada #named #realtime: Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systems (GMP, JYC, DG, JMS), pp. 406–420.
AdaEurope-1994-RogersP #ada #distributed #fault tolerance: The AECSS Fault Tolerant Distributed Ada Testbed and Application (PR, MP), pp. 43–59.
AdaEurope-1994-Rymer #ada #education #evolution: Evolving an Ada Curriculum to 9X (JRR), pp. 170–174.
AdaEurope-1994-SevestreB #ada #generative #multi #operating system #thread: Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model (JS, JB), pp. 24–32.
AdaEurope-1994-SilbergR #ada #certification #runtime: FAA Certification of Ada Run-Time Systems (SS, TBR), pp. 489–498.
AdaEurope-1994-Tokar #ada: Handling Interrupts in Ada 9X (JLT), pp. 433–439.
AdaEurope-1994-WiggersO #ada: Ada Controls the European Robotic Arm (JJMW, MJAO), pp. 322–332.
TRI-Ada-1994-Aldrich #ada #architecture: Secured Systems and Ada: A Trusted System Software Architecture (MA), pp. 282–292.
TRI-Ada-1994-BarbaschE #ada #debugging: Always One More Bug: Applying AdaWise to Improve Ada Code (CB, DE), pp. 228–235.
TRI-Ada-1994-Barbey #ada: Working with Ada 9X Classes (SB), pp. 129–140.
TRI-Ada-1994-BodilyEW #ada #implementation: Implementing OSA Model Instances in Ada (SB, DWE, SNW), pp. 331–342.
TRI-Ada-1994-BrelandRBN #ada #distributed #fault tolerance: Transparent Fault Tolerance for Distributed Ada Applications (MAB, SAR, GPB, KLN), pp. 446–457.
TRI-Ada-1994-Cherry #ada #formal method #paradigm #re-engineering #visualisation: Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm (GWC), pp. 309–320.
TRI-Ada-1994-ComarP #ada #implementation: Ada 9X Tagged Types and Their Implementation in GNAT (CC, BP), pp. 71–81.
TRI-Ada-1994-CrawleyO #ada #orthogonal #persistent: Orthogonal Persistence and Ada (SC, MO), pp. 298–308.
TRI-Ada-1994-Duncan #ada #implementation: Implementing Internal Program Representations with Ada and Ada 9X (AGD), pp. 154–163.
TRI-Ada-1994-GieringMB #ada #library #runtime: Features of the GNU Ada Runtime Library (EWG, FM, TPB), pp. 93–103.
TRI-Ada-1994-GuemhiouiDPE #ada #code generation #design #object-oriented #profiling: Profiling in an Object-Oriented Design Environment That Supports Ada 9X and Ada 83 Code Generation (KEG, SAD, TJP, HJCE), pp. 180–190.
TRI-Ada-1994-KayloeL #ada #architecture #named #using: Easy-Sim: Using Ada 9X in a Graphics System Software Architecture (JRK, PKL), pp. 164–169.
TRI-Ada-1994-Kempe #ada #data type: Abstract Data Types are Under Full Control with Ada 9X (MK), pp. 141–152.
TRI-Ada-1994-KermarrecP #ada #distributed #named #paradigm #programming: Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications (YK, LP), pp. 438–445.
TRI-Ada-1994-KruchtenT #ada #architecture #distributed #object-oriented #scalability: An Object-Oriented, Distributed Architecture for Large-Scale Ada Systems (PK, CJT), pp. 262–271.
TRI-Ada-1994-LuksL #ada #education: Educating Educators: Lessons in Adding Ada to a Small School Curriculum (SL, SPL), pp. 203–208.
TRI-Ada-1994-Moller #ada #runtime: Run-Time Check Elimination for Ada 9X (PLM), pp. 122–128.
TRI-Ada-1994-Ogren #ada: Extended Application of Ada to Cover ECBS with O4S: ECBS = Engineering of Computer Based Systems; O4S = Objects for Systems (IÖ), pp. 322–330.
TRI-Ada-1994-Oliver #ada #concurrent #design #implementation #object-oriented #realtime: Object Oriented Design and Implementation of Concurrent and Real Time Systems in Ada (SRO), pp. 343–349.
TRI-Ada-1994-RybinK #ada #programming language: Ada-Based Programming Language Course in Moscow State University (SR, VSK), pp. 194–202.
TRI-Ada-1994-Sartore #ada #database #realtime #scalability: Large Database Ada Program for Real Time Laboratory Instrument Control and Data Acquisition (RGS), pp. 406–416.
TRI-Ada-1994-SchonbergB #compilation: The GNAT Project: A GNU-Ada 9X Compiler (ES, BB), pp. 48–57.
TRI-Ada-1994-Thornley #ada #data flow #parallel #programming: Integrating Parallel Dataflow Programming with the Ada Tasking Model (JT), pp. 417–428.
TRI-Ada-1994-WelkerS #ada #approach #re-engineering: Software Reengineering in Ada: A Practical Approach (KDW, MWS), pp. 248–254.
TOOLS-EUROPE-1994-Strohmeier #ada: Ada 9X (AS), p. 511.
ICSE-1994-Vardanega #ada #development #embedded #experience #realtime: Experience with the Development of Hard Real-Time Embedded Ada Software (TV), pp. 301–308.
ISSTA-1994-Corbett #ada #analysis #concurrent #empirical #evaluation #source code: An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs (JCC), pp. 204–215.
WCRE-1993-Cross #ada #diagrams #named #reverse engineering: GRASP/Ada: Reverse Engineering of Control Structure Diagrams (JHCI), pp. 107–116.
AdaEurope-1993-BjornfotALW #ada #distributed #protocol #runtime: Distributed Run-Time Systems, a Protocol for Ada (LB, LA, KL, GW), pp. 249–263.
AdaEurope-1993-Brosgol #ada #information management: Information Systems Support in Ada 9X (BMB), pp. 36–53.
AdaEurope-1993-BrygierR #ada #certification #realtime #safety: Certification of Ada Real-Time Executives for Safety Critical Applications (JB, MRF), pp. 264–279.
AdaEurope-1993-BundyM #ada #exception #scalability: Error-Prone Exception Handling in Large Ada Systems (GNB, DEM), pp. 153–170.
AdaEurope-1993-BurnsWH #ada #modelling #performance #runtime #scheduling: The Impact of an Ada Run-Time System’s Performance Characteristics on Scheduling Models (AB, AJW, ADH), pp. 240–248.
AdaEurope-1993-CherniackDF #ada #source code: Tool for Computing Cohesion and Coupling in Ada Programs: DIANA Dependent Part (JRC, HSD, JFF), pp. 180–196.
AdaEurope-1993-Jorgensen #ada #c++ #comparison #object-oriented: A Comparison of the Object-Oriented Features of Ada 9X and C++ (JJI), pp. 125–141.
AdaEurope-1993-KamradH #ada #case study #realtime: Applying Ada 9X to Two Real-Time Applications: A Case Study (JMKI, JH), pp. 79–94.
AdaEurope-1993-KettaniC #ada #realtime #standard #towards: Toward a Secondary Standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35 (NK, VC), pp. 330–351.
AdaEurope-1993-Lebib #ada: The Impact of Ada on MIS Applications (RL), pp. 54–63.
AdaEurope-1993-Lundberg #ada #evaluation #parallel #performance #source code #using: Performance Evaluation of Parallel Ada Programs Using an Experimental Multiprocessor (LL), pp. 280–297.
AdaEurope-1993-Mathis #ada #standard: Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status (RFM), pp. 1–12.
AdaEurope-1993-Pidault #ada #development: Graphics Development in Ada (HP), pp. 13–18.
AdaEurope-1993-ThyseliusSS #ada #simulation #tool support: Adam, an Ada Simulation Toolkit (RT, MS, BS), pp. 298–313.
AdaEurope-1993-Tonndorf #ada #compilation #performance #validation: An Efficient Compiler Validation Method for Ada 9X (MT), pp. 95–107.
AdaEurope-1993-WallABL #ada #performance #source code: Performance Expectations on Ada Programs (GW, LA, LB, KL), pp. 227–239.
TRI-Ada-1993-AtkinsonW #ada #inheritance: Integrating Inheritance and Synchronization in Ada9X (CA, DW), pp. 229–241.
TRI-Ada-1993-Brennan #ada #exception: Observations on Program-Wide Ada Exception Propagation (PTB), pp. 189–195.
TRI-Ada-1993-Brett #ada #compilation #implementation #what: Smart Recompilation: What Is It?, Its Benefits for the User, and Its Implementation in the DEC Ada Compilation System (BRB), pp. 277–287.
TRI-Ada-1993-Byrnes #ada #migration: Porting Applications Between Two Commercial Ada/Motif Bindings (CB), pp. 37–49.
TRI-Ada-1993-Cernosek #ada #modelling #named #representation: ROMAN-9X: A Technique for Representing Object Models in Ada 9X Notation (GJC), pp. 385–406.
TRI-Ada-1993-DownsDMTT #ada #using: Using X with the ADA Mind-Set (MD, JD, KM, LT, CT), pp. 20–28.
TRI-Ada-1993-FergusonW #ada #framework #independence #syntax: Platform Independent Translations for a Compilable Ada Abstract Syntax (WDF, JKW), pp. 312–322.
TRI-Ada-1993-FilareyRRSD #ada #framework: Software First: Applying Ada Megaprogramming Technology to Target Platform Selection Trades (ARF, WER, RR, PS, LDM), pp. 90–101.
TRI-Ada-1993-Frankel #ada #automation #perspective: Ada 9X and CASE: A Methods Perspective (MIF), pp. 200–210.
TRI-Ada-1993-GieringMB #ada #design #implementation #thread #using: Implementing Ada 9X Features Using POSIX Threads: Design Issues (EWG, FM, TPB), pp. 214–228.
TRI-Ada-1993-GrossmanKE #ada #approach #automation #programming: Automating the Ada Programming Rrocess: A Domain-Specific Approach (FG, RJK, CBEJ), pp. 302–311.
TRI-Ada-1993-GuemhiouiDP #ada #automation #code generation #design #education #object-oriented: Object-Oriented Design and Automatic Ada Code Generation in the Education of Software Engineers (KEG, SAD, TJP), pp. 126–136.
TRI-Ada-1993-KermarrecP #ada #distributed #memory management: A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications (YK, LP), pp. 242–251.
TRI-Ada-1993-LeifSBKLD #ada #development: The Development of Software in the Ada Language for a Mid-Range Hematology Analyzer (RCL, JS, IB, MK, SBL, TD), pp. 340–346.
TRI-Ada-1993-LopesFH #ada #education #empirical: A Controlled Experiment with Software for Teaching Ada Tasking (AVL, MBF, RSH), pp. 116–125.
TRI-Ada-1993-MathiasR #ada: Ada/X Window System Bindings: Conversion Strategies (KSM, MAR), pp. 29–36.
TRI-Ada-1993-Nickerson #ada #design #representation #using #visual notation: Visual Conventions for System Design Using Ada 9X: Representing Asynchronous Transfer of Control (JVN), pp. 379–384.
TRI-Ada-1993-RogersOPL #ada #distributed #fault tolerance: Demonstrable Fault Tolerance for Distributed Ada (PR, SO, MP, KL), pp. 180–188.
TRI-Ada-1993-Tonndorf #ada #compilation: An Integrated Tool Environment for Ada Compiler Validations (MT), pp. 268–276.
TRI-Ada-1993-TurnerH #abstraction #ada #generative #verification: Ada Abstraction, Generation, Verification (JAT, TLH), pp. 323–329.
TRI-Ada-1993-White #ada #interface #semantics #specification #using: A Universal Delogger Using the Ada Semantic Interface Specification (ASIS) (MW), pp. 347–353.
SEKE-1993-CanforaCCS #ada #animation #interactive #reverse engineering #source code: Reverse Engineering and Interactive Animation of Ada Programs (GC, AC, UdC, LS), pp. 507–516.
OOPSLA-1993-Taft #ada #object-oriented: Ada 9X: From Abstraction-Oriented to Object-Oriented (STT), pp. 127–136.
TOOLS-PACIFIC-1993-Grant #ada #object-oriented #paradigm #re-engineering #using: Software Engineering Using the Object-Oriented Paradigm: The Promise of Ada 9X (DDG), p. 329.
ISSTA-1993-DuriBDS #ada #analysis #concurrent #reduction #using: Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking (SD, UAB, RD, SMS), pp. 51–60.
AdaEurope-1992-AndersonS #ada #development #object-oriented: Managing Ada Object-Oriented Development (JAA, JDS), pp. 20–34.
AdaEurope-1992-BayassiBJL #ada #distributed #paradigm: A Practical Use of the Ada Rendez-Vous Paradigm in Distributed Systems (MB, HB, JFJ, PL), pp. 312–324.
AdaEurope-1992-BazalgetteBBFRS #ada #named: STRAda — An Ada Transformation and Distribution System (GB, DB, CB, MF, JMR, AS), pp. 287–299.
AdaEurope-1992-BrosgolEE #ada: Decimal Arithmetic in Ada (BMB, RIE, DEE), pp. 138–149.
AdaEurope-1992-Cheng #ada #concurrent #dependence #representation #source code: Task Dependence Net as a Representation for Concurrent Ada Programs (JC), pp. 150–164.
AdaEurope-1992-Do #ada #challenge #compilation #integration #reuse: Compilation Integration: A Solution for the Challenge of Developing and Reusing Ada Software on Different Platforms (TND), pp. 230–241.
AdaEurope-1992-DuellSW #ada #code generation #scalability #source code #using: Using Ada Source Code Generators in a Large Project (RD, HJS, FCAdW), pp. 47–59.
AdaEurope-1992-GobinTG #runtime: Runtime System Support for Data-Oriented Synchronization in Ada-9X (MG, MT, FG), pp. 128–137.
AdaEurope-1992-Groeneveld #ada #using: Using Ada in Integrating ATC Systems (MG), pp. 72–79.
AdaEurope-1992-Hummel #ada #parallel: A Highly Parallel Ada Task Scheduler (SFH), pp. 275–286.
AdaEurope-1992-LanderM #ada #detection #multi #problem #realtime: Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications (LCL, SM), pp. 165–181.
AdaEurope-1992-LooneyO #ada #distributed #using: Distributed Application Designed Using MASCOT and Implemented in Ada (MJL, AO), pp. 1–8.
AdaEurope-1992-Lundberg #ada #parallel #predict #source code: Predicting the Speedup of Parallel Ada Programs (LL), pp. 257–274.
AdaEurope-1992-Mangold #ada #multi #named #set: AMPATS — A Multi Processor Ada Tool Set (KM), pp. 300–311.
AdaEurope-1992-Maymir-Ducharme #ada #embedded #migration #realtime: Porting Embedded Real-Time Ada Software (FAMD), pp. 92–103.
AdaEurope-1992-OttensT #ada #simulation #specification: Simulation of Mosca Specifications in Ada (AO, HT), pp. 182–196.
AdaEurope-1992-PuenteZAF #ada #realtime #reuse: Reusable Executives for Hard Real-Time Systems in Ada (JAdlP, JZ, AA, JLF), pp. 104–115.
AdaEurope-1992-Raines #ada #realtime: Real Time Ada in the International Space Station Freedom (GR), pp. 9–19.
AdaEurope-1992-Stilberg #ada #validation: Considerations with Regard to Validation of Ada Debuggers (SS), pp. 197–213.
AdaEurope-1992-ThomasDB #ada #evaluation #reuse #source code: An Evaluation of Ada Source Code Reuse (WMT, AD, VRB), pp. 80–91.
AdaEurope-1992-Wearing #ada #metric #re-engineering: Software Engineering, Ada and Metrics (AW), pp. 35–46.
TRI-Ada-C-1992-Acosta #ada #concurrent #prototype #source code #specification: Specification Prototyping of Concurrent Ada Programs in DProto (RDA), pp. 258–266.
TRI-Ada-C-1992-Anderson #ada: Ada 9X for Managers (CMA), pp. 31–35.
TRI-Ada-C-1992-BailesJSW #ada #declarative #functional #programming: Full Functional Programming in a Declarative Ada Dialect (PAB, DBJ, EJS, LW), pp. 350–358.
TRI-Ada-C-1992-BannerS #ada #component #library #object-oriented #reuse: Assessing Ada 9X OOP: Building a Reusable Components Library (BB, ES), pp. 79–90.
TRI-Ada-C-1992-BerryS #ada #case study #experience #re-engineering #requirements #scalability: Estimating Requirements for a Large Software Engineering Project: Experiences with Ada COCOMO on SIDPERS-3 (RHB, RMS), pp. 375–383.
TRI-Ada-C-1992-Blair #ada #configuration management #library #using #version control: Managing Ada Using Rational’s Configuration Management/Version Control and IBM’s Software Configuration Library Manager (DJB), pp. 424–431.
TRI-Ada-C-1992-BlakeB #ada #case study #experience #interface #perspective #semantics #specification: Experiences with The Ada Semantic Interface Specification (ASIS): Developing a Tool with a View (SJB, JBB), pp. 458–468.
TRI-Ada-C-1992-Brosgol #ada #information management: Ada 9X and Information Systems (BMB), pp. 97–99.
TRI-Ada-C-1992-BurgerBVTSB #ada #distributed #source code: A Practical Tool for Distributing Ada Programs: TeleSoft’s Distributed Ada Configuration Tool (TB, JBB, RAV, RT, GS, KHB), pp. 484–492.
TRI-Ada-C-1992-Cherry #ada #behaviour: Stimulus Response Machines: An Ada-based Graphic Formalism for Describing Class and Object Behavior (GWC), pp. 321–332.
TRI-Ada-C-1992-CramerD #ada #fault tolerance: The Use of Ada to Achieve Fault Tolerance in AAS (RSC, JDD), pp. 545–552.
TRI-Ada-C-1992-Crespi-ReghizziMP #ada #behaviour #concept #experience #implementation #inheritance: Behavioral Inheritance: Concepts, Ada Implementation and Experience (SCR, MDM, SP), pp. 200–210.
TRI-Ada-C-1992-DismukesR #ada #implementation: Implementing Tagged Types and Type Extensions for Ada 9X (GD, MAR), pp. 68–78.
TRI-Ada-C-1992-Fussichen #ada #cics #exclamation: Ada and CICS: or (yes! Ada can be done on an IBM Mainframe) (KF), pp. 415–422.
TRI-Ada-C-1992-Gargaro #ada #distributed #towards: Towards Distributed Systems in Ada 9X (AG), pp. 49–54.
TRI-Ada-C-1992-Gerhardt #ada #how: How “Outsiders” see Ada and its Future (MG), pp. 361–363.
TRI-Ada-C-1992-GieringB #ada #thread #using: Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress (EWG, TPB), pp. 518–529.
TRI-Ada-C-1992-GoldsackHVW #ada #adaptation: AdaPT and Ada 9X (SJG, AAHV, RAV, RW), pp. 493–503.
TRI-Ada-C-1992-Goodenough #ada #realtime: Ada 9X and Real-Time Systems (JBG), pp. 43–47.
TRI-Ada-C-1992-GoodmanM #ada: Ada as an Introductory Language (DRG, RAM), pp. 122–125.
TRI-Ada-C-1992-Gordon #ada #library #reuse #user interface #visual notation: A Graphical User Interface in Ada for Domain-Specific Reuse Libraries (DG), pp. 309–320.
TRI-Ada-C-1992-Hermida #ada #anti #development #named: HEmut-PoliCaza: Introducing Ada in the University Through PC Anti-Virus Software Development (AH), pp. 148–156.
TRI-Ada-C-1992-Hodges #ada #idea: Ada Program Support Environments: A Good Idea Overcome by Changes (WMH), pp. 439–448.
TRI-Ada-C-1992-HummerB #ada #design #hardware #safety: When Hardware Becomes Software: Designing a Safety-Critical System with Ada (JH, LB), pp. 538–544.
TRI-Ada-C-1992-Jarc #ada #pascal: Ada, Pascal’s Replacement for Introductory Courses in Computer Science (DJJ), pp. 126–134.
TRI-Ada-C-1992-JensenSW #component #experience #library #reuse: Successful Experience with AdaSAGE Reusable Component Library (JSJ, HDS, PHW), pp. 276–280.
TRI-Ada-C-1992-KermarrecP #ada #communication #component #distributed #realtime: Ada Communication Components for Distributed and Real Time Applications (YK, LP), pp. 530–537.
TRI-Ada-C-1992-KlabundeR #ada #object-oriented #user interface: Developing Object-Oriented User Interfaces in Ada with the X Window System (GWK, MAR), pp. 300–308.
TRI-Ada-C-1992-LawlisE #ada #assembly #case study: Ada Outperforms Assembly: A Case Study (PKL, TWE), pp. 334–337.
TRI-Ada-C-1992-Lebib #ada: MIS and Ada Productivity (RL), pp. 366–374.
TRI-Ada-C-1992-LockP #ada #past present future #re-engineering #requirements: Requirements on Ada Reengineering Technology from Past, Present and Future Systems (EDL, NSP), pp. 384–395.
TRI-Ada-C-1992-Lodge #ada #benchmark #metric: Benchmarking Ada: A Rationale (MJL), pp. 142–147.
TRI-Ada-C-1992-MayrhauserH #ada #algorithm #communication #concurrent #graph #testing: An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs (AvM, SMSH), pp. 450–457.
TRI-Ada-C-1992-McHugh #ada #safety: Ada 9X and Safety Critical/Secure Systems (JM), pp. 55–59.
TRI-Ada-C-1992-Moore92a #ada #embedded #sql: Minimizing the Disadvantages of Embedded SQL/Ada (JWM), pp. 407–414.
TRI-Ada-C-1992-Reed #ada #case study #experience #implementation: Experiences in Implementing Ada 9X Protected Records and Requeue (PR), pp. 62–67.
TRI-Ada-C-1992-RogersP #ada #distributed #implementation: Implementing Distributed Ada (PR, MP), pp. 504–510.
TRI-Ada-C-1992-Schonberg #ada #education: Teaching Ada 9X (ES), pp. 101–106.
TRI-Ada-C-1992-SeligPM #ada #data analysis #realtime: Data Analysis and Reporting for Real-Time Ada Systems (TS, DBP, BDM), pp. 469–476.
TRI-Ada-C-1992-Sielski #ada #implementation #parallel #thread: Implementing Ada Tasking in a Multiprocessing, Multithreaded UNIX Environment (KLS), pp. 512–517.
TRI-Ada-C-1992-Simonian #ada #development: Software Development in Core: The Application of Ada and Spiral Development (RPS), pp. 249–257.
TRI-Ada-C-1992-StevensonEHJSS #ada #standard: The Army Sustaining Base APP: An Example of Standards Engineering for Ada (JTS, DEE, JPH, BJJ, MES, MCS), pp. 432–438.
TRI-Ada-C-1992-Taft #ada #programming: Ada 9X and Systems Programming (STT), pp. 37–42.
TRI-Ada-C-1992-Taft92a #ada #object-oriented: Ada 9X and OOP (STT), pp. 91–96.
TRI-Ada-C-1992-Tang #ada #c++ #comparison: A Comparison of Ada and C++ (LST), pp. 338–349.
TRI-Ada-C-1992-Tokar #ada #implementation: Ada 9X Implementation (JLT), pp. 107–112.
TRI-Ada-C-1992-Weiderman #ada #validation: Ada 9X Validation (NHW), pp. 113–118.
TRI-Ada-C-1992-Youtzy #ada #named: Ada: Still Our First Choice (HYJ), pp. 135–139.
TRI-Ada-T1-1992-FeldmanP #ada #education #using: Teaching and Using Ada in CS1/CS2 (MBF, REP), pp. 1–59.
TRI-Ada-T1-1992-GonzalezC #ada: Introduction to Ada for Programmers (DG, DAC), pp. 59–104.
TRI-Ada-T1-1992-Rogers #ada #embedded #programming #realtime: Embedded/Real-Time Programming in Ada (PR), pp. 105–260.
TRI-Ada-T2-1992-EmeryDM #ada: POSIX and Ada (DEE, SD, JWM), pp. 758–944.
TRI-Ada-T2-1992-Shumate #ada #approach #design #specification: Software Specification and Design with Ada: A Disciplined Approach (KS), pp. 497–589.
SEKE-1992-TuS #approach #linear #petri net #programming #static analysis: Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach (ST, WS), pp. 222–226.
TOOLS-USA-1992-Baker #ada #object-oriented #programming: Object-Oriented Programming in Ada83 and Ada9X (HB), p. 262.
ICSE-1992-MargonoR #ada #analysis #reuse #scalability: Software Reuse Economics: Cost-Benefit Analysis on a Large-Scale Ada Project (JM, TER), pp. 338–348.
AdaEurope-1991-BadaroM #ada #named #reuse: ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codes (NB, TM), pp. 304–325.
AdaEurope-1991-Baumgarten #ada #case study #comparative #distributed: Distributed Systems and Ada — Current Projects and Approaches Comparative Study’s Results (UB), pp. 260–278.
AdaEurope-1991-Bjornson #ada: Information Engineering for Systems in Ada (SB), pp. 50–64.
AdaEurope-1991-ChengU #ada #petri net #using: Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets (JC, KU), pp. 125–146.
AdaEurope-1991-ColombiniTP #ada #realtime: Ada as High Level Language for Real-Time Systems Exploiting RDBMS Techniques (CC, AdT, RP), pp. 384–393.
AdaEurope-1991-Curley #ada #approach #benchmark #compilation #metric: An Approach To Benchmarking Ada Compilation Systems (TC), pp. 87–108.
AdaEurope-1991-CurtisS #ada #modelling #using: Modelling the Temporal Summation of Neural Membranes Using the Ada Language (MCC, VJDS), pp. 2–19.
AdaEurope-1991-DelisT #ada #assessment #design #static analysis #using: Design Assessment of Ada Systems Using Static Analysis (AD, WMT), pp. 227–250.
AdaEurope-1991-ElradW #3d #ada: The Use of Ada in Reactive Systems: A 3-Dimensional Model (TE, VW), pp. 20–36.
AdaEurope-1991-GilbertTB #ada #embedded #experience #process #realtime #using: Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes (BG, MT, GB), pp. 394–403.
AdaEurope-1991-Gudenberg #ada #parallel: Modellin SIMD — Type Parallel Arithmetic Operations in Ada (JWvG), pp. 110–124.
AdaEurope-1991-LevyRT #ada #configuration management #distributed: Reconfigurable Ada Distributed Control System Software (DCL, MCR, JLT), pp. 279–302.
AdaEurope-1991-Lundberg #ada #multi #performance: A Coprocessor for High Performance Multiprocessor Ada Tasking (LL), pp. 147–165.
AdaEurope-1991-Maymir-Ducharme #ada #realtime #scheduling: Ada 9X Real-Time Scheduling Alternatives (FAMD), pp. 37–48.
AdaEurope-1991-Rosskopf #ada #reuse: Reusable Input/Output Packages for Ada Avionic Applications (AR), pp. 338–360.
AdaEurope-1991-SouposG #ada #distributed #object-oriented #transaction #using: Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS (PS, SG), pp. 252–259.
AdaEurope-1991-TsalidisH #ada #metric: AFADA, a Measurement Tool for Ada (CTT, AEH), pp. 65–86.
AdaEurope-1991-Welz #ada #safety: Ada in Safety Critical Applications (AW), pp. 193–198.
AdaEurope-1991-WillainBSV #ada #realtime: Real-Time Electronic Funds Transfer and Ada (JW, PB, JS, SvV), pp. 199–209.
SEI-1990-Scoy #ada #concept #re-engineering: Introduction of Software Engineering Concepts in an Ada-Based Introductory Computer Science Course (FLVS), pp. 67–76.
PLILP-1990-GroschS #ada: Inference-Based Overloading Resolution for ADA (FJG, GS), pp. 30–44.
ICSE-1990-Royce #ada #development #incremental #process #scalability: TRW’s Ada Process Model for Incremental Development of Large Software Systems (WR), pp. 2–11.
WAGA-1990-KellerM #ada: An OPTRAN-generated Front-End for Ada (PK, TM), pp. 266–283.
CC-1990-HartwigSS #ada #implementation #interface #specification: Specification and Implementation of a Tree-Abiding Interface for Ada (Extended Abstract) (MH, ES, RS), pp. 215–216.
SEI-1989-Page #ada #approach #case study #re-engineering: Holisitc Case Study Approach to Ada Based Software Engineering Training (RDP), pp. 109–123.
SEKE-1989-YangC #ada #concurrent #testing: Testing Concurrent Ada Program with Reproducible Test Cases (RDY, CGC), pp. 19–24.
ESEC-1989-AdamsWT #ada: Software Change Dynamics or Half of all Ada Compilations are Redundant (RA, AW, WFT), pp. 203–221.
ESEC-1989-MorascaP #ada #concurrent #execution #source code #symbolic computation #using #validation: Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.
ASPLOS-1989-Roos #ada #realtime: A Real-Time Support Processor for Ada Tasking (JR), pp. 162–171.
SIGMOD-1988-VinesK #ada #framework #named #object-oriented: Gaia: An Object-Oriented Framework for an Ada Environment (Extended Abstract) (DV, TK), p. 206.
SEI-1988-ChandhokG #ada: Ada Edu Project: Supporting the Use of Ada in Introductory Computer Science (RC, TAG), pp. 199–207.
PLDI-1988-SchwarzKL #ada #case study #design #experience: An Optimizer for Ada — Design, Experiences and Results (BS, WK, RL), pp. 175–184.
VDME-1988-ONeill #ada #development: VDM Development with ADA as the Target Language (DO), pp. 116–123.
ICSE-1988-EmbleyW #ada #data type #quality: Assessing the Quality of Abstract Data Types Written in Ada (DWE, SNW), pp. 144–153.
VDME-1987-ChedgeyKK #ada #development #object-oriented #using: Using VDM in an Object-Oriented Development Method for Ada Software (CC, SK, HJK), pp. 63–76.
VDME-1987-Pedersen: VDM in Three Generations of Ada* Formal Descriptions (JSP), pp. 33–48.
OOPSLA-1987-Seidewitz #ada #object-oriented #programming #smalltalk: Object-Oriented Programming in Smalltalk and ADA (ES), pp. 202–213.
ESEC-1987-CailletBR #ada #execution: High Level Interpretaton of Execution Traces of Ada Tasks (JFC, CB, BR), pp. 309–317.
ESEC-1987-CroweNCOJ #ada #development: A Software Development Environment for Ada (MKC, CN, MEC, JWO, DGJ), pp. 318–326.
ESEC-1987-FantechiGIM #ada: An Executon Environment for the Formal Definiton of Ada (AF, SG, PI, UM), pp. 327–335.
VLDB-1986-SpoonerKWSH #ada #component #framework #security: Framework for the Security Component of an Ada DBMS (DLS, AMK, GW, JS, DH), pp. 347–354.
GG-1986-Jackel #graph grammar: ADA-Concurrency specified by Graph Grammars (MJ), pp. 262–279.
CRAI-1986-Goodenough #ada #compilation #testing #theory and practice #validation: Ada Compiler Validation: An Example of Software Testing Theory and Practice (JBG), pp. 195–232.
CRAI-1986-LuckhamHMBH #ada #distributed #specification: Task Sequencing Languages for Specifying Distributed Ada Systems (DCL, DPH, SM, DLB, MAH), pp. 249–305.
CRAI-1986-Mitchell #ada #multi #programming: Engineering VAX Ada for a Multi-Language Programming Environment (CZM), pp. 30–47.
CRAI-1986-Stenning #ada #perspective: The Ada Environment — A Personal View (VS), pp. 48–61.
ICSE-1985-HattoriKW #ada #comparison #lisp #programming #prolog: A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI Areas (FH, KK, TW), pp. 285–291.
SCC-1984-Blower #ada #implementation #performance: An efficient implementation of visibility in Ada (MIB), pp. 259–265.
SCC-1984-Bray #ada: Sharing code among instances of Ada generics (GB), pp. 276–284.
ICSE-1984-ClemmensenO #ada #case study #compilation #development #specification: Formal Specification and Development of an Ada Compiler — A VDM Case Study (GBC, ONO), pp. 430–440.
ICSE-1984-DuncanHBCFKMMS #ada #communication #design #using: Communication System Design Using Ada (AGD, JSH, JWB, TMC, AF, EK, TM, DM, SBS), pp. 398–407.
ICSE-1984-Ramamritham #ada #semantics: Resource Controller Tasks in Ada: Their Structure and Semantics (KR), pp. 67–77.
ICSE-1984-TaylorS #ada #programming: Steps to an Advanced Ada Programming Environment (RNT, TAS), pp. 116–125.
SIGMOD-1983-ChanDFGRS #ada #bibliography #database #distributed: Overview of an Ada Compatible Distributed Database Manager (AC, UD, SF, NG, DRR, DS), pp. 228–237.
ICALP-1983-BakkerZ #ada #process #semantics: Processes and a Fair Semantics for the Ada Rendez-Vous (JWdB, JIZ), pp. 52–66.
Ada-1983-Briggs #ada #compilation #design: The Design of AIR and its Application to Ada Separate Compilation (JSB), pp. 60–75.
Ada-1983-GoodenoughP #ada #design #interface #testing: Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example (JBG, THP), pp. 104–114.
Ada-1983-Hall #ada #database #development #programming: Databases in Software Development: The Ada Programming Support Environment (JAH), pp. 115–132.
POPL-1983-Wegner #abstraction #ada #on the #unification: On the Unification of Data and Program Abstraction in Ada (PW), pp. 256–264.
SCC-1982-Baker #ada: A Single-Pass Syntax-Directed Front End for Ada (TPB), pp. 318–326.
SCC-1982-DrossopoulouUPGDW #ada #attribute grammar: An Attribute Grammar for Ada (SD, JSU, GP, GG, MD, GW), pp. 334–348.
ICALP-1982-Gerth #ada #axiom #hoare: A Sound and Complete Hoare Axiomatization of the Ada-Rendevous (RG), pp. 252–264.
ICSE-1982-BabichWW #ada #design #tool support: Design Considerations in Language Processing Tools for Ada (WAB, LW, MW), pp. 40–47.
ASPLOS-1982-PollackCHKLR #ada #memory management: Supporting Ada Memory Management in the iAPX-432 (FJP, GWC, DWH, KCK, KKL, JRR), pp. 117–131.
TFDA-1980-BjornerO #ada #compilation #development: The DDC Ada Compiler Development Project (DB, ONO), pp. 1–20.
TFDA-1980-BundgaardS #ada #semantics: A Denotational (Static) Semantics Method for Defining Ada Context Conditions (JB, LS), pp. 21–212.
TFDA-1980-Dommergaard #ada #design #virtual machine: The Design of a Virtual Machine for Ada (OD), pp. 435–606.
TFDA-1980-Lovengreen #ada #parallel: Parallelism in Ada (HHL), pp. 309–434.
TFDA-1980-Pedersen #ada #semantics: A Formal Semantics Definition of Sequential Ada (JSP), pp. 213–308.
SDCG-1980-Donzeau-GougeKL #ada #on the: On the formal definition of ADA (VDG, GK, BL), pp. 475–489.