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.
2017
2017
Power system supplementary damping controllers in the presence of saturation
This paper presents the analysis and a method to design supplementary damping controllers (SDCs) for synchronous generators… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 6
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
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
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
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
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… Expand
  • figure 3.1
  • figure 3.2
  • figure 3.3
  • figure 4.1
  • figure 5.1
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
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
2004
2004
Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-Time Distributed Control Systems
Temporal behaviors prediction is very critical for real-time control systems. This paper presents a method to analysis the worst… Expand
  • table 1
  • table 2
  • figure 1
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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