Challenges: Automated design of networking protocols

Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM

Volumn , Issue , 2008, Pages 271-278

  Rodoplu, Volkan ^a   Aminzadeh Gohari, Amir ^a  

^a University of California   (United States)

Author keywords

Automation; Mac; Network protocol

Indexed keywords

ABSTRACT LEVELS; APPLICATION SPECIFICS; AUTOMATED DESIGNS; AUTOMATED GENERATIONS; CONTROL INFORMATIONS; DESIGN CHAINS; MAC; NETWORK PROTOCOL; NETWORKING PROTOCOLS; NEW APPLICATIONS; OPTIMAL PROTOCOLS; OPTIMIZATION PROGRAMS; PHYSICAL LAYERS; POOR PERFORMANCE; PROTOCOL CONTROLS; PROTOCOL DESIGNS; RAPID DESIGN CYCLES; RAPID DESIGNS; WAVE FORMS; WAVEFORM GENERATIONS;

AUTOMATION; CONCURRENCY CONTROL; DESIGN; INTERNET; MOBILE COMPUTING; NETWORK PROTOCOLS; OPTIMIZATION;

WIRELESS NETWORKS;

EID: 60149083257     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1409944.1409975     Document Type: Conference Paper

References (12)

1. D. Estrin, R. Govindan, J. Heidemann, and S. Kumar, "Next century challenges: scalable coordination in sensor networks," in Proc. of the 5th Annual ACM/IEEE international Conference on Mobile Computing and Networking(MobiCom'99), pp. 263-270, Aug. 1999.
2. K. Fall, "A delay-tolerant network architecture for challenged internets," in Proc. of the Conference on Applications, Technologies, Architectures, and Protocols For Computer Communications, pp. 27-34, Germany Aug. 2003.
3. M. D. Dikaiakos, S. Iqbal, T. Nadeem, and L. Iftode, "VITP: an information transfer protocol for vehicular computing." in Proc. of the 2nd ACM international workshop on Vehicular ad hoc networks(VANET'05), pp. 30-39, Sept. 2005.
4. O. Schofield, T. Bergmann, P. Bissett, J. F. Grassle, D. B. Haidvogel, J. Kohut, M. Moline, and S. M. Glenn, "The Long-term Ecosystem Observatory: an integrated coastal observatory," IEEE Journal of Oceanic Engineering, vol. 27, no. 2, pp. 146-154, Apr. 2002.
5. A. Mainwaring, D. Culler, J. Polastre, R. Szewczyk, and J. Anderson, "Wireless sensor networks for habitat monitoring," in Proc. of the 1st ACM International Workshop on Wireless Sensor Networks and Application(WSNA'02), pp. 88-97, Sept. 2002.
6. R.. E. Gonzalez, "Xtensa: A configurable and extensible processor," IEEE Micro Journal, vol. 20, no. 2, pp. 60-70, March/April 2000.
7. W. Ye, J. Heidemann, and D. Estrin, "An energy-efficient MAC Protocol for wireless sensor networks," in Proc. of the 21th International Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM 2002), vol. 3, pp. 1567-1576, Jun. 2002.
8. Y. Sigen, and R. S. Blum, "Optimized signaling for MIMO interference systems with feedback," IEEE Trans. on Signal Processing, vol. 51, no. 11, pp. 2839-2848, Nov. 2003.
9. V. Rodoplu, A. Aminzadeh Gohari, and W. Tang, "Towards Automated Design of MAG Protocols for Underwater Wireless Networks," in Proc. of the 3rd A CM International Workshop on Underwater Networks (WUWNET'08), Sept. 2008.
10. N. Een and N. Sörensson. "MiniSat: A SAT solver with conflict-clause minimization,", in Proc. of SAT '05 available at http://minisat.se
11. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik, "Chaff: Engineering an efficient SAT solver," in Proc. of 38th Design Automation Conference, pp. 530-535, 2001.
12. M. Chiang, S. H. Low, A. R. Calderbank, and J. C. Doyle, "Layering as optimization decomposition: A mathematical theory of network architectures," in Proceedings of IEEE, vol. 95, no. 1, pp. 255-312, 2007.