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
Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation
The IoT is a networked system of physical devices controlled by embedded software whose validity is a pre-requisite to ensuring… 
2011
2011
OSEK/VDX-based gateway for car black box
The gateway for car blackbox translates signal from car ECU to other devices. This paper presents a reliable gateway for car… 
2011
2011
Safety Analysis of Trampoline OS Using Model Checking: An Experience Report
Model checking is an effective technique used to identify subtle problems in software safety. Its comprehensive search method on… 
2010
2010
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the… 
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… 
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… 
2006
2006
Efficient EDF Implementation for Small Embedded Systems
Modern embedded systems are often required to execute under stringent real-time constraints to satisfy high performance… 
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… 
Review
1998
Review
1998
On the Way to An International Standard for Automotive Applications-Osek/Vdx
This paper presents an overview of the OSEK/VDK project, a French- German project designed to create specifications for… 
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)