{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,15]],"date-time":"2026-02-15T15:13:24Z","timestamp":1771168404676,"version":"3.50.1"},"reference-count":59,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,8,1]],"date-time":"2005-08-01T00:00:00Z","timestamp":1122854400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2005,8]]},"DOI":"10.1007\/s11036-005-1567-8","type":"journal-article","created":{"date-parts":[[2005,6,27]],"date-time":"2005-06-27T15:05:23Z","timestamp":1119884723000},"page":"563-579","source":"Crossref","is-referenced-by-count":213,"title":["MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms"],"prefix":"10.1007","volume":"10","author":[{"given":"Shah","family":"Bhatti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Carlson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Deng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Rose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anmol","family":"Sheth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Shucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Gruenwald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Torgerson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1567_CR1","doi-asserted-by":"crossref","unstructured":"H. Abrach, S. Bhatti, J. Carlson, H. Dai, J. Rose, A. Sheth, B. Shucker, J. Deng and R. Han, \u201cMANTIS: System Support for MultimodAl NeTworks of In-situ Sensors, in: 2nd ACM International Workshop on Wireless Sensor Networks and Applications (WSNA) (2003) pp. 50\u201359.","DOI":"10.1145\/941350.941358"},{"key":"1567_CR2","unstructured":"A. Adya, J. Howell, M. Theimer, W.J. Bolosky and J.R. Douceur, Cooperative Task Management Without Manual Stack Management, in: Proceedings of the 2002 Usenix ATC, (June 2002)."},{"key":"1567_CR3","doi-asserted-by":"crossref","unstructured":"I.F. Akyildiz, W. Su, Y. Sankarasubramaniam and E. Cayirci, A Survey on Sensor Networks, IEEE Communications Magazine, (August 2002).","DOI":"10.1109\/MCOM.2002.1024422"},{"key":"1567_CR4","doi-asserted-by":"crossref","unstructured":"D. Albonesi, R. Balasubramonian, S. Dropsho, S. Dwarkadas, E. Friedman, M. Huang, V. Kursun, G. Magklis, M. Scott, G. Semeraro, P. Bose, A. Buyuktosunoglu, P. Cook, and S. Shuster, Dynamically Tuning Processor resources with Adaptive processing, IEEE Computer (December 2003) 49\u201358.","DOI":"10.1109\/MC.2003.1250883"},{"key":"1567_CR5","unstructured":"Atmel AVR 8-bit RISC processor, http:\/\/www.atmel.com\/products\/AVR"},{"key":"1567_CR6","unstructured":"AVRX Real-Time Multitasking Kernel for the Atmel AVR series of micro controllers, http:\/\/www.barello.net\/avrx\/index.htm ."},{"key":"1567_CR7","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BF02243872","volume":"50","author":"A. Bookstein","year":"1993","unstructured":"A. Bookstein and S.T. Klein, Is Huffman coding dead?. Computing 50 (1993) 279\u2013296.","journal-title":"Computing"},{"key":"1567_CR8","doi-asserted-by":"crossref","unstructured":"J. Carlson, R. Han, S. Lao, C. Narayan and S. Sanghani, Rapid Prototyping Of Mobile Input Devices Using Wireless Sensor Nodes, in: 5th IEEE Workshop On Mobile Computing Systems and Applications (WMCSA) (2003).","DOI":"10.1109\/MCSA.2003.1240764"},{"key":"1567_CR9","doi-asserted-by":"crossref","unstructured":"J.D. Case, M. Fedor, M.L. Schostall and C. Davin, RFC 1157: Simple network management protocol (SNMP). RFC, IETF, (May 1990).","DOI":"10.17487\/rfc1157"},{"key":"1567_CR10","unstructured":"Crossbow, http:\/\/www.xbow.com\/ ."},{"key":"1567_CR11","unstructured":"Crossbow motes, http:\/\/www.xbow.com ."},{"issue":"1","key":"1567_CR12","first-page":"125","volume":"8","author":"H. Dai","year":"January 2004","unstructured":"H. Dai and R. Han, TSync: A Lightweight Bidirectional Time Synchronization Service for Wireless Sensor Networks, ACM SIGMOBILE Mobile Computing and Communications Review, Special Issue on Wireless PAN and Sensor Networks 8(1) (January 2004) pp. 125\u2013139.","journal-title":"Special Issue on Wireless PAN and Sensor Networks"},{"key":"1567_CR13","unstructured":"B. Deb, S. Bhatnagar and B. Nath, A Topology Discovery Algorithm for Sensor Networks with Applications to Network Management, DCS Technical Report DCS-TR-441, Rutgers University (May 2001)."},{"key":"1567_CR14","unstructured":"J. Deng, R. Han and S. Mishra, A Performance Evaluation of Intrusion-Tolerant Routing in Wireless Sensor Networks, IEEE 2nd International Workshop on Information Processing in Sensor Networks (IPSN \u201803), (2003), Palo Alto, California, pp. 349\u2013364."},{"key":"1567_CR15","unstructured":"J. Elson and D. Estrin, Time Synchronization for Wireless Sensor Networks, International Parallel and Distributed Processing Symposium (IPDPS), Workshop on Wireless and Mobile Computing, (April 2001)."},{"key":"1567_CR16","unstructured":"J. Elson and K. Rmer, Wireless Sensor Networks: A New Regime for Time Synchronization, in: proceedings of the First Workshop on Hot Topics In Networks (HotNets-I), Princeton, New Jersey, October 28\u201329 (2002)."},{"key":"1567_CR17","doi-asserted-by":"crossref","unstructured":"J. Elson, L. Girod and D. Estrin, Fine-Grained Network Time Synchronization using Reference Broadcasts, in OSDI 2002, Boston, MA. (December 2002).","DOI":"10.1145\/1060289.1060304"},{"key":"1567_CR18","unstructured":"J. Elson, S. Bien, N. Busek, V. Bychkovskiy, A. Cerpa, D. Ganesan, L. Girod, B. Greenstein, T. Schoellhammer, T. Stathopoulos and D. Estrin, EmStar: An Environment for Developing Wireless Embedded Systems Software, CENS Technical Report 0009, (March 24) 2003."},{"key":"1567_CR19","unstructured":"D. Ely, S. Savage, and D. Wetherall, Alpine: A User-level Infrastructure For Network Protocol Development,\u201d in: Proc. 3rd USENIX Symposium on Internet Technologies and Systems (March 2001) pp. 171\u2013183."},{"key":"1567_CR20","doi-asserted-by":"crossref","unstructured":"D.R. Engler, M. Frans Kaashoek and J. O\u2019Toole Jr., Exokernel: An Operating System Architecture for Application-level Resource Management, Symposium on Operating Systems Principles (SOSP), (December 1995) 251\u2013266.","DOI":"10.1145\/224056.224076"},{"key":"1567_CR21","unstructured":"S. Ganeriwal, R. Kumar, S. Adlakha and M. Srivastava, Network-wide Time Synchronization in Sensor Networks, Technical report, UCLA, Dept of Electrical Engineering (2002)."},{"key":"1567_CR22","unstructured":"L. Girod, J. Elson, A. Cerpa, T. Stathopoulos, N. Ramanathan and D. Estrin, EmStar: A Software Environment for Developing and Deploying Wireless Sensor Networks, to appear in the Proceedings of USENIX 04."},{"key":"1567_CR23","unstructured":"D. Grunwald, C.B. Morrey III, P. Levis, M. Neufeld and K. Farkas, Policies for Dynamic Clock Scheduling, Operating Systems Design and Implementation (2000)."},{"issue":"4","key":"1567_CR24","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.917534","volume":"34","author":"W. Hamburgen","year":"April 2001","unstructured":"W. Hamburgen, D. Wallach, M. Viredaz, L. Brakmo, C. Waldspurger, J. Bartlett, T. Mann and K. Farkas, Itsy: Stretching the Bounds of Mobile Computing, IEEE Computer 34(4) (April 2001) 28\u201336.","journal-title":"IEEE Computer"},{"key":"1567_CR25","doi-asserted-by":"crossref","unstructured":"J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler and K. Pister, System Architecture Directions for Networked Sensors. in: Proceedings of Ninth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), (November 2000).","DOI":"10.1145\/378993.379006"},{"key":"1567_CR26","unstructured":"C. Intanagonwiwat, R. Govindan and D. Estrin, Directed Diffusion, ACM MobiCom (2000) pp. 56\u201367."},{"key":"1567_CR27","unstructured":"H.K. Jerry Chu, Zero-Copy TCP in Solaris, in: Proceedings of the USENIX 1996 Annual Technical Conference, San Diego, California (January 1996)."},{"key":"1567_CR28","doi-asserted-by":"crossref","unstructured":"P. Juang, H. Oki, Y. Wang, M. Martonosi, L. Peh and D. Rubenstein, Energy-efficient Computing For Wildlife Tracking: Design Tradeoffs and Early Experiences With Zebranet, In ASPLOS, San Jose, CA, (October 2002).","DOI":"10.1145\/605397.605408"},{"issue":"4","key":"1567_CR29","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MSPEC.2004.1279193","volume":"41","author":"J. Kumagi","year":"April 2004","unstructured":"J. Kumagi, The Secret Life of Birds, IEEE Spectrum 41(4) (April 2004) 42\u201349.","journal-title":"IEEE Spectrum"},{"key":"1567_CR30","unstructured":"J. Labrosse, MicroC\/OS-II: The Real-Time Kernel, 2nd edition, CMP Books, (November 1998)."},{"key":"1567_CR31","unstructured":"H.C. Lauer and R.M. Needham, On the Duality of Operating System Structures, in Second International Symposium on Operating Systems, IR1A (October 1978)."},{"key":"1567_CR32","doi-asserted-by":"crossref","unstructured":"J. Larus and M. Parkes, Using Cohort Scheduling to Enhance Server Performance, Technical Report MSR-TR-2001-39, Microsoft Research, (March 2001).","DOI":"10.1145\/384198.384222"},{"key":"1567_CR33","unstructured":"P. Levis and N. Lee, Simulating Tinyos Networks. http:\/\/www.cs.berkeley.edu\/pal\/research\/tossim.html ."},{"key":"1567_CR34","doi-asserted-by":"crossref","unstructured":"P. Levis and D. Culler Mate, A Virtual Machine for Tiny Networked Sensors, ASPLOS, (Oct. 2002).","DOI":"10.1145\/605397.605407"},{"key":"1567_CR35","doi-asserted-by":"crossref","unstructured":"M. Leopold, M.B. Dydensborg and P. Bonnet, Bluetooth and Sensor Networks: A Reality Check. 1st ACM conference on Sensor Systems, (Sensys\u201903) LA, CA, (November 2003).","DOI":"10.1145\/958491.958504"},{"key":"1567_CR36","doi-asserted-by":"crossref","unstructured":"C. Lefurgy, K. Rajamani, F. Rawson, W. Felter, M. Kistler and T. Weller, Energy Management for Commercial Servers, IEEE Computer, (December 2003) pp. 39\u201348.","DOI":"10.1109\/MC.2003.1250880"},{"key":"1567_CR37","doi-asserted-by":"crossref","unstructured":"J. Luo and N.K. Jha, Battery-Aware Static Scheduling for Distributed Real Time Embedded Systems, in: Proc. 38th Design Automation Conference, ACM Press, (2001) pp. 444\u2013449.","DOI":"10.1145\/378239.378553"},{"key":"1567_CR38","unstructured":"A. Mainwaring, J. Polastre, R. Szewczyk D. Culler and J. Anderson, Wireless Sensor Networks for Habitat Monitoring, First ACM Workshop on Wireless Sensor Networks and Applications (WSNA) (2002) pp. 88\u201397."},{"key":"1567_CR39","doi-asserted-by":"crossref","unstructured":"F. Martin, B. Mikhak and B. Silverman, MetaCricket: A Designer\u2019s Kit For Making Computational Devices, IBM Systems Journal 39(3\/4) (2000).","DOI":"10.1147\/sj.393.0795"},{"key":"1567_CR40","doi-asserted-by":"crossref","unstructured":"F. Martin, B. Mikhak and B. Silverman, MetaCricket: A designer\u2019s kit for making computational devices, IBM Systems Journal 39(3\/4) 2000.","DOI":"10.1147\/sj.393.0795"},{"key":"1567_CR41","doi-asserted-by":"crossref","unstructured":"R. Min, M. Bhardwaj, S. Cho et al., An Architecture for a Power-Aware Distributed Microsensor Node, in: IEEE Workshop on Signal Proc. Systems (Oct 2000) pp. 581590.","DOI":"10.1109\/SIPS.2000.886756"},{"key":"1567_CR42","unstructured":"Ning Xu, Implementation of Data Compression and FFT on TinyOS, Embedded Networks Laboratory, Computer Science Dept. USC. Los Angeles, http:\/\/enl.usc.edu\/~ningxu\/papers\/lzfft.pdf ."},{"key":"1567_CR43","unstructured":"J.K. Ousterhout, Why Threads Are A Bad Idea (for most purposes), Presentation given at the 1996 Usenix Annual Technical Conference, (January 1996)."},{"key":"1567_CR44","doi-asserted-by":"crossref","unstructured":"S. Park, A. Savvides and M.B. Srivastava, SensorSim: A Simulation Framework for Sensor Networks, in: the Proceedings of MSWiM 2000, Boston, MA, August 11 (2000).","DOI":"10.1145\/346855.346870"},{"key":"1567_CR45","doi-asserted-by":"crossref","unstructured":"L.F. Perrone and D.M. Nicol, A Scalable Simulator for TinyOS Applications, Winter Simulation Conference, (2002).","DOI":"10.1109\/WSC.2002.1172947"},{"key":"1567_CR46","unstructured":"Portable Operating System Interface(POSIX)\u2014Part 1: System Application Programming Interface (API)[C Language] ISO\/IEC 9945-1:1996, IEEE."},{"key":"1567_CR47","doi-asserted-by":"crossref","unstructured":"N.B. Priyantha, A. Chakraborty and H. Balakrishnan, The Cricket Location-Support System, in: Proc. of the Sixth Annual ACM International Conference on Mobile Computing and Networking (MOBICOM), (August 2000).","DOI":"10.1145\/345910.345917"},{"key":"1567_CR48","doi-asserted-by":"crossref","unstructured":"R.L. Rivest, the RC5 Encryption Algorithm, in: Proceedings of the 1994 Leuven Workshop on Fast Software Encryption, pp. 86\u201396.","DOI":"10.1007\/3-540-60590-8_7"},{"key":"1567_CR49","doi-asserted-by":"crossref","unstructured":"Single chip ultra low power RF transceiver http:\/\/www.chipcon.com\/files\/CC1000_Data_Sheet_2_1.pdf , 2001.","DOI":"10.1049\/ic:20010007"},{"key":"1567_CR50","unstructured":"Simple Network Time Protocol, (SNTP) version 4. IETF RFC 2030."},{"key":"1567_CR51","unstructured":"A. Sheth, B. Shucker and R. Han, VLM2: A Very Lightweight Mobile Multicast System for Wireless Sensor Networks, IEEE Wireless Communications and Networking Conference (WCNC) (2003), New Orleans, Louisiana."},{"key":"1567_CR52","unstructured":"The Smart-Its project, http:\/\/www.smart-its.org\/ ."},{"key":"1567_CR53","unstructured":"The Eyes project, http:\/\/eyes.eu.org\/ ."},{"issue":"2","key":"1567_CR54","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/565702.565708","volume":"6","author":"S. Tilak","year":"2002","unstructured":"S. Tilak, N.B. Abu-Ghazaleh and W. Heinzelman, A Taxonomy of Wireless Micro-sensor Network Models, ACM SIGMOBILE Mobile Computing and Communications Review 6(2) (2002) 28\u201336.","journal-title":"ACM SIGMOBILE Mobile Computing and Communications Review"},{"key":"1567_CR55","unstructured":"R. von Behren, J. Condit and E. Brewer, Why Events Are A Bad Idea (for High-concurrency Servers), 9th Workshop on Hot Topics in Operating Systems (HotOS IX) (2003)."},{"key":"1567_CR56","doi-asserted-by":"crossref","unstructured":"E. Welsh, W. Fish and P. Frantz, GNOMES: A Testbed for Low-Power Heterogeneous Wireless Sensor Networks, IEEE International Symposium on Circuits and Systems (ISCAS), Bangkok, Thailand, (2003).","DOI":"10.1109\/ISCAS.2003.1206350"},{"key":"1567_CR57","unstructured":"Wei Ye, John Heidemann and Deborah Estrin, An Energy-Efficient MAC Protocol for Wireless Sensor Networks, in: Proceedings INFOCOM, New York, NY, USA, (June 2002)."},{"key":"1567_CR58","unstructured":"WINE, http:\/\/www.winehq.com\/ ."},{"key":"1567_CR59","doi-asserted-by":"crossref","unstructured":"J. Zhao, R. Govindan and D. Estrin, Computing Aggregates for Monitoring Wireless Sensor Networks, First IEEE International Workshop on Sensor Network Protocols and Applications, Anchorage, AK. (May 2003).","DOI":"10.1109\/SNPA.2003.1203364"}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-005-1567-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11036-005-1567-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-005-1567-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T22:43:49Z","timestamp":1735771429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11036-005-1567-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,8]]},"references-count":59,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["1567"],"URL":"https:\/\/doi.org\/10.1007\/s11036-005-1567-8","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"value":"1383-469X","type":"print"},{"value":"1572-8153","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,8]]}}}