Sciweavers

6 search results - page 1 / 2
» LC Oscillator Driver for Safety Critical Applications
Sort
View
DATE
2005
IEEE
110views Hardware» more  DATE 2005»
13 years 10 months ago
LC Oscillator Driver for Safety Critical Applications
A CMOS harmonic signal LC oscillator driver for automotive applications working in a harsh environment with high safety critical requirements is described. The driver can be used ...
Pavel Horsky
CAV
2008
Springer
160views Hardware» more  CAV 2008»
13 years 6 months ago
Scalable Shape Analysis for Systems Code
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano...
DATE
2009
IEEE
114views Hardware» more  DATE 2009»
13 years 11 months ago
Integration of an advanced emergency call subsystem into a car-gateway platform
— Several European research projects in the vehicular area address the enhancement of vehicular safety. In the frame of the Caring Cars project, an on-board car-gateway embedded ...
Natividad Martínez Madrid, Ralf Seepold, A....
COMCOM
2008
147views more  COMCOM 2008»
13 years 4 months ago
Vehicular Ad Hoc Networks: A New Challenge for Localization-Based Systems
A new kind of ad hoc network is hitting the streets: Vehicular Ad Hoc Networks (VANets). In these networks, vehicles communicate with each other and possibly with a roadside infra...
Azzedine Boukerche, Horacio A. B. F. de Oliveira, ...
RTSS
2008
IEEE
13 years 11 months ago
Merge-by-Wire: Algorithms and System Support
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...
Vipul Shingde, Gurulingesh Raravi, Ashish Gudhe, P...