7988 search results - page 1059 / 1598 » A Useful Undecidable Theory |
171
click to vote
GLOBECOM
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Available network information is an important factor in determining network performance. In this paper, we study the basic limits on the amount of network information th...
189
click to vote
GLOBECOM
2009
IEEE
16 years 2 months ago
2009
IEEE
— We propose and analyze a novel decentralized mechanism that motivates otherwise non-cooperative stations to participate as relays in cooperative ARQ protocol. Cooperation incen...
169
click to vote
ICC
2009
IEEE
16 years 2 months ago
2009
IEEE
—We consider data networks in which real-time/near real-time applications require not only successful transmission of packets from source to destination, but also specific end-to...
214
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
223
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
CPU utilization control has recently been demonstrated to be an effective way of meeting end-to-end deadlines for distributed real-time systems running in unpredictable environmen...