default search action

combined dblp search
author search
venue search
publication search

ask others

Real-Time Systems, Volume 10

> Home > Journals > Real-Time Systems

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 10, Number 1, January 1996

- view
  authority control:
- export record
  dblp key:
  - journals/rts/AttouiS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/AttouiS96
Ammar Attoui, Michel Schneider:
A Formal Approach to the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic. 5-22
- view
  authority control:
- export record
  dblp key:
  - journals/rts/TiaLS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/TiaLS96
Too-Seng Tia, Jane W.-S. Liu, Mallikarjun Shankar:
Algorithms and Optimality of Scheduling Soft Aperiodic Requests in Fixed-Priority Preemptive Systems. 23-43
- view
  authority control:
- export record
  dblp key:
  - journals/rts/Verissimo96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Verissimo96
Paulo Veríssimo:
Causal Delivery Protocols in Real-time Systems: A Generic Model. 45-73
- view
  authority control:
- export record
  dblp key:
  - journals/rts/MalcolmKZ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/MalcolmKZ96
Nicholas Malcolm, Sanjay Kamat, Wei Zhao:
Real-Time Communication in FDDI Networks. 75-107

Volume 10, Number 2, March 1996

- view
  authority control:
- export record
  dblp key:
  - journals/rts/ChatterjeeS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/ChatterjeeS96
Saurav Chatterjee, Jay K. Strosnider:
Quantitative Analysis of Hardware Support for Real-Time Operating Systems. 123-142
- view
  authority control:
- export record
  dblp key:
  - journals/rts/ArmstrongB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/ArmstrongB96
James Armstrong, Leonor Barroca:
Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example. 143-178
- view
  authority control:
- export record
  dblp key:
  - journals/rts/SpuriB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/SpuriB96
Marco Spuri, Giorgio C. Buttazzo:
Scheduling Aperiodic Tasks in Dynamic Priority Systems. 179-210

Volume 10, Number 3, May 1996

- view
  authority control:
- export record
  dblp key:
  - journals/rts/AndreP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/AndreP96
Charles André, Marie-Agnès Peraldi:
Predictability of a RTX2000-based Implementation. 223-244
- view
  authority control:
- export record
  dblp key:
  - journals/rts/BaldoniMR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/BaldoniMR96
Roberto Baldoni, Achour Mostéfaoui, Michel Raynal:
Causal Delivery of Messages with Real-Time Data in Unreliable Networks. 245-262
- view
  authority control:
- export record
  dblp key:
  - journals/rts/Delacroix96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Delacroix96
J. Delacroix:
Towards a Stable Earliest Deadline Scheduling Algorithm. 263-291
- view
  authority control:
- export record
  dblp key:
  - journals/rts/ChenM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/ChenM96
Ken Chen, Paul Mühlethaler:
A Scheduling Algorithm for Tasks Described by Time Value Function. 293-312

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.