51–100 of 202 hits
Sort by:
Sort by:
-
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
PINROB: A Portable API for Industrial Robots
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Rigorous Development of Fault-Tolerant Systems through Co-refinement
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Object Oriented Abstractions for Real-Time Distributed Systems
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
How to Avoid the Inheritance Anomaly in Ada
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Ada+B The Formula for Safety Critical Software Development
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Looking at Code With Your Safety Goggles On
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Quality-for-ASIS: A Portable Testing Facility for ASIS
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Inside the Distributed Systems Annex
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Ada in the JAS 39 Gripen Flight Control System
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Programming Hard Real-Time Systems with Optional Components in Ada
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Building Modular Communication Systems in Ada: The Simple_Com Approach
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
A Case Study in Quantitative Evaluation of Real-Time Software Architectures
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
A Two-Level Matching Mechanism for Object-Oriented Class Libraries
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Ten Years of Tool Based Ada Compiler Validations. An Experience Report
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Guidance on the Use of Ada95 in High Integrity Systems
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Synchronizing Multiple Clients and Servers
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Automating the Ada Binding Process for Java - How Far Can We Go?
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Porting the GNAT Tasking Runtime System to the Java Virtual Machine
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Modern Avionics Requirements for the Distributed Systems Annex
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Ada 95 for a Distributed Simulation System
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Symbolic Reaching Definitions Analysis of Ada Programs
British Library Conference Proceedings | 1998|Keywords: Ada-Europe -
Lady Ada Mediates Peace Treaty in Endianness War
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Tasklettes - A Fine Grained Parallelism for Ada on Multicores
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Experience with the Integration of Distribution Middleware into Partitioned Systems
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Provably Secure DNS: A Case Study in Reliable Software
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Towards a Time-Composable Operating System
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
A Model-Based Framework for Developing Real-Time Safety Ada Systems
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Measuring the Odds of Statements Being Faulty
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
A SPARK/Ada CubeSat Control Program
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Exceptions in OO Languages: Using Them and Reasoning about Them
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
An Open Ravenscar Real-Time Kernel for GNAT
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
Support of Technology Development in the Information Society
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
Results of an Investigation into Software Integration Testing Automation
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
Generation of Interface Design Description Documents Using ASIS
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
Reengineering the Booch Component Library
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
Static Worst-Case Execution Time Analysis of Synchronous Programs
British Library Conference Proceedings | 2000|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.