403 search results - page 3 / 81 » Dynamic guarantee in component-based distributed real-time s... |
94
Voted
IPPS
2000
IEEE
15 years 1 months ago
2000
IEEE
Dynamic, distributed, real-time systems control an environment that varies widely without any time-invariant statistical or deterministic characteristic, are spread across multiple...
110
click to vote
DATE
1999
IEEE
15 years 1 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
The phenomenal growth of the world-wide web has made it the most popular Internet application today. Web caching and content distribution services have been recognized as valuable...
100
Voted
ISORC
1999
IEEE
15 years 1 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
99
Voted
ISORC
2005
IEEE
15 years 3 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...