Skip to search formSkip to main contentSkip to account menu

VDX (library software)

Known as: VDX, Virtual Document Exchange 
VDX (standing for Virtual Document eXchange) is a software product for interlibrary loan (ILL) and document request management. VDX was developed by… 
Wikipedia (opens in a new tab)

Related topics

Related topics

1 relation
Library

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
OS-Aware Automotive Controller Design Using Non-Uniform Sampling
Automotive functionalities typically consist of a large set of periodic/cyclic tasks scheduled under a real-time operating system… 
2015
2015
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications
OSEK/VDX, a standard of automobile OS, has been widely adopted by many manufacturers to design and develop a vehicle-mounted OS… 
2012
2012
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling
This paper presents a model-checking experiment for a design model of a practical real-time operating system (RTOS) based on… 
2009
2009
OSEK/VDX-Based Dynamic Network Management on Automotive Network
The rapid growth in complexity of the automotive ECU (Electronic Control Unit) networks has posed challenges in real-time network… 
2008
2008
An application-based EDF scheduler for OSEK/VDX
Earliest deadline first scheduling performs processor utilization up to 100 percent and improved robustness in overload… 
Highly Cited
2007
Highly Cited
2007
Formal verification of multitasking applications based on timed automata model
Abstract The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant… 
Review
2007
Review
2007
Adequacy between AUTOSAR OS specification and real-time scheduling theory
AUTOSAR (AUTOmotive Open System ARchitecture) consortium is a development partnership between the main actors of the automotive… 
Highly Cited
2006
Highly Cited
2006
Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification
This paper introduces an OSEK/VDX operating system implementation. OSEK/VDX is an industry standard for real-time operating… 
Review
2001
Review
2001
Programming in the OSEK/VDX Environment
Introduction Part 1: Operating System Chapter 1: Implementations Chapter 2: Starting and Ending Chapter 3: Development Support… 
Highly Cited
1999
Highly Cited
1999
System design: traditional concepts and new paradigms
Recent advances in system design are presented. The shift towards flexible hardware architectures that can support a variety of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)