7429 search results - page 323 / 1486 » Embedded System Update |
181
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
161
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...
207
click to vote
SIES
2007
IEEE
16 years 28 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 ...
178
click to vote
USENIX
1990
15 years 7 months ago
1990
As we approach nation-wide integration of computer systems, it is clear that le replication will play a key role, both to improve data availability in the face of failures, and to...
184
click to vote
IPPS
2007
IEEE
16 years 29 days 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 ...