default search action

combined dblp search
author search
venue search
publication search

ask others

Real-Time Systems, Volume 5

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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 5, Number 1, 1993

Special Issue: Real-Time Language and Language-Level Timing Tools and Analysis

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/rts/Stankovic93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Stankovic93
John A. Stankovic:
Introduction: Real-Time Language and Language-Level Timing Tools and Analysis. Real Time Syst. 5(1): 9-12 (1993)
- view
  authority control:
- export record
  dblp key:
  - journals/rts/NirkheP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/NirkheP93
Vivek Nirkhe, William W. Pugh:
A Partial Evaluator for the Maruti Hard Real-Time System. 13-30
- view
  authority control:
- export record
  dblp key:
  - journals/rts/Park93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Park93
Chang Yun Park:
Predicting Program Execution Times by Analyzing Static and Dynamic Program Paths. 31-62
- view
  authority control:
- export record
  dblp key:
  - journals/rts/WolfeDL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/WolfeDL93
Victor Fay Wolfe, Susan B. Davidson, Insup Lee:
RTC: Language Support for Real-Time Concurrency. 63-87
- view
  authority control:
- export record
  dblp key:
  - journals/rts/WangM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/WangM93
Chih-Kan Wang, Aloysius K. Mok:
Timing Analysis of MRL: A Real-Time Rule-Based System. 89-128

Volume 5, Number 2-3, 1993

Special Issue: Incremental Prototyping Technology for Embedded Real-Time Systems

- view
  authority control:
- export record
  dblp key:
  - journals/rts/Bologna93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Bologna93
Sandro Bologna:
Guest Introduction: The IPTES Project. 135-137
- view
  authority control:
- export record
  dblp key:
  - journals/rts/PulliE93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/PulliE93
Petri Pulli, René Elmstrøm:
IPTES: A Concurrent Engineering Approach for Real-Time Software Development. 139-152
- view
  authority control:
- export record
  dblp key:
  - journals/rts/LeonDPZA93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/LeonDPZA93
Gonzalo León, Juan C. Dueñas, Juan Antonio de la Puente, Nabil Zakhama, Alejandro Alonso:
The IPTES Environment: Support for Incremental Heterogeneous and Distributed Prototyping. 153-171
- view
  authority control:
- export record
  dblp key:
  - journals/rts/PulliHL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/PulliHL93
Petri Pulli, Marko Heikkinen, Raino Lintulampi:
Graphical Animation as a Form of Prototyping Real-Time Software Systems. 173-195
- view
  authority control:
- export record
  dblp key:
  - journals/rts/ElmstromLA93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/ElmstromLA93
René Elmstrøm, Poul Bøgh Lassen, Michael Andersen:
An Executable Subset of VDM-SL, in an SA/RT Framework. 197-211
- view
  authority control:
- export record
  dblp key:
  - journals/rts/PuenteALD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/PuenteALD93
Juan Antonio de la Puente, Alejandro Alonso, Gonzalo León, Juan C. Dueñas:
Distributed Execution of Specifications. 213-234
- view
  authority control:
- export record
  dblp key:
  - journals/rts/FelderGP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/FelderGP93
Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
High-Level Timed Petri Nets as a Kernel for Executable Specifications. 235-248
- view
  authority control:
- export record
  dblp key:
  - journals/rts/ElmstromLP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/ElmstromLP93
René Elmstrøm, Raino Lintulampi, Mauro Pezzè:
Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. 249-271

Volume 5, Number 4, 1993

- view
  authority control:
- export record
  dblp key:
  - journals/rts/BabaogluMS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/BabaogluMS93
Özalp Babaoglu, Keith Marzullo, Fred B. Schneider:
A Formalization of Priority Inversion. 285-303
- view
  authority control:
- export record
  dblp key:
  - journals/rts/DavidsonLW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/DavidsonLW93
Susan B. Davidson, Insup Lee, Victor Fay Wolfe:
Deadlock Prevention in Concurrent Real-Time Systems. 305-318
- view
  authority control:
- export record
  dblp key:
  - journals/rts/ZhangBN93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/ZhangBN93
N. Zhang, Alan Burns, Mark Nicholson:
Pipelined Processors and Worst Case Execution Times. 319-343
- view
  authority control:
- export record
  dblp key:
  - journals/rts/Wells93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Wells93
George Wells:
A Comparison of Four Microcomputer Operating Systems. 345-368

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.