Sciweavers

4007 search results - page 25 / 802
» Automotive Software Integration
Sort
View
JAR
2006
99views more  JAR 2006»
15 years 1 months ago
An Integrated Approach to High Integrity Software Verification
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderi...
93
Voted
SAFECOMP
2007
Springer
15 years 7 months ago
A Comparison of Partitioning Operating Systems for Integrated Systems
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulati...
Bernhard Leiner, Martin Schlager, Roman Obermaisse...
DATE
2009
IEEE
114views Hardware» more  DATE 2009»
15 years 8 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....
DATE
2008
IEEE
174views Hardware» more  DATE 2008»
15 years 8 months ago
Calibration of Integrated CMOS Hall Sensors Using Coil-on-Chip in ATE Environment
Due to high demand for hall sensors mostly in the automotive and industrial applications, development and manufacturing of hall sensors in System-on-Chip (SoC) became more importa...
Mustafa Badaroglu, Guy Decabooter, Francois Laulan...
HICSS
2003
IEEE
180views Biometrics» more  HICSS 2003»
15 years 7 months ago
A Case Study of Integrating Knowledge Management into the Supply Chain Management Process
To achieve success at supply chain management (SCM), an organization must possess--and share-knowledge about the different facets of the supply chain. Lack of information sharing ...
Nancy C. Shaw, Mary J. Meixell, Francis D. Tuggle