37 search results - page 1 / 8 » sies 2007 |
SIES
2007
IEEE
13 years 10 months ago
2007
IEEE
SIES
2007
IEEE
13 years 10 months ago
2007
IEEE
— In this paper we present an architecture for a test and diagnosis toolset for FlexRay-based automotive distributed networks. Next to data monitoring and recording, this toolset...
SIES
2007
IEEE
13 years 10 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
SIES
2007
IEEE
13 years 10 months ago
2007
IEEE
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...
SIES
2007
IEEE
13 years 10 months ago
2007
IEEE
— We consider several object sharing synchronization mechanisms including lock-based, lock-free, and wait-free sharing for LNREF [1], an optimal real-time scheduling algorithm on...