Search Sciweavers | Sciweavers

20126 search results - page 250 / 4026

» Timed Transition Systems

137

click to vote

CSREAESA
2008

105views Embedded Systems» more CSREAESA 2008»

Achieving Industrial Strength Timing Predictions of Embedded System Behavior

15 years 6 months ago

Download www.mrtc.mdh.se

This paper discusses why the extensive scientific results on predicting embedded systems temporal behavior never, or very seldom, reaches the industrial community. We also point ou...

Mikael Nolin, Jukka Mäki-Turja, Kaj Hänn...

claim paper

Read More »

147

click to vote

RTCSA
2009
IEEE

202views Embedded Systems» more RTCSA 2009»

Supporting Sporadic Pipelined Tasks with Early-Releasing in Soft Real-Time Multiprocessor Systems

15 years 11 months ago

Download www.cs.unc.edu

Soft real-time sporadic multiprocessor task systems are considered that include processing pipelines. Conditions are presented for guaranteeing bounded deadline tardiness in such ...

Cong Liu, James H. Anderson

claim paper

Read More »

141

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

A Compositional Approach on Modal Specifications for Timed Systems

15 years 2 months ago

Download www.irisa.fr

Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...

Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...

claim paper

Read More »

121

click to vote

WORDS
2002
IEEE

102views Embedded Systems» more WORDS 2002»

Operating System Performance in Support of Real-Time Middleware

15 years 9 months ago

Download www.cs.wustl.edu

Douglas C. Schmidt, Mayur Deshpande, Carlos O'Ryan

claim paper