Sciweavers

1086 search results - page 42 / 218
» Rapid Development of Real-Time Systems Using RTExpress
Sort
View
FM
1997
Springer
126views Formal Methods» more  FM 1997»
14 years 27 days ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein
ICCD
1992
IEEE
124views Hardware» more  ICCD 1992»
14 years 25 days ago
The ETCA Data-Flow Functional Computer for Real-Time Image Processing
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
Georges Quénot, Bertrand Zavidovique
DAGSTUHL
2003
13 years 10 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
RTSS
1998
IEEE
14 years 1 months ago
Real-Time Scheduling in a Generic Fault-Tolerant Architecture
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...
Andy J. Wellings, Ljerka Beus-Dukic, David Powell
ICPP
1998
IEEE
14 years 10 days ago
A Real-Time Communication Method for Wormhole Switching Networks
In this paper, we propose a real-time communication scheme that can be used in general point-to-point real-time multicomputer systems with wormhole switching. Real-time communicat...
Byungjae Kim, Jong Kim, Sung Je Hong, Sunggu Lee