Sciweavers

9210 search results - page 138 / 1842

» Analyzing Real-Time Systems

27

VR
1993
IEEE

111views Virtual Reality» more VR 1993»

Real Time Simulation of Stiff Dynamic Systems via Distributed Memory Parallel Processors

14 years 1 months ago

Real Time Simulation of Stiff Dynamic Systems via Distributed Memory Parallel Processors

Download www.mech.northwestern.edu

Michael C. Stanley, J. Edward Colgate

claim paper

Read More »

27

ICDCS
1992
IEEE

102views Distributed And Parallel Com...» more ICDCS 1992»

Sparse Time versus Dense Time in Distributed Real-Time Systems

14 years 1 months ago

Sparse Time versus Dense Time in Distributed Real-Time Systems

Download www.win.tue.nl

Hermann Kopetz

claim paper

Read More »

26

ICDCS
1992
IEEE

122views Distributed And Parallel Com...» more ICDCS 1992»

Replication Control for Distributed Real-Time Database Systems

14 years 1 months ago

Replication Control for Distributed Real-Time Database Systems

Download www.cs.virginia.edu

Sang Hyuk Son, Spiros Kouloumbis

claim paper

Read More »

25

UIST
1992
ACM

89views Software Engineering» more UIST 1992»

Transparency and Awareness in a Real-Time Groupware System

14 years 1 months ago

Transparency and Awareness in a Real-Time Groupware System

Download www-ihm.lri.fr

Michel Beaudouin-Lafon, Alain Karsenty

claim paper

Read More »

28

FSEN
2009
Springer

147views Software Engineering» more FSEN 2009»

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

14 years 1 months ago

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Download www.cs.aau.dk

This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...

Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane

claim paper

Read More »

« Prev « First page 138 / 1842 Last » Next »