Sciweavers

3387 search results - page 139 / 678
» Model-Checking for Real-Time Systems
Sort
View
JISE
2006
86views more  JISE 2006»
15 years 6 months ago
Bounding DMA Interference on Hard-Real-Time Embedded Systems
Tai-Yi Huang, Chih-Chieh Chou, Po-Yuan Chen
IEICET
2007
67views more  IEICET 2007»
15 years 6 months ago
Latency-Aware Bus Arbitration for Real-Time Embedded Systems
Minje Jun, Kwanhu Bang, Hyuk-Jun Lee, Eui-Young Ch...
JCP
2007
76views more  JCP 2007»
15 years 6 months ago
Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System
Jens Steiner, Matthias Hagner, Ursula Goltz
DT
2002
90views more  DT 2002»
15 years 6 months ago
A Hardware-Software Real-Time Operating System Framework for SoCs
Vincent John Mooney III, Douglas M. Blough