Next century challenges: scalable coordination in sensor networks
MobiCom '99 Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
Wireless sensor networks for habitat monitoring
WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
A delay-tolerant network architecture for challenged internets
Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications
VITP: an information transfer protocol for vehicular computing
Proceedings of the 2nd ACM international workshop on Vehicular ad hoc networks
Towards automated design of MAC protocols for underwater wireless networks
Proceedings of the third ACM international workshop on Underwater Networks
Optimized signaling for MIMO interference systems with feedback
IEEE Transactions on Signal Processing
Towards automated design of MAC protocols for underwater wireless networks
Proceedings of the third ACM international workshop on Underwater Networks
MAC protocol engine for sensor networks
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
| Hi-index | 0.00 |
This paper establishes a framework for the automated generation of networking protocols. The need for the rapid design of networking protocols in application-specific contexts has increased dramatically over the past five years. Each new application requires high performance in its own domain, as well as a rapid design cycle. Further, changes in physical layer technology quickly render previously high-performance protocols poor performance. Currently, there are no tools to automate the design of networking protocols. This paper addresses the challenge of building such tools. It proposes a methodology and a design chain for the automated generation of networking protocols, with the following novel ideas: (1) Formulation of the network protocol problem such that the exchange of protocol control information can be specified as part of the optimization program, (2) Optimal waveform generation, which specifies the optimal exchange of both control information and data, (3) Protocol Extraction: The extraction of the optimal protocol as a minimal description of the optimal waveforms. This methodology has the potential to dramatically change the future of networking protocol design by moving protocol design to a more abstract level, finding high-performance protocols not easily discovered by human intuition, and reducing the currently long protocol design cycles.