767 search results - page 44 / 154 » Model-Based Development of Distributed Embedded Real-Time Sy... |
116
Voted
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
Real-time systems usually operate in an environment that changes continuously. These changes cause the performance of the system to vary during run time. An allocation of resource...
106
Voted
ARTS
1999
Springer
15 years 4 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
105
click to vote
ICCS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
127
click to vote
RTCSA
2003
IEEE
15 years 5 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
139
click to vote
DSRT
2005
IEEE
15 years 6 months ago
2005
IEEE
Understanding the characteristics of information flow in large scale real-time distributed virtual simulations (RT-DVS) is important for the development of network services that a...