Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

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… Expand
  • figure 1
  • figure 3
  • figure 2
  • table 1
  • figure 4
Is this relevant?
2018
2018
Fault Localization by Comparing Memory Updates between Unit and Integration Testing of Automotive Software in an Hardware-in-the-Loop Environment
During the inspection stage, an integration test is performed on electronic automobile parts that have passed a unit test. The… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2015
2015
Feasibility Analysis of Engine Control Tasks under EDF Scheduling
Engine control applications include software tasks that are triggered at predetermined angular values of the crankshaft, thus… Expand
  • figure 1
  • table I
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
2015
2015
Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation
We propose a collaborative safety checking method for automotive operating systems.Collaborative checking improves effectiveness… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
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… Expand
Is this relevant?
2007
2007
An OSEK/VDX-based Multi-JVM for Automotive Appliances
The automotive industry has recent ambitions to integrate multiple applications from different micro controllers on a single… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Estimating Face orientation from Robust Detection of Salient Facial Structures
This paper addresses the problem of estimating face orientation from automatic detection of salient facial structures using… Expand
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2001
2001
OSEK/VDX Time-triggered Operating System Specification
 
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE