Sciweavers

15155 search results - page 35 / 3031
» System Software
Sort
View
PSSE
2004
Springer
15 years 7 months ago
Real-Time and Fault-Tolerant Systems
Zhiming Liu, Mathai Joseph
101
Voted
VMCAI
2004
Springer
15 years 7 months ago
Checking Interval Based Properties for Reactive Systems
Pei Yu, Qiwen Xu
COMPSAC
2003
IEEE
15 years 7 months ago
Device State Recovery in Non-volatile Main Memory Systems
Ren Ohmura, Nobuyuki Yamasaki, Yuichiro Anzai