Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings.
Latest Publications

TOTAL DOCUMENTS

54

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE

076952124x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Cost enforcement and deadline monitoring in the real-time specification for Java

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. ◽

10.1109/isorc.2004.1300332 ◽

2004 ◽

Author(s):

A. Wellings ◽

G. Bollella ◽

P. Dibble ◽

D. Holmes

Keyword(s):

Real Time ◽

Download Full-text

Memory models for the formal verification of assembler code using bounded model checking

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. ◽

10.1109/isorc.2004.1300338 ◽

2004 ◽

Author(s):

W. Ecker ◽

V. Esen ◽

T. Steininger ◽

M. Zambaldi

Keyword(s):

Model Checking ◽

Formal Verification ◽

Bounded Model Checking ◽

Memory Models ◽

Download Full-text

A hard look at hard real-time garbage collection

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. ◽

10.1109/isorc.2004.1300325 ◽

2004 ◽

Author(s):

D. Detlefs

Keyword(s):

Real Time ◽

Garbage Collection ◽

Download Full-text

Towards an implementation model for FB-based reconfigurable distributed control applications

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. ◽

10.1109/isorc.2004.1300345 ◽

2004 ◽

Author(s):

K. Thramboulidis ◽

G. Doukas ◽

A. Frantzis

Keyword(s):

Distributed Control ◽

Control Applications ◽

Implementation Model

Download Full-text

Modeling distributed embedded applications on an interface file system

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. ◽

10.1109/isorc.2004.1300343 ◽

2004 ◽

Author(s):

W. Elmenreich ◽

S. Pitzek ◽

M. Schlager

Keyword(s):

File System ◽

Embedded Applications

Download Full-text

Composition of component services

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. ◽

10.1109/isorc.2004.1300322 ◽

2004 ◽

Author(s):

H. Kopetz

Download Full-text

UML based design of time triggered systems

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. ◽

10.1109/isorc.2004.1300329 ◽

2004 ◽

Author(s):

I. Majzik ◽

G. Pinter ◽

P.T. Kovacs

Download Full-text

Autonomic distributed real-time systems: challenges and solutions

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. ◽

10.1109/isorc.2004.1300369 ◽

2004 ◽

Author(s):

F.J. Rammig

Keyword(s):

Real Time ◽

Real Time Systems ◽

Download Full-text

Modeling dependable systems: what can model driven development contribute and what likely not?

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. ◽

10.1109/isorc.2004.1300336 ◽

2004 ◽

Author(s):

T. Margaria

Keyword(s):

Model Driven Development ◽

Dependable Systems ◽

Download Full-text

Temporal feasibility verification of specification PEARL designs

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. ◽

10.1109/isorc.2004.1300365 ◽

2004 ◽

Author(s):

R. Gumzej ◽

M. Colnaric ◽

W.A. Halang

Download Full-text