Sciweavers

3387 search results - page 48 / 678
» Model-Checking for Real-Time Systems
Sort
View
RSP
2005
IEEE
108views Control Systems» more  RSP 2005»
15 years 11 months ago
Enabling a Real-Time Solution for Neuron Detection with Reconfigurable Hardware
Ben Cordes, Jennifer G. Dy, Miriam Leeser, James G...
ECRTS
2002
IEEE
15 years 11 months ago
Real-Time Communications over Hybrid Wired/Wireless PROFIBUS-based Networks
Mário Alves, Eduardo Tovar, Francisco Vasqu...
RTAS
2002
IEEE
15 years 11 months ago
Achieving Bounded and Predictable Recovery using Real-Time Logging
LihChyun Shu, John A. Stankovic, Sang Hyuk Son
RTAS
2000
IEEE
15 years 10 months ago
Scheduling Distributed Real-Time Tasks in the DGMF Model
Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah