Volume 19,
Number 1,
1995
- Marcin Paprzycki, Janusz Zalewski:
Parallel and Distributed Real-Time Systems: Introduction to the Special Issue.
- Charles McKay, Colin Atkinson:
Supporting the Evolution of Distributed, Non-stop, Mission and Safety Critical Systems.
- Jan van Katwijk, Hans Toetenel:
Loose Specification of Real Time Systems.
- Jyhjong Lin, David Chenho Kung, Pei Hsia:
An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems.
Matjaz Colnaric,
Domen Verber,
Wolfgang A. Halang:
Supporting High Integrity and Behavioural Predictability of Hard Real-Time Systems. 0-
- Guohui Yu, Lonnie R. Welch:
A Novel Approach to Off-line Scheduling in Real-Time Systems.
- Sadegh Davari, Sudarshan K. Dhall:
On-line Algorithms for Allocating Periodic-time-critical Tasks on Multiprocessor Systems.
- Kayhan Erciyes, Öznur Özkasap, Nilgun Aktas:
A Semi-Distributed Load Balancing Model for Parallel Real-time Systems.
- Zbigniew M. Wójcik, Barbara E. Wójcik:
Optimal Algorithm for Real-Time Fault Tolerant Distributed Processing Using Checkpoints.
- Bonaventure Tchouaffe, Janusz Zalewski:
Fully Deterministic Real-Time Protocol for a CSMA/CD Type Local Area Network.
- Anton P. Zeleznikar:
Principles of a Formal Axiomatic Structure of the Informational.
Volume 19,
Number 2,
1995
Volume 19,
Number 3,
1995
- Jie Wu, Kejun Yao:
Reliability Optimization of Concurrent Software with Redundancy.
- Xiaozhong Li, Shuo Bai, Zemin Liu:
An Algorithm for Self-Learning and Self-Completing Fuzzy Control Rules.
- Jiann-Fu Lin, Sao-Jie Chen:
Performance Bounds on Scheduling Parallel Tasks with Setup Time on Hypercube Systems.
- Mengchi Liu:
HLO: A Higher-Order Deductive Object-Oriented Database Language.
- Jiri Slechta:
On the Balance of the Informational Exchange, Its Flow, and Fractional Revealing Large Informational Quanta, in the 'Hot' Living Systems (T<0).
- Anton P. Zeleznikar:
Elements of metamathematical and informational calculus.
- Ryszard Wasniowski:
Nonlinear Adaptive Prediction Algorithm and Its Parallel Implementation.
- Zbigniew M. Wójcik, Barbara E. Wójcik:
Termination Conditions for Parallel Shape Recognition.
- Lars Bendix:
Fundamental Tasks in Software Development Environments.
- Mirko Malekovic:
A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules.
Volume 19,
Number 4,
1995
Mind vs. Computer
Copyright © Sat Nov 28 22:30:16 2009
by Michael Ley (ley@uni-trier.de)
