3820 search results - page 457 / 764 » Bounded Model Debugging |
171
click to vote
WIOPT
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Delay-reliability (D-R), and throughput-delayreliability (T-D-R) tradeoffs in an ad hoc network are derived for single hop and multi-hop transmission with automatic repe...
156
click to vote
COLT
2010
Springer
15 years 1 months ago
2010
Springer
We consider the problem of planning in a stochastic and discounted environment with a limited numerical budget. More precisely, we investigate strategies exploring the set of poss...
207
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
148
click to vote
ICC
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we study the fundamental properties of broadcasting in multi-hop wireless networks. Previous studies have shown that, as long as broadcast capacity is concerned, asy...
119
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...