1463 search results - page 156 / 293 » Performance Model for Speculative Simulation using Predictiv... |
143
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper addresses the problem of coverage control of a network of mobile sensors. In the current literature, this is commonly formulated as a locational optimization problem...
141
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...
128
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
142
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
— Random access protocols, such as Aloha, are commonly modeled in wireless ad-hoc networks by using the protocol model. However, it is well-known that the protocol model is not a...
156
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—We consider a scenario in which users share an access point and are mainly interested in VoIP applications. Each user is allowed to adapt to varying network conditions by choosi...