5149 search results - page 170 / 1030 » Timed Asynchronous Distributed Systems |
122
click to vote
ISORC
2006
IEEE
15 years 9 months ago
2006
IEEE
Embedded real-time systems are becoming increasingly complex due to ever increasing size and functionality so that complexity management is of growing importance, especially in de...
122
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes an approach to carry out performance analysis on systems which combine two major characteristics: real-time behaviour and parallel computational structure. It ...
150
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
— Program code size is a critical factor in determining the manufacturing cost of many embedded systems, particularly those aimed at the extremely costconscious consumer market. ...
102
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
125
click to vote
ARTS
1999
Springer
15 years 7 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...