3820 search results - page 561 / 764 » Bounded Model Debugging |
110
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based...
113
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...
110
click to vote
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
— Atmospheric turbulence induced fading is one of the main impairments affecting free–space optics (FSO). In recent years, Gamma–Gamma fading has become the dominant fading m...
131
click to vote
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we characterize the performance of an important class of scheduling schemes, called Greedy Maximal Scheduling (GMS), for multi-hop wireless networks. While a lower ...
127
click to vote
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...