9210 search results - page 103 / 1842 » Analyzing Real-Time Systems |
123
Voted
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...
124
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
134
Voted
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
129
Voted
CAPTECH
1998
Springer
15 years 6 months ago
1998
Springer
An authoring system is proposed to construct panoramic images of real-world scenes from video clips automatically. Instead of using special hardware such as fish-eye lens, our meth...
151
Voted
SAFECOMP
1998
Springer
15 years 6 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...