4693 search results - page 166 / 939 » Verifying Hybrid Systems |
142
Voted
MCS
2006
Springer
15 years 5 months ago
2006
Springer
156
click to vote
AMC
2006
15 years 5 months ago
2006
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
151
click to vote
ISLPED
2010
ACM
15 years 5 months ago
2010
ACM
Energy consumption and the associated environmental impact are a pressing challenge faced by the transportation sector. Emerging electric-drive vehicles have shown promises for su...
126
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
— Stereo video systems require double bandwidth and more than twice computational complexity relative to monovideo systems. Thus, An efficient coding scheme is necessary for tra...
140
click to vote
LCTRTS
1995
Springer
15 years 8 months ago
1995
Springer
In this paper, we present a preemptive joint scheduling of hard deadline periodic and hard deadline aperiodic tasks on a uniprocessor real-time system. The scheduling has extended...