Search Sciweavers | Sciweavers

15840 search results - page 320 / 3168

» The Control of Synchronous Systems

154

click to vote

ICDCS
2010
IEEE

140views Distributed And Parallel Com...» more ICDCS 2010»

Fault-Containing Self-Stabilization in Asynchronous Systems with Constant Fault-Gap

15 years 2 months ago

Download www.ti5.tu-harburg.de

This paper presents a new transformation which adds fault-containment properties to any silent self-stabilizing protocol. The transformation features a constant slow-down factor a...

Sven Köhler, Volker Turau

claim paper

Read More »

166

click to vote

FCCM
2007
IEEE

101views VLSI» more FCCM 2007»

Mapping Real Time Operating System on Reconfigurable Instruction Cell Based Architectures

15 years 10 months ago

Download www.see.ed.ac.uk

This paper presents the porting of an RTOS Micro C/OS-II on a novel reconfigurable instruction cell based architecture which fills the gap between DSP, FPGA and ASIC with high per...

Han Wei, Mark Muir, Ioannis Nousias, Tughrul Arsla...

claim paper

Read More »

133

click to vote

FMCO
2003
Springer

145views Formal Methods» more FMCO 2003»

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling

15 years 9 months ago

Download www.cs.columbia.edu

Recently we proposed a mathematical framework oﬀering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...

Albert Benveniste, Benoît Caillaud, Luca P. ...

claim paper

Read More »

122

click to vote

SSS
2009
Springer

128views Control Systems» more SSS 2009»

Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization

15 years 11 months ago

Download www.public.asu.edu

Dominik Gall, Riko Jacob, Andréa W. Richa, ...

claim paper