Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,732,003 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
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
Yunja Choi
IEEE International Conference on Software…
2018
Corpus ID: 49299737
The IoT is a networked system of physical devices controlled by embedded software whose validity is a pre-requisite to ensuring…
Expand
2011
2011
OSEK/VDX-based gateway for car black box
Eunryung Lee
,
Jung Wook Lee
,
Jeongho Son
IEEE International Conference on Consumer…
2011
Corpus ID: 32674551
The gateway for car blackbox translates signal from car ECU to other devices. This paper presents a reliable gateway for car…
Expand
2011
2011
Safety Analysis of Trampoline OS Using Model Checking: An Experience Report
Yunja Choi
IEEE International Symposium on Software…
2011
Corpus ID: 11164983
Model checking is an effective technique used to identify subtle problems in software safety. Its comprehensive search method on…
Expand
2010
2010
Automatic Generation of Model Checking Scripts Based on Environment Modeling
K. Yatake
,
Toshiaki Aoki
SPIN
2010
Corpus ID: 14093023
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the…
Expand
2009
2009
OSEK/VDX-Based Dynamic Network Management on Automotive Network
Cheng Wei
,
Min Yao
,
Pan Lu
,
Qi Hu
,
Nenggan Zheng
International Conference on Embedded Software and…
2009
Corpus ID: 7462579
The rapid growth in complexity of the automotive ECU (Electronic Control Unit) networks has posed challenges in real-time network…
Expand
2008
2008
An application-based EDF scheduler for OSEK/VDX
C. Diederichs
,
Ulrich Margull
,
F. Slomka
,
G. Wirrer
Design, Automation and Test in Europe
2008
Corpus ID: 11788556
Earliest deadline first scheduling performs processor utilization up to 100 percent and improved robustness in overload…
Expand
Review
2007
Review
2007
Adequacy between AUTOSAR OS specification and real-time scheduling theory
P. Hladik
,
A. Déplanche
,
Sébastien Faucou
,
Y. Trinquet
International Symposium on Industrial Embedded…
2007
Corpus ID: 14460267
AUTOSAR (AUTOmotive Open System ARchitecture) consortium is a development partnership between the main actors of the automotive…
Expand
2006
2006
Efficient EDF Implementation for Small Embedded Systems
G. Buttazzo
,
Paolo Gai
2006
Corpus ID: 17454626
Modern embedded systems are often required to execute under stringent real-time constraints to satisfy high performance…
Expand
Review
2001
Review
2001
Programming in the OSEK/VDX Environment
Joseph Lemieux
2001
Corpus ID: 62014257
Introduction Part 1: Operating System Chapter 1: Implementations Chapter 2: Starting and Ending Chapter 3: Development Support…
Expand
Review
1998
Review
1998
On the Way to An International Standard for Automotive Applications-Osek/Vdx
U. Kiencke
,
D. John
1998
Corpus ID: 109693288
This paper presents an overview of the OSEK/VDK project, a French- German project designed to create specifications for…
Expand
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)
ACCEPT & CONTINUE