156 search results - page 24 / 32 » Formal Analysis for Debugging and Performance Optimization o... |
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—While there has been much progress in designing backpressure based stabilizing algorithms for multihop wireless networks, end-to-end performance (e.g., end-to-end buffer usage) ...
ATAL
2004
Springer
14 years 29 days ago
2004
Springer
In a cooperative multi-agent system that is situated in an evolving environment, agents need to dynamically adjust their negotiation attitudes towards different agents in order to...
MSWIM
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Today’s wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...