Search Sciweavers | Sciweavers

3387 search results - page 141 / 678

» Model-Checking for Real-Time Systems

156

click to vote

RTS
2002

111views more RTS 2002»

Robust Adaptive Metrics for Deadline Assignment in Distributed Hard Real-Time Systems

15 years 6 months ago

Download deepblue.lib.umich.edu

Distributed real-time applications usually consist of several component tasks and must be completed by its end-to-end (E-T-E) deadline. As long as the E-T-E deadline of an applicat...

Jan Jonsson, Kang G. Shin

claim paper

Read More »

127

click to vote

TOCHI
1998

63views more TOCHI 1998»

Achieving Convergence, Causality Preservation, and Intention Preservation in Real-Time Cooperative Editing Systems

15 years 6 months ago

Download www.cs.cityu.edu.hk

Chengzheng Sun, Xiaohua Jia, Yanchun Zhang, Yun Ya...

claim paper

Read More »

203

click to vote

TC
2002

107views Information Technology» more TC 2002»

Handling Execution Overruns in Hard Real-Time Control Systems

15 years 6 months ago

Download retis.sssup.it

Marco Caccamo, Giorgio C. Buttazzo, Lui Sha

claim paper

Read More »

162

click to vote

TC
2002

84views Information Technology» more TC 2002»

Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems

15 years 6 months ago

Download scholar.lib.vt.edu

Tamir Hegazy, Binoy Ravindran

claim paper

Read More »

151

click to vote

ICFEM
2010
Springer

163views Software Engineering» more ICFEM 2010»

Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers