37 search results - page 1 / 8 » sies 2007 |
162
Voted
SIES
2007
IEEE
16 years 19 days 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...
197
Voted
SIES
2007
IEEE
16 years 19 days 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 ...
169
Voted
SIES
2007
IEEE
16 years 19 days 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...
183
Voted
SIES
2007
IEEE
16 years 19 days 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...