3387 search results - page 595 / 678 » Model-Checking for Real-Time Systems |
MJ
2006
15 years 18 days ago
2006
The Hardware (HW)/Software (SW) partitioning/scheduling relies on two subtasks : the cost function and the real time (RT) analysis. Besides these two subtasks, the proposed generi...
104
Voted
IJCINI
2007
15 years 17 days ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
102
click to vote
TITS
2008
15 years 17 days ago
2008
A lane-detection system is an important component of many intelligent transportation systems. We present a robust lane-detection-and-tracking algorithm to deal with challenging sce...
122
Voted
JCP
2007
15 years 17 days ago
2007
—This paper describes an Internet-based laboratory, named Remote Monitored and Controlled Laboratory (RMCLab) developed at University of Patras, Greece, for electrical engineerin...
TROB
2008
15 years 16 days ago
2008
This paper describes a method for providing in real time a reliable synchronization signal for cyclical motions such as steady-state walking. The approach consists in estimating on...