Search Sciweavers | Sciweavers

15840 search results - page 288 / 3168

» The Control of Synchronous Systems

102

click to vote

RTSS
1996
IEEE

85views Control Systems» more RTSS 1996»

A proportional share resource allocation algorithm for real-time, time-shared systems

15 years 8 months ago

Download www.cs.unc.edu

Ion Stoica, Hussein M. Abdel-Wahab, Kevin Jeffay, ...

claim paper

Read More »

119

click to vote

RTSS
1994
IEEE

85views Control Systems» more RTSS 1994»

Computing Quantitative Characteristics of Finite-State Real-Time Systems

15 years 8 months ago

Download www.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

147

click to vote

HYBRID
1995
Springer

150views Control Systems» more HYBRID 1995»

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems

15 years 7 months ago

Download www.brics.dk

Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...

claim paper

Read More »

102

click to vote

RTSS
1995
IEEE

131views Control Systems» more RTSS 1995»

The Design of Large Real-Time Systems: The Time-Triggered Approach

15 years 7 months ago

Download www.vmars.tuwien.ac.at

Hermann Kopetz, Martin Braun, Christian Ebner, And...

claim paper

Read More »

134

click to vote

HYBRID
2010
Springer

119views Control Systems» more HYBRID 2010»

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers