Search Sciweavers | Sciweavers

854 search results - page 7 / 171

» Timing coverification of concurrent embedded real-time syste...

104

click to vote

ECRTS
2009
IEEE

190views Embedded Systems» more ECRTS 2009»

Supporting Pipelines in Soft Real-Time Multiprocessor Systems

14 years 7 months ago

Download www.cs.unc.edu

In work on multiprocessor real-time systems, processing pipelines have received little attention. In this paper, soft real-time periodic task systems are considered that include s...

Cong Liu, James H. Anderson

claim paper

Read More »

click to vote

RTCSA
1999
IEEE

138views Embedded Systems» more RTCSA 1999»

EMERALDS: A Small-Memory Real-Time Microkernel

15 years 1 months ago

Download www.cs.berkeley.edu

EMERALDS (Extensible Microkernel for Embedded, ReALtime, Distributed Systems) is a real-time microkernel designed for small-memory embedded applications. These applications must r...

K. Shin

claim paper

Read More »

click to vote

RTCSA
1998
IEEE

142views Embedded Systems» more RTCSA 1998»

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

15 years 1 months ago

Download embedded.cs.ccu.edu.tw

Pao-Ann Hsiung, Farn Wang

claim paper

Read More »