Sciweavers

9210 search results - page 331 / 1842
» Analyzing Real-Time Systems
Sort
View
90
Voted
JSS
2010
126views more  JSS 2010»
15 years 1 months ago
Code analyzer for an online course management system
Jong Yih Kuo, Fu-Chu Huang
MLQ
2010
78views more  MLQ 2010»
15 years 1 months ago
Analyzing completeness of axiomatic functional systems for temporal × modal logics
Alfredo Burrieza, Inmaculada Perez de Guzmá...
RTCSA
2009
IEEE
15 years 10 months ago
Towards Real Multi-criticality Scheduling
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
Stefan M. Petters, Martin Lawitzky, Ryan Heffernan...