| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Distributed Task-Oriented Real-Time Programming System
|
Schrott, G.
|
|
1994
|
27 |
6 |
p. 163-166
4 p.
|
artikel
|
| 2 |
An Architecture of a Map Stack for Real Time Applications
|
Vijayananda, K.
|
|
1994
|
27 |
6 |
p. 1-7
7 p.
|
artikel
|
| 3 |
An Architecture Supporting Real-Time Programming and Implementations
|
Mostert, S.
|
|
1994
|
27 |
6 |
p. 145-150
6 p.
|
artikel
|
| 4 |
An Environment for Distributed Prototyping of Real Time Systems
|
Alonso, A.
|
|
1994
|
27 |
6 |
p. 21-26
6 p.
|
artikel
|
| 5 |
A Note on Hardware-Software Codesign
|
Tempelmeier, T.
|
|
1994
|
27 |
6 |
p. 121-126
6 p.
|
artikel
|
| 6 |
A Schedulability Algorithm for Data Flow, Hard-Real-Time Distributed Programs
|
Davoli, R.
|
|
1994
|
27 |
6 |
p. 39-43
5 p.
|
artikel
|
| 7 |
Author Index
|
|
|
1994
|
27 |
6 |
p. 187-
1 p.
|
artikel
|
| 8 |
BED: A Multithreaded Kernel for Embedded Systems
|
Burgess, P.
|
|
1994
|
27 |
6 |
p. 133-138
6 p.
|
artikel
|
| 9 |
Combined Sequential and Function-Oriented Programming for Real-Time Systems
|
Schweinzer, Herbert
|
|
1994
|
27 |
6 |
p. 181-185
5 p.
|
artikel
|
| 10 |
Concept for a Real-Time Structured Database Query Language (RT-SQL)
|
Fortier, Paul J.
|
|
1994
|
27 |
6 |
p. 167-174
8 p.
|
artikel
|
| 11 |
Conceptual Design Of An Architecture For Hard Real Time Computing
|
Meske, Hans-Peter
|
|
1994
|
27 |
6 |
p. 95-100
6 p.
|
artikel
|
| 12 |
Data Acquisition for Real-Time Process Control Systems
|
van der Laan, Marten D.
|
|
1994
|
27 |
6 |
p. 109-114
6 p.
|
artikel
|
| 13 |
Hierarchical Correctness Verification in Multiphase Real-Time Software Design
|
Szmuc, T.
|
|
1994
|
27 |
6 |
p. 87-94
8 p.
|
artikel
|
| 14 |
Hybrid Systems Modelling and Validating Using Statecharts and Grafcet
|
Boissier, R.
|
|
1994
|
27 |
6 |
p. 73-79
7 p.
|
artikel
|
| 15 |
Integrating Best Effort and Fixed Priority Scheduling
|
Audsley, N.C.
|
|
1994
|
27 |
6 |
p. 45-50
6 p.
|
artikel
|
| 16 |
Keyword Index
|
|
|
1994
|
27 |
6 |
p. 189-190
2 p.
|
artikel
|
| 17 |
Least-Space-Time-First Scheduling Algorithm: A Policy for Complex Real-Time Tasks in Multiple Processor Systems
|
Cheng, Bo-Chao
|
|
1994
|
27 |
6 |
p. 33-38
6 p.
|
artikel
|
| 18 |
Mapping Pearl's High-Level Real-Time Constructs to a C Run-Time Library Under Realtime Unix
|
Belschner, Ralf
|
|
1994
|
27 |
6 |
p. 151-156
6 p.
|
artikel
|
| 19 |
MMOSS: Soft Real-Time Operating System Support in a Multimedia Communication Subsystem
|
Fan, Changpeng
|
|
1994
|
27 |
6 |
p. 127-131
5 p.
|
artikel
|
| 20 |
Multiple-Goal Objective Functions For Optimization of Task Assignment in Complex Computer Systems
|
Marlowe, T.J.
|
|
1994
|
27 |
6 |
p. 55-60
6 p.
|
artikel
|
| 21 |
On Realtime Operating Systems: How to Compare Performance?
|
Maechtel, M.
|
|
1994
|
27 |
6 |
p. 139-144
6 p.
|
artikel
|
| 22 |
Performance Prototyping for a Real Time System With Qualitative Parameter Tuning Methods
|
Miki, M.
|
|
1994
|
27 |
6 |
p. 27-32
6 p.
|
artikel
|
| 23 |
Preface
|
Halang, Wolfgang A.
|
|
1994
|
27 |
6 |
p. v-
1 p.
|
artikel
|
| 24 |
Requirements for a Real-Time Image Processing Language 1
|
Laplante, P.
|
|
1994
|
27 |
6 |
p. 175-180
6 p.
|
artikel
|
| 25 |
Some Scheduling Experiments With Artie
|
Tol, Ronald M.
|
|
1994
|
27 |
6 |
p. 51-54
4 p.
|
artikel
|
| 26 |
Spatio-Temporal Constraints in Fieldbus: Requirements and Current Solutions
|
Decotignie, J.-D.
|
|
1994
|
27 |
6 |
p. 9-14
6 p.
|
artikel
|
| 27 |
Specification and Analysis of Timing Properties in a Case Tool Conrad
|
Kaldma, T.
|
|
1994
|
27 |
6 |
p. 67-72
6 p.
|
artikel
|
| 28 |
Synchronized UTC for Distributed Real-Time Systems
|
Schmid, U.
|
|
1994
|
27 |
6 |
p. 101-107
7 p.
|
artikel
|
| 29 |
Task-Configuration of a Pearl-Based Programmable Controller for Process-Automation
|
Thiele, G.
|
|
1994
|
27 |
6 |
p. 115-120
6 p.
|
artikel
|
| 30 |
Towards Recursive Block Diagrams
|
Caspi, P.
|
|
1994
|
27 |
6 |
p. 81-85
5 p.
|
artikel
|
| 31 |
Transport Protocol for Real-Time Multimedia Communication
|
Ng, Jim M.
|
|
1994
|
27 |
6 |
p. 15-20
6 p.
|
artikel
|
| 32 |
Two Proof Methods for The Grafcet Language
|
Le Parc, P.
|
|
1994
|
27 |
6 |
p. 61-65
5 p.
|
artikel
|
| 33 |
Visual Methods in Real-Time Programming
|
Hinchey, Michael G.
|
|
1994
|
27 |
6 |
p. 157-162
6 p.
|
artikel
|
| 34 |
Workshop Participants
|
|
|
1994
|
27 |
6 |
p. 191-192
2 p.
|
artikel
|
Tijdschrift beschrijving