121–140 of 202 hits
Sort by:
Sort by:
-
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
CORBA & DSA: Divorce or Marriage?
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
Translating Time Petri Net Structures into Ada 95 Statements
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
Fault Tolerance by Transparent Replication for Distributed Ada 95
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
Implementing a New Low-Level Tasking Support for the GNAT Runtime System
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
Acceptance Testing of Object Oriented Systems
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
Ada Binding to a Shared Object Layer
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
A Case Study in the Reuse of On-board Embedded Real-Time Software
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
The Ceiling Protocol in Multi-moded Real-Time Systems
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
An Application (Layer 7) Routing Switch with Ada95 Software
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
An Ada95 Solution for Certification of Embedded Safety Critical Applications
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
An Architectural Perspective of Real-Time Ada Applications
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
Enhancements in Software Project Risk Management
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
GtkAda: Design and Implementation of a High Level Binding in Ada
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
Ada after 10 Years of Usage - Is There a Commercial Future?
British Library Conference Proceedings | 2000|Keywords: Ada-Europe -
An Ada95 Implementation of a Network Coordination Language with Code Mobility
British Library Conference Proceedings | 1999|Keywords: Ada-Europe -
Efficient and Extensible Multithreaded Remote Servers
British Library Conference Proceedings | 1999|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.