{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:40Z","timestamp":1750307020555,"version":"3.41.0"},"reference-count":32,"publisher":"Association for Computing Machinery (ACM)","issue":"S2","license":[{"start":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T00:00:00Z","timestamp":1343779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000149","name":"Division of Engineering Education and Centers","doi-asserted-by":"publisher","award":["EEC-0642422"],"award-info":[{"award-number":["EEC-0642422"]}],"id":[{"id":"10.13039\/100000149","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2012,8]]},"abstract":"<jats:p>Reconfigurable computing (RC) is emerging as a promising area for embedded computing, in which complex systems must balance performance, flexibility, cost, and power. The difficulty associated with RC development suggests improved strategic planning and analysis techniques can save significant development time and effort. This article presents a new abstract modeling language and environment, the RC Modeling Language (RCML), to facilitate efficient design space exploration of RC systems at the estimation modeling level, that is, before building a functional implementation. Two integrated analysis tools and case studies, one analytical and one simulative, are presented illustrating relatively accurate automated analysis of systems modeled in RCML.<\/jats:p>","DOI":"10.1145\/2331147.2331153","type":"journal-article","created":{"date-parts":[[2012,9,11]],"date-time":"2012-09-11T22:21:06Z","timestamp":1347402066000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["RCML"],"prefix":"10.1145","volume":"11","author":[{"given":"Casey","family":"Reardon","sequence":"first","affiliation":[{"name":"NSF Center for High-Performance Reconfigurable Computing (CHREC) University of Florida"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Holland","sequence":"additional","affiliation":[{"name":"NSF Center for High-Performance Reconfigurable Computing (CHREC) University of Florida"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan D.","family":"George","sequence":"additional","affiliation":[{"name":"NSF Center for High-Performance Reconfigurable Computing (CHREC) University of Florida"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Stitt","sequence":"additional","affiliation":[{"name":"NSF Center for High-Performance Reconfigurable Computing (CHREC) University of Florida"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herman","family":"Lam","sequence":"additional","affiliation":[{"name":"NSF Center for High-Performance Reconfigurable Computing (CHREC) University of Florida"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,8]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"e_1_2_1_2_1","first-page":"152","article-title":"Ptolemy: A framework for simulating and prototyping heterogeneous systems","volume":"4","author":"Buck J.","year":"1994","unstructured":"Buck , J. , Ha , S. , Lee , E. A. , and Messerschmitt , D. G. 1994 . Ptolemy: A framework for simulating and prototyping heterogeneous systems . Int. J. Comput. Simul. 4 , 152 -- 184 . Buck, J., Ha, S., Lee, E. A., and Messerschmitt, D. G. 1994. Ptolemy: A framework for simulating and prototyping heterogeneous systems. Int. J. Comput. Simul. 4, 152--184.","journal-title":"Int. J. Comput. Simul."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/36.917889"},{"volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe (DATE). 764--739","author":"Densmore D.","key":"e_1_2_1_4_1","unstructured":"Densmore , D. , Donlin , A. , and Sangiovanni-Vincentelli , A . 2006. FPGA architecture characterization for system level performance analysis . In Proceedings of the Conference on Design, Automation and Test in Europe (DATE). 764--739 . Densmore, D., Donlin, A., and Sangiovanni-Vincentelli, A. 2006. FPGA architecture characterization for system level performance analysis. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE). 764--739."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2004.06.004"},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Feiler P. Gulch D. and Hudak J. 2006. The architecture analysis and design language (AADL): An introduction. Tech. rep. CMU\/SEI-2006-TN-011 ADA455842 Software Engineering Institute Carnegie Mellon University Pittsburg PA. Feiler P. Gulch D. and Hudak J. 2006. The architecture analysis and design language (AADL): An introduction. Tech. rep. CMU\/SEI-2006-TN-011 ADA455842 Software Engineering Institute Carnegie Mellon University Pittsburg PA.","DOI":"10.21236\/ADA455842"},{"volume-title":"Proceedings of the International Conference on Field Programmable Logic and Applications (FPL\u201906)","author":"Fu W.","key":"e_1_2_1_8_1","unstructured":"Fu , W. and Compton , K . 2006. A simulation platform for reconfigurable computing research . In Proceedings of the International Conference on Field Programmable Logic and Applications (FPL\u201906) . 1--7. Fu, W. and Compton, K. 2006. A simulation platform for reconfigurable computing research. In Proceedings of the International Conference on Field Programmable Logic and Applications (FPL\u201906). 1--7."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549707084939"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1462586.1462591"},{"volume-title":"Proceedings of the IEEE Aerospace Conference.","author":"Jacobs A.","key":"e_1_2_1_11_1","unstructured":"Jacobs , A. , Conger , C. , and George , A . 2008. Multiparadigm space processing for hyperspectral imaging . In Proceedings of the IEEE Aerospace Conference. Jacobs, A., Conger, C., and George, A. 2008. Multiparadigm space processing for hyperspectral imaging. In Proceedings of the IEEE Aerospace Conference."},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the IFIP Congress.","author":"Kahn G.","year":"1974","unstructured":"Kahn , G. 1974 . The semantics of a simple language for parallel programming . In Proceedings of the IFIP Congress. Kahn, G. 1974. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Kienhuis B. Deprettere E. F. van der Wolf P. and Vissers K. 2002. Embedded Processor Design Challenges. Springer Chapter A Methodology to Design Programmable Embedded Systems: The Y-Chart Approach 18--37. Kienhuis B. Deprettere E. F. van der Wolf P. and Vissers K. 2002. Embedded Processor Design Challenges . Springer Chapter A Methodology to Design Programmable Embedded Systems: The Y-Chart Approach 18--37.","DOI":"10.1007\/3-540-45874-3_2"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/371636.371703"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1230800.1230805"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/513829.513835"},{"volume-title":"OMG Systems Modeling Language (OMG SysML), v1.1, formal\/2008-11-01 ed","author":"Object Management Group","key":"e_1_2_1_18_1","unstructured":"Object Management Group . 2008. OMG Systems Modeling Language (OMG SysML), v1.1, formal\/2008-11-01 ed . Object Management Group . Object Management Group. 2008. OMG Systems Modeling Language (OMG SysML), v1.1, formal\/2008-11-01 ed. Object Management Group."},{"volume-title":"UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, v1.0, formal\/2009-11-02 ed","author":"Object Management Group","key":"e_1_2_1_19_1","unstructured":"Object Management Group . 2009. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, v1.0, formal\/2009-11-02 ed . Object Management Group . Object Management Group. 2009. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, v1.0, formal\/2009-11-02 ed. Object Management Group."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJES.2008.020299"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.963445"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.16"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1862648.1862655"},{"volume-title":"Proceedings of the 10th IASTED International Conference on Software Engineering and Applications (SEA\u201906)","author":"Rugina A.","key":"e_1_2_1_24_1","unstructured":"Rugina , A. , Kanoun , K. , and Kaaniche , M . 2006. An architecture-based dependability modeling framework using AADL . In Proceedings of the 10th IASTED International Conference on Software Engineering and Applications (SEA\u201906) . Rugina, A., Kanoun, K., and Kaaniche, M. 2006. An architecture-based dependability modeling framework using AADL. In Proceedings of the 10th IASTED International Conference on Software Engineering and Applications (SEA\u201906)."},{"volume-title":"Architecture Analysis & Design Language (AADL)","key":"e_1_2_1_25_1","unstructured":"SAE. 2004. SAE Standards: AS5506 , Architecture Analysis & Design Language (AADL) . Society of Automotive Engineers . SAE. 2004. SAE Standards: AS5506, Architecture Analysis & Design Language (AADL). Society of Automotive Engineers."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1103846.1103847"},{"volume-title":"Proceedings of the SCS International Symposium on Performance Evaluation of Computer and Telecommunications Systems (SPECTS).","author":"Smith M. C.","key":"e_1_2_1_27_1","unstructured":"Smith , M. C. and Peterson , G. D . 2002. Analytical modeling for high-performance reconfigurable computers . In Proceedings of the SCS International Symposium on Performance Evaluation of Computer and Telecommunications Systems (SPECTS). Smith, M. C. and Peterson, G. D. 2002. Analytical modeling for high-performance reconfigurable computers. In Proceedings of the SCS International Symposium on Performance Evaluation of Computer and Telecommunications Systems (SPECTS)."},{"volume-title":"Proceedings of the 20th IEEE International Parallel & Distributed Processing Symposium.","author":"Sokolsky O.","key":"e_1_2_1_28_1","unstructured":"Sokolsky , O. , Lee , I. , and Clarke , D . 2006. Schedulability analysis of AADL models . In Proceedings of the 20th IEEE International Parallel & Distributed Processing Symposium. Sokolsky, O., Lee, I., and Clarke, D. 2006. Schedulability analysis of AADL models. In Proceedings of the 20th IEEE International Parallel & Distributed Processing Symposium."},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the Reconfigurable System Summer Institute (RSSI). 17--20","author":"Steffen C. P.","year":"2007","unstructured":"Steffen , C. P. 2007 . Parameterization of algorithms and FPGA accelerators to predict performance . In Proceedings of the Reconfigurable System Summer Institute (RSSI). 17--20 . Steffen, C. P. 2007. Parameterization of algorithms and FPGA accelerators to predict performance. In Proceedings of the Reconfigurable System Summer Institute (RSSI). 17--20."},{"volume-title":"OMG Unified Modeling Language Specification, v1.4","author":"UML Revision Task Force","key":"e_1_2_1_30_1","unstructured":"UML Revision Task Force . 2001. OMG Unified Modeling Language Specification, v1.4 . Object Management Group . UML Revision Task Force. 2001. OMG Unified Modeling Language Specification, v1.4. Object Management Group."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8191(94)90033-7"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646461.1646465"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2331147.2331153","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2331147.2331153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:49:12Z","timestamp":1750236552000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2331147.2331153"}},"subtitle":["An Environment for Estimation Modeling of Reconfigurable Computing Systems"],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":32,"journal-issue":{"issue":"S2","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["10.1145\/2331147.2331153"],"URL":"https:\/\/doi.org\/10.1145\/2331147.2331153","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2012,8]]},"assertion":[{"value":"2009-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}