{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:40Z","timestamp":1750307680875,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,21]],"date-time":"2009-06-21T00:00:00Z","timestamp":1245542400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001868","name":"National Science Council Taiwan","doi-asserted-by":"publisher","award":["NSC97-2221-E-327-035-"],"award-info":[{"award-number":["NSC97-2221-E-327-035-"]}],"id":[{"id":"10.13039\/501100001868","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,6,21]]},"DOI":"10.1145\/1582379.1582415","type":"proceedings-article","created":{"date-parts":[[2009,8,4]],"date-time":"2009-08-04T13:38:06Z","timestamp":1249393086000},"page":"160-164","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Hierarchical cross-layer control ESL verification for wireless communications"],"prefix":"10.1145","author":[{"given":"Chao-Lieh","family":"Chen","sequence":"first","affiliation":[{"name":"National Kaohsiung First Univ. of Science and Technology, Kaohsiung City, Taiwan"}]},{"given":"Wu-Liang","family":"Cheng","sequence":"additional","affiliation":[{"name":"Kun-Shan University of Technology, Tainan County, Taiwan"}]},{"given":"Chun-Ching","family":"Wu","sequence":"additional","affiliation":[{"name":"Kun-Shan University of Technology, Tainan County, Taiwan"}]}],"member":"320","published-online":{"date-parts":[[2009,6,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"766","volume-title":"16th International Conference on Computer Communications and Networks, Honolulu, Hawaii USA, Aug. 13--16","author":"Chen Chao-Lieh","year":"2007","unstructured":"Chao-Lieh Chen , \" IEEE 802.11e EDCA QoS Provisioning with Dynamic Fuzzy Control and Cross-Layer Interface ,\" the 16th International Conference on Computer Communications and Networks, Honolulu, Hawaii USA, Aug. 13--16 , 2007 , pp. 766 -- 771 . Chao-Lieh Chen, \"IEEE 802.11e EDCA QoS Provisioning with Dynamic Fuzzy Control and Cross-Layer Interface,\" the 16th International Conference on Computer Communications and Networks, Honolulu, Hawaii USA, Aug. 13--16, 2007, pp. 766--771."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1506270.1506304"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2006.1580940"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2008.4483671"},{"key":"e_1_3_2_1_5_1","unstructured":"CoWare Platform Architect - SystemC Platform Capture and Architecture Analysis for Platform-driven ESL Design http:\/\/www.coware.com\/products\/platformarchitect.php.  CoWare Platform Architect - SystemC Platform Capture and Architecture Analysis for Platform-driven ESL Design http:\/\/www.coware.com\/products\/platformarchitect.php."},{"key":"e_1_3_2_1_6_1","volume-title":"Elect. Eng. Comput. Sci.","author":"Zhang N.","year":"2001","unstructured":"N. Zhang , \"Algorithm\/ Architecture Co-Design for Wireless Communications Systems ,\" Ph. D. dissertation , Elect. Eng. Comput. Sci. , Univ. California , Berkeley , 2001 . N. Zhang, \"Algorithm\/Architecture Co-Design forWireless Communications Systems,\" Ph.D. dissertation, Elect. Eng. Comput. Sci., Univ. California, Berkeley, 2001."},{"key":"e_1_3_2_1_7_1","volume-title":"Elect. Comput. Eng.","author":"Meng Yan","year":"2006","unstructured":"Yan Meng , \"Algorithm\/ Architecture Design Space Co-exploration for Energy Ef_cient Wireless Communications Systems ,\" Ph. D. dissertation , Elect. Comput. Eng. , Univ. California , Santa Barbara , Sept. 2006 . Yan Meng, \"Algorithm\/Architecture Design Space Co-exploration for Energy Ef_cient Wireless Communications Systems,\" Ph.D. dissertation, Elect. Comput. Eng., Univ. California, Santa Barbara, Sept. 2006."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2006.889355"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775846"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1155\/2009\/512507"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2008.4689254"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2008.4511653"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45232-4_16"},{"key":"e_1_3_2_1_14_1","unstructured":"The Network Simulator - NS-2 http:\/\/www.isi.edu\/nsnam\/ns\/.  The Network Simulator - NS-2 http:\/\/www.isi.edu\/nsnam\/ns\/."}],"event":{"name":"IWCMC '09: 2009 International Wireless Communications and Mobile Computing Conference","sponsor":["ACM Association for Computing Machinery","Wiley-Blackwell","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGDOC ACM Special Interest Group for Design of Communications"],"location":"Leipzig Germany","acronym":"IWCMC '09"},"container-title":["Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1582379.1582415","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1582379.1582415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:46Z","timestamp":1750253386000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1582379.1582415"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,21]]},"references-count":14,"alternative-id":["10.1145\/1582379.1582415","10.1145\/1582379"],"URL":"https:\/\/doi.org\/10.1145\/1582379.1582415","relation":{},"subject":[],"published":{"date-parts":[[2009,6,21]]},"assertion":[{"value":"2009-06-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}