Search Sciweavers | Sciweavers

3387 search results - page 48 / 678

» Model-Checking for Real-Time Systems

187

click to vote

RSP
2005
IEEE

108views Control Systems» more RSP 2005»

Enabling a Real-Time Solution for Neuron Detection with Reconfigurable Hardware

16 years 19 days ago

Download www.ece.neu.edu

Ben Cordes, Jennifer G. Dy, Miriam Leeser, James G...

claim paper

Read More »

130

click to vote

ECRTS
2002
IEEE

97views Embedded Systems» more ECRTS 2002»

Real-Time Communications over Hybrid Wired/Wireless PROFIBUS-based Networks

16 years 18 hour ago

Download www.hurray.isep.ipp.pt

Mário Alves, Eduardo Tovar, Francisco Vasqu...

claim paper

Read More »

135

click to vote

RTAS
2002
IEEE

96views Embedded Systems» more RTAS 2002»

Achieving Bounded and Predictable Recovery using Real-Time Logging

15 years 12 months ago

Download www.cs.virginia.edu

LihChyun Shu, John A. Stankovic, Sang Hyuk Son

claim paper

Read More »

155

click to vote

RTAS
2000
IEEE

107views Embedded Systems» more RTAS 2000»

Scheduling Distributed Real-Time Tasks in the DGMF Model

15 years 11 months ago

Download www.arl.wustl.edu

Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah

claim paper

Read More »

156

click to vote

RTAS
2000
IEEE

105views Embedded Systems» more RTAS 2000»

Achieving Real-Time Communication over Ethernet with Adaptive Traffic Smoothing

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers