3387 search results - page 10 / 678 » Model-Checking for Real-Time Systems |
ENTCS
2002
13 years 7 months ago
2002
RTSS
2003
IEEE
14 years 22 days ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...
MACH
1990
13 years 8 months ago
1990
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
Data broadcast is an efficient information delivery model that can deliver information to a large population simultaneously. In this paper, we propose two efficient algorithms to ...
RTAS
2002
IEEE
14 years 12 days ago
2002
IEEE
This paper provides two contributions to the study of programming languages and middleware for real-time and embedded applications. First, we present the empirical results from ap...