• Main Navigation
  • Main Content
  • Sidebar
  • Register
  • Login

Scalable Computing: Practice and Experience SCPE

  • Editorial Team
  • Call for papers
  • Submissions
  • Current Issue
  • Archives
  • About
    • About the Journal
    • Journal Indexing
    • Contact
    • Steering committee
  1. Home
  2. Archives
  3. Vol. 1 No. 2 (1998)

Published: 1998-06-09

Editorial

Open Problems in the Distributed Control Systems Domain

Lonnie R. Welch

Introduction to the Special Issue

Engineering of Distributed Control Systems

Lonnie R. Welch, Dieter K. Hammer

Special Issue Papers

A Real-Time Java Server for Real-Time Mach

Akihiko Miyoshi, Takuro Kitayama, Hideyuki Tokuda

Use Cases for Distributed Real-time Software Architectures

Hassan Gomaa

Formal Design of Real-Time Systems in a Platform-Independent Way

Jozef Hooman, Onno van Roosmalen

Real-Time Scheduling in Video Systems

E. A. de Kock, Emile H. L. Aarts, G. Essink

Integrated Scheduling of Tasks and Messages in Distributed Real-Time Systems

G. Manimaran, Shashidhar Merugu, Anand Manikutty, C. Siva Ram Murthy

Automatic Effective Verification Method for Distributed and Concurrent Systems Using Timed Language Inclusion

Satoshi Yamane

Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems

R. Huuck, Y. Lakhnech, L. Urbina, S. Engell, S. Kowalewski, J. Preuig

Automatic Derivation of Path and Loop Annotations in Object-Oriented Real-Time Programs

Jan Gustafsson, Andreas Ermedahl

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Authors
  • For Librarians

ISSN

1895-1767

Social media

Published by:
 

More information about the publishing system, Platform and Workflow by OJS/PKP.