Search Sciweavers | Sciweavers

6308 search results - page 13 / 1262

» Modeling Urgency in Timed Systems

click to vote

PRDC
2006
IEEE

96views Applied Computing» more PRDC 2006»

Leader Election in the Timed Finite Average Response Time Model

14 years 1 months ago

Download wwwse.inf.tu-dresden.de

The ﬁnite average response time model is a very weak distributed systems model: it permits runs with unbounded transmission and processing delays and it does not bound the relat...

Christof Fetzer, Martin Süßkraut

claim paper

Read More »

click to vote

HYBRID
2004
Springer

115views Control Systems» more HYBRID 2004»

Almost ASAP Semantics: From Timed Models to Timed Implementations

14 years 23 days ago

Download www.ulb.ac.be

In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...

Martin De Wulf, Laurent Doyen, Jean-Françoi...

claim paper

Read More »

click to vote

ICPADS
1998
IEEE

106views Distributed And Parallel Com...» more ICPADS 1998»

The XBW Model for Dependable Real-Time Systems

13 years 11 months ago

Download www.ece.mtu.edu

This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...

Vilgot Claesson, Stefan Poledna, Jan Söderber...

claim paper

Read More »

click to vote

RTSS
2000
IEEE

135views Control Systems» more RTSS 2000»

Modeling Complex Flows for Worst-Case Execution Time Analysis

13 years 11 months ago