Search Sciweavers | Sciweavers

3387 search results - page 48 / 678

» Model-Checking for Real-Time Systems

click to vote

RSP
2005
IEEE

108views Control Systems» more RSP 2005»

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

14 years 1 months ago

Download www.ece.neu.edu

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

claim paper

Read More »

click to vote

ECRTS
2002
IEEE

97views Embedded Systems» more ECRTS 2002»

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

14 years 17 days ago

Download www.hurray.isep.ipp.pt

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

claim paper

Read More »

click to vote

RTAS
2002
IEEE

96views Embedded Systems» more RTAS 2002»

Achieving Bounded and Predictable Recovery using Real-Time Logging

14 years 16 days ago

Download www.cs.virginia.edu

LihChyun Shu, John A. Stankovic, Sang Hyuk Son

claim paper

Read More »

click to vote

RTAS
2000
IEEE

107views Embedded Systems» more RTAS 2000»

Scheduling Distributed Real-Time Tasks in the DGMF Model

14 years 7 hour ago

Download www.arl.wustl.edu

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

claim paper

Read More »

click to vote

RTAS
2000
IEEE

105views Embedded Systems» more RTAS 2000»

Achieving Real-Time Communication over Ethernet with Adaptive Traffic Smoothing

14 years 7 hour ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers