Sciweavers

112 search results - page 23 / 23
» Distributing the control of a temporal network among multipl...
Sort
View
FM
2005
Springer
156views Formal Methods» more  FM 2005»
13 years 10 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
ARTCOM
2009
IEEE
13 years 11 months ago
Load Balancing in Multi ECU Configuration
—Electronic Control Units (ECUs) are nowadays employed in automotives for discharging various functionalities within the vehicle. It has become the fundamental building block of ...
Rajeshwari Hegde, K. S. Gurumurthy