6701 search results - page 352 / 1341 » Medical Embedded Systems |
163
click to vote
EEF
2000
15 years 10 months ago
2000
Markovian models have been used for about a century now for the evaluation of the performance and dependability of computer and communication systems. In this paper, we give a conc...
211
Voted
SIES
2007
IEEE
16 years 1 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 ...
188
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
137
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
194
click to vote
RSP
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper, we propose the novel concept of probabilistic design for multimedia systems and a methodology to quickly explore such design space at an early design stage. The pro...