Search Sciweavers | Sciweavers

3387 search results - page 17 / 678

» Model-Checking for Real-Time Systems

117

Voted

RTCSA
1998
IEEE

142views Embedded Systems» more RTCSA 1998»

A State Graph Manipulator Tool for Real-Time System Specification and Verification

15 years 6 months ago

Download embedded.cs.ccu.edu.tw

Pao-Ann Hsiung, Farn Wang

claim paper

Read More »

click to vote

RTSS
1987
IEEE

68views Control Systems» more RTSS 1987»

Corset and Lace: Adapting Ada Runtime Support to Real-Time Systems

15 years 6 months ago

Download www.cs.unc.edu

Theodore P. Baker, Kevin Jeffay

claim paper

Read More »

140

click to vote

ECRTS
2009
IEEE

193views Embedded Systems» more ECRTS 2009»

Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems

15 years 12 days ago

Download www.cs.york.ac.uk

Fengxiang Zhang, Alan Burns

claim paper

Read More »

click to vote

RTAS
2002
IEEE

98views Embedded Systems» more RTAS 2002»

Supporting a Low Delay Best-Effort Class in the Presence of Real-Time Traffic

15 years 7 months ago

Download rtlab.cs.nthu.edu.tw

Samarjit Chakraborty, Matthias Gries, Lothar Thiel...

claim paper

Read More »

Voted

RTAS
2000
IEEE

86views Embedded Systems» more RTAS 2000»

SomeCast: A Paradigm for Real-Time Adaptive Reliable Multicast

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers