


default search action
4th RTS 1992: Athens, Greece
- Fourth Euromicro workshop on Real-Time Systems, RTS 1992, Athens, Greece, June 3-5, 1992, Proceedings. IEEE 1992, ISBN 0-8186-2815-4

Hardware Architectures for Embedded Systems
- Xi Chen, Chi-Kwong Li, Tsun-Ping J. To:

Pipelined embedding via dual-hypercubes for real time computing. 2-9 - David Blair Kirk:

An enhanced snoopy cache design for real-time multi-processing. 10-14 - Spiridon Nikolaidis

, John Mourjopoulos, Constantinos E. Goutis:
A processor for time-varying digital audio filters with special transition properties. 15-20 - Lennart Lindh:

FASTHARD - A Fast Time Deterministic HARDware Based Real-time Kernel. 21-25
Transputers and their Applications
- Sergio Cesare Brofferio, D. Comunale, L. Mori, Vittorio Rampa

:
A programmable video coder based on transputers. 28-32 - Wiek Vervoort:

Simulation and implementation of clock synchronisation in transputer networks. 33-37 - Carol C. Williams Hulls, William J. Wilson:

Design of a real-time computer system for relative position robot control. 38-43
Languages and Operating Systems
- M. Gobin, M. Timmerman, Frank Gielen:

Ada gets groomed for the whole spectrum of real-time duties. 48-53 - Hiromitsu Shirakawa, Eiji Okubo:

When object-oriented operating system is time critical. 54-59 - Charles André, Marie-Agnès Peraldi:

Synchronous programming of a real-time microcontroller. 60-65
Communication Systems for Real-Time Control
- Ewald von Puttkamer, Christopher Wetzler, Uwe R. Zimmer:

Albatross - The communication scheme as a key to fulfil hard real-time constraints. 68-73 - Bing Lam Luk

, Arthur A. Collie, John Billingsley
, T. White, N. Bevan:
Real Time Software Control System For The NERO Wall Climbing Robot. 74-78 - Gonzalo León, Juan C. Dueñas, Juan Antonio de la Puente

, Alejandro Alonso
:
Real time object communication protocol for incremental and distributed prototyping. 79-84
Time Process Algebras
- Jozef Hooman:

A compositional method for the top-down design of real-time systems. 86-91 - Hans A. Hansson:

Time and probabilities in specification and verification of real-time systems. 92-97 - Faron Moller

, Chris M. N. Tofts:
An overview of TCCS. 98-103 - Chris Ho-Stuart, Ming Fang, Hussein S. M. Zedan:

Let's PARTY: Process Algebra With Real-time From York. 104-109
Real-Time Logics and Refinement
- Jifeng He, Jonathan P. Bowen

:
Time interval semantics and implementation of a real-time programming language. 110-115 - Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou:

Specification Of Embedded, Real-time Systems. 116-121 - David Scholefield, Hussein S. M. Zedan:

The refinement of real-time systems. 122-127
Languages
- Paul Mukherjee, Victoria Stavridou:

Newthink - An Orwellian specification language for real-time safety critical systems. 128-133
Modelling and Temporal Analysis
- Kari Systä, Reino Kurki-Suonio:

Modeling of distributed real-time systems in DisCo. 136-141 - Giorgio Bruno, Andrea Castella:

Software models for real-time systems. 142-147 - Neil C. Audsley, Alan Burns, Mike F. Richardson, Andrew J. Wellings:

Absolute and relative temporal constraints in hard real-time databases. 148-153
Monitoring and Performance Issues
- Olivier Pasquier, Jean Paul Calvez:

A behavior analyzer for real-time and multiprocessor applications. 156-161 - Janusz Sosnowski

, J. Parlinski:
On-line monitoring of real-time systems. 162-167 - Petri Pulli, Marko Salmela:

Color-based visualisation of hard real-time prototyping. 168-170
Expert Systems and Databases
- Sang Hyuk Son, Juhnyoung Lee:

A New Approach To Real-time Transaction. 177-182
Scheduling
- Klaus Gresser, Herbert Thielen:

Deadline scheduling in fault tolerant real time systems. 184-189 - Yingfeng Oh, Sang Hyuk Son:

An algorithm for real-time fault-tolerant scheduling in multiprocessor systems. 190-195 - Barbara Korousic-Seljak, Jim E. Cooling, Peter Kolbezen:

Predictable hard real-time scheduling. 196-201 - Horst F. Wedde, Mengdai Hu:

Scheduling critical and sensitiue tasks with remote requests in mission-critical systems. 202-207

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














