1287 search results - page 146 / 258 » Reduction of Timed Hybrid Systems |
124
click to vote
TIT
2008
15 years 4 months ago
2008
Abstract--This letter considers the average complexity of maximum-likelihood (ML) decoding of convolutional codes. ML decoding can be modeled as finding the most probable path take...
129
click to vote
HVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
155
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
When human-multiagent teams act in real-time uncertain domains, adjustable autonomy (dynamic transferring of decisions between human and agents) raises three key challenges. First...
147
click to vote
MOBIHOC
2000
ACM
15 years 8 months ago
2000
ACM
ln the future, wireless networking will be embedded into a wide variety of common, everyday objects [1]. In many embedded networking situations, the communicating nodes will be ver...
139
click to vote
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...