Sciweavers

15840 search results - page 301 / 3168
» The Control of Synchronous Systems
Sort
View
EI
2011
100views more  EI 2011»
14 years 3 months ago
A time-triggered object tracking subsystem for advanced driver assistance systems
— Multi-sensor object tracking is an important feature for advanced driver assistance systems in future automobiles. Most state-of-the-art systems cannot guarantee deterministic ...
Wilfried Elmenreich, M. Koplin
AAI
2006
103views more  AAI 2006»
15 years 4 months ago
A generic time management service for distributed multi-agent systems
Multi-agent systems are well suited for building large software systems. A great deal of these complex systems includes process flows that are concerned with time or are even time...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...
DAC
2008
ACM
16 years 5 months ago
Predictive runtime verification of multi-processor SoCs in SystemC
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
Alper Sen, Vinit Ogale, Magdy S. Abadir
127
Voted
HICSS
2007
IEEE
108views Biometrics» more  HICSS 2007»
15 years 10 months ago
Addressing IT Security for Critical Control Systems
— Control systems for critical infrastructures like national power grids make increasingly use of open technologies and protocols, and the Internet. In this environment, the risk...
Martin Naedele
EMSOFT
2004
Springer
15 years 9 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...