Search Sciweavers | Sciweavers

1715 search results - page 9 / 343

» Embedded Systems and Real-Time Programming

click to vote

RTCSA
1998
IEEE

142views Embedded Systems» more RTCSA 1998»

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

14 years 3 months ago

Download embedded.cs.ccu.edu.tw

Pao-Ann Hsiung, Farn Wang

claim paper

Read More »

click to vote

ECRTS
2009
IEEE

193views Embedded Systems» more ECRTS 2009»

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

13 years 8 months 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

14 years 3 months ago

Download rtlab.cs.nthu.edu.tw

Samarjit Chakraborty, Matthias Gries, Lothar Thiel...

claim paper

Read More »

click to vote

RTAS
2000
IEEE

86views Embedded Systems» more RTAS 2000»

SomeCast: A Paradigm for Real-Time Adaptive Reliable Multicast

14 years 3 months ago

Download www.cs.bu.edu

Jaehee Yoon, Azer Bestavros, Ibrahim Matta

claim paper

Read More »

click to vote

ECRTS
2010
IEEE

192views Embedded Systems» more ECRTS 2010»

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers