Year of publication
Type of media
Source
Type of material
Licence
Language
1–20 of 125 hits
Sort by:
Sort by:
-
Incorporating Operating Modes to an Ada Real-Time Framework
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Providing Additional Real-Time Capability and Flexibility for Ada 2005
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Multiprocessor Systems: Session Summary
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Temporal Isolation with the Ravenscar Profile and Ada 2005
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Support for a real-time transactional model in distributed Ada
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Towards a Ravenscar Extension for Multi-Processor Systems
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Realtime Paradigms Needed Post Ada 2005
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Execution-time control for interrupt handling
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Language Vulnerabilities - Let's not forget Concurrency
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Execution time monitoring and interrupt handlers, Position statement
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Language and Distribution Issues: Session Summary
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Ada and cc-NUMA Architectures: What can be achieved with Ada 2005?
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
User-Defined Clocks Is it the right time now?
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Papers of the 14th International Real-Time Ada Workshop (IRTAW-14) Introduction
British Library Conference Proceedings | 2010Keywords: Real-time Ada -
Generalizing the EDF Scheduling Support in Ada 2005
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Supporting Execution on Multiprocessor Platforms
British Library Conference Proceedings | 2010|Keywords: Real-time Ada -
Building High-Integrity Distributed Systems with Ravenscar Restrictions
British Library Conference Proceedings | 2008|Keywords: Real-time ada -
Correcting the EDF protocol in Ada 2005
British Library Conference Proceedings | 2008|Keywords: Real-time ada
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.