{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:52Z","timestamp":1772163952208,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T00:00:00Z","timestamp":1097107200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,10,7]]},"DOI":"10.1145\/1024393.1024423","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T13:39:48Z","timestamp":1097156388000},"page":"248-259","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":90,"title":["Formal online methods for voltage\/frequency control in multiple clock domain microprocessors"],"prefix":"10.1145","author":[{"given":"Qiang","family":"Wu","sequence":"first","affiliation":[{"name":"Princeton University, Princeton, NJ"}]},{"given":"Philo","family":"Juang","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ"}]},{"given":"Margaret","family":"Martonosi","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ"}]},{"given":"Douglas W.","family":"Clark","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ"}]}],"member":"320","published-online":{"date-parts":[[2004,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the IEEE\/ACM International Workshop on Timing Issue in the Specification and Synthesis of Digital System (TAU2000)","author":"Anderson Carl","year":"2000","unstructured":"Carl Anderson . Tuning and optimization of a 170m transistor microprocessor . In Proceedings of the IEEE\/ACM International Workshop on Timing Issue in the Specification and Synthesis of Digital System (TAU2000) , Dec 2000 . Carl Anderson. Tuning and optimization of a 170m transistor microprocessor. In Proceedings of the IEEE\/ACM International Workshop on Timing Issue in the Specification and Synthesis of Digital System (TAU2000), Dec 2000."},{"key":"e_1_3_2_1_2_1","volume-title":"Adaptive Control","author":"Astrom K.J.","year":"1995","unstructured":"K.J. Astrom and B. Wittenmark . Adaptive Control . Addison-Wesley , 1995 . K.J. Astrom and B. Wittenmark. Adaptive Control. Addison-Wesley, 1995."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0001-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/339647.339657"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.378256"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 2001 Symposium on VLSI Circuits","author":"Clark L.T.","year":"2001","unstructured":"L.T. Clark . Circuit design of XScale microprocessors . In Proceedings of the 2001 Symposium on VLSI Circuits , June 2001 . L.T. Clark. Circuit design of XScale microprocessors. In Proceedings of the 2001 Symposium on VLSI Circuits, June 2001."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of Hot Chips XIII","author":"M. Taylor","year":"2001","unstructured":"M. Taylor et al. The RAW processor - a scalable 32-bit fabric for embedded and general purpose computing . In Proceedings of Hot Chips XIII , August 2001 . M. Taylor et al. The RAW processor - a scalable 32-bit fabric for embedded and general purpose computing. In Proceedings of Hot Chips XIII, August 2001."},{"key":"e_1_3_2_1_9_1","volume-title":"Introduction to Mathematical Statistics","author":"Hogg R.V.","year":"1995","unstructured":"R.V. Hogg and A.T. Craig . Introduction to Mathematical Statistics , Fifth edition. Prentice Hall , 1995 . R.V. Hogg and A.T. Craig. Introduction to Mathematical Statistics, Fifth edition. Prentice Hall, 1995."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781137"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/774572.774629"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/545215.545233"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of DATE","author":"Choi K.","year":"2004","unstructured":"K. Choi , R. Soma , and M. Pedram . Fine-grained dynamic voltage and frequency scaling for precise energy and performance trade-off based on the ratio of off-chip access to on-chip computation times . In Proceedings of DATE , Feb 2004 . K. Choi, R. Soma, and M. Pedram. Fine-grained dynamic voltage and frequency scaling for precise energy and performance trade-off based on the ratio of off-chip access to on-chip computation times. In Proceedings of DATE, Feb 2004."},{"key":"e_1_3_2_1_14_1","volume-title":"Automatic Control Systems","author":"Kuo B.C.","year":"1995","unstructured":"B.C. Kuo . Automatic Control Systems ., 7 th edition. Prentice Hall , 1995 . B.C. Kuo. Automatic Control Systems., 7th edition. Prentice Hall, 1995.","edition":"7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100027638"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/378420.378429"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/581630.581654"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859621"},{"key":"e_1_3_2_1_19_1","volume-title":"In Workshop on Complexity Effective Design","author":"Marculescu D.","year":"2000","unstructured":"D. Marculescu . On the use of microarchitecture-driven dynamic voltage scaling . In In Workshop on Complexity Effective Design , Vancouver, Canada , June 2000 ., June 2000. D. Marculescu. On the use of microarchitecture-driven dynamic voltage scaling. In In Workshop on Complexity Effective Design, Vancouver, Canada, June 2000., June 2000."},{"key":"e_1_3_2_1_20_1","volume-title":"ISCA 2003 Tutorial","author":"Marculescu D.","year":"2003","unstructured":"D. Marculescu , D.H. Albonesi , A. Buyuktosunoglu , and P. Bose . Partially asynchronous microprocessors (PAMs) . In ISCA 2003 Tutorial , June 2003 . D. Marculescu, D.H. Albonesi, A. Buyuktosunoglu, and P. Bose. Partially asynchronous microprocessors (PAMs). In ISCA 2003 Tutorial, June 2003."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.612245"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/942806.943854"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/774861.774899"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/874076.876477"},{"key":"e_1_3_2_1_25_1","volume-title":"Personal communications","author":"Semeraro G.","year":"2003","unstructured":"G. Semeraro , G. Magklis , and Y. Zhu . Personal communications . December 2003 . G. Semeraro, G. Magklis, and Y. Zhu. Personal communications. December 2003."},{"key":"e_1_3_2_1_26_1","first-page":"47","volume-title":"Proceedings of the 17th International Conference on Advanced Research in VLSI","author":"Sjogren A.E.","year":"1997","unstructured":"A.E. Sjogren and C.J. Myers . Interfacing synchronous and asynchronous modules within a high-speeed pipeline . In Proceedings of the 17th International Conference on Advanced Research in VLSI , pages 47 -- 61 , Sept 1997 . A.E. Sjogren and C.J. Myers. Interfacing synchronous and asynchronous modules within a high-speeed pipeline. In Proceedings of the 17th International Conference on Advanced Research in VLSI, pages 47--61, Sept 1997."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/874076.876476"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781138"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.805755"}],"event":{"name":"ASPLOS04: Architectural Support for Programming Languages and Operating Systems","location":"Boston MA USA","acronym":"ASPLOS04","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 11th international conference on Architectural support for programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1024393.1024423","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1024393.1024423","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:31:35Z","timestamp":1750249895000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1024393.1024423"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10,7]]},"references-count":28,"alternative-id":["10.1145\/1024393.1024423","10.1145\/1024393"],"URL":"https:\/\/doi.org\/10.1145\/1024393.1024423","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1037947.1024423","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/1037949.1024423","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/1037187.1024423","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2004,10,7]]},"assertion":[{"value":"2004-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}