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
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
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
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
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.
last updated on 2024-12-22 18:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: