81–100 of 202 hits
Sort by:
Sort by:
-
Non-intrusive System Level Fault-Tolerance
British Library Conference Proceedings | 2005|Keywords: Ada-Europe -
MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
Modern Avionics Requirements for the Distributed Systems Annex
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Mixing Scheduling Policies in Ada
British Library Conference Proceedings | 2004|Keywords: Ada-Europe -
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
Measuring the Odds of Statements Being Faulty
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Mapping Object-Oriented Designs to Ada
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries
British Library Conference Proceedings | 1996|Keywords: Ada-Europe -
Looking at Code With Your Safety Goggles On
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Lessons Learned and Easily Forgotten
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Lady Ada Mediates Peace Treaty in Endianness War
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
Iterative Software Development for Large Ada Programs
British Library Conference Proceedings | 1996|Keywords: Ada-Europe -
Interprocedural Symbolic Evaluation of Ada Programs with Aliases
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
Interprocedural Call Optimization
British Library Conference Proceedings | 1996|Keywords: Ada-Europe -
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks
British Library Conference Proceedings | 2005|Keywords: Ada-Europe
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.