4385 search results - page 830 / 877 » Abstraction for Concurrent Objects |
RTSS
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—The functional consolidation induced by the costreduction trends in embedded systems can force tasks of different criticality (e.g. ABS Brakes with DVD) to share a proce...
ICRA
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— This paper presents ICS-AVOID, a collision avoidance scheme based upon the concept of Inevitable Collision State (ICS), ie a state for which, no matter what the future ...
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
INFOCOM
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—We are interested in the sensor networks for scientific applications to cover and measure statistics on the sea surface. Due to flows and waves, the sensor nodes may g...
INFOCOM
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—In transportation network research, the main approach for predicting traffic distribution due to noncooperative vehicle choices has been through fluid type models. The...