4434 search results - page 169 / 887 » On the Composition of Hybrid Systems |
178
click to vote
AMC
2006
15 years 6 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 ...
176
click to vote
ISLPED
2010
ACM
15 years 6 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...
149
click to vote
ISCAS
2005
IEEE
16 years 1 days 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...
164
click to vote
LCTRTS
1995
Springer
15 years 10 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...
173
click to vote
MASCOTS
1997
15 years 7 months ago
1997
We describe a method for performance analysis of large software systems that combines a fast instruction-set simulator with off-line detailed analysis of segments of the execution...