Search for Author All Reviews
	Govindan, Ramesh     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Deriving state machines from TinyOS programs using symbolic execution Kothari N., Millstein T., Govindan R.  IPSN 2008 (Proceedings of the 7th International Conference on Information Processing in Sensor Networks, St. Louis, Missouri, Apr 22-24, 2008) 271-282, 2008.  Type: Proceedings Kothari et al. present FSMGen, a tool for automatically inferring and finding finite state machines (FSMs) for a TinyOS application or system component, by analyzing the nesC code in which the application or component was written. The ...... Jan 28 2009     Flexible routing and addressing for a next generation IP Francis P., Govindan R. ACM SIGCOMM Computer Communication Review 24(4): 116-125, 1994.  Type: Article The Internet Protocol (IP) is rapidly reaching the end of its useful life as a global internetwork protocol. Fundamentally, the IP address space is too small to indefinitely satisfy current Internet growth rates. A related problem with...... Apr 1 1996     A file system for continuous media Anderson D., Osawa Y., Govindan R. ACM Transactions on Computer Systems 10(4): 311-337, 1992.  Type: Article The data rate needed for digital audio or compressed video is on the order of one megabit per second, well within available disk transfer rates of 10 megabits per second. Conventional filesystems do not sustain a 1 megabit per second d...... Aug 1 1993
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy