{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:19:02Z","timestamp":1742383142365},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,12,19]],"date-time":"2009-12-19T00:00:00Z","timestamp":1261180800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s10617-009-9049-z","type":"journal-article","created":{"date-parts":[[2009,12,18]],"date-time":"2009-12-18T16:15:16Z","timestamp":1261152916000},"page":"43-74","source":"Crossref","is-referenced-by-count":13,"title":["DesertFD: a finite-domain constraint based tool for\u00a0design space exploration"],"prefix":"10.1007","volume":"14","author":[{"given":"Brandon K.","family":"Eames","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep K.","family":"Neema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rohit","family":"Saraswat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,12,19]]},"reference":[{"issue":"4","key":"9049_CR1","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1109\/TCAD.2005.844118","volume":"24","author":"G Ascia","year":"2005","unstructured":"Ascia G, Catania V, Palesi M (2005) A multi-objective genetic approach for system-level exploration in parameterized systems-on-a-chip. IEEE Trans Comput-Aided Des Integr Circuits Syst 24(4):635\u2013645","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"9049_CR2","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1145\/384197.384210","volume-title":"LCTES \u201901: proceedings of the ACM SIGPLAN workshop on languages, compilers and tools for embedded systems","author":"A Bakshi","year":"2001","unstructured":"Bakshi A, Prasanna VK, Ledeczi A (2001) MILAN: A model based integrated simulation framework for design of embedded systems. In: LCTES \u201901: proceedings of the ACM SIGPLAN workshop on languages, compilers and tools for embedded systems. ACM, New York, pp 82\u201393"},{"issue":"4","key":"9049_CR3","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/MC.2003.1193228","volume":"36","author":"F Balarin","year":"2003","unstructured":"Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A (2003) Metropolis: an integrated electronic system design environment. Computer 36(4):45\u201352","journal-title":"Computer"},{"issue":"3","key":"9049_CR4","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1155\/2000\/74708","volume":"10","author":"T Bapty","year":"2000","unstructured":"Bapty T, Neema S, Scott J, Sztipanovits J, Asaad S (2000) Model-integrated tools for the design of dynamically reconfigurable systems. VLSI Des 10(3):281\u2013306","journal-title":"VLSI Des"},{"key":"9049_CR5","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1023\/A:1008962420726","volume":"5","author":"K Bazargan","year":"2000","unstructured":"Bazargan K, Kastner R, Sarrafzadeh M (2000) 3-D floorplanning: simulated annealing and greedy placement methods for reconfigurable computing systems. Des Autom Embed Syst 5:329\u2013338","journal-title":"Des Autom Embed Syst"},{"key":"9049_CR6","doi-asserted-by":"crossref","unstructured":"Bleuler S, Laumanns M, Thiele L, Zitzler E (2003) PISA: a platform and programming language independent interface for search algorithms. In: EMO, pp\u00a0494\u2013508","DOI":"10.1007\/3-540-36970-8_35"},{"key":"9049_CR7","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1023\/A:1008899229802","volume":"3","author":"T Blickle","year":"1998","unstructured":"Blickle T, Teich J, Thiele L (1998) System-level synthesis using evolutionary algorithms. Des Autom Embed Syst 3:23\u201358","journal-title":"Des Autom Embed Syst"},{"issue":"8","key":"9049_CR8","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R Bryant","year":"1986","unstructured":"Bryant R (1986) Graph-based algorithms for boolean function manipulation. IEEE Trans Comput C 35(8):677\u2013691","journal-title":"IEEE Trans Comput C"},{"key":"9049_CR9","volume-title":"Real-time systems and programming languages","author":"A Burns","year":"2001","unstructured":"Burns A, Wellings A (2001) Real-time systems and programming languages, 3rd edn. Addison Wesley, Longmain","edition":"3"},{"issue":"5","key":"9049_CR10","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1109\/MDT.2006.112","volume":"23","author":"D Densmore","year":"2006","unstructured":"Densmore D, Passerone R, Sangiovanni-Vincentelli A (2006) A platform-based taxonomy for ESL design. IEEE Des Test 23(5):359\u2013374","journal-title":"IEEE Des Test"},{"key":"9049_CR11","doi-asserted-by":"crossref","unstructured":"Eames B (2006) On the use of DesertFD as a reconfiguration engine for embedded systems. In IEEE mountain workshop on adaptive and learning systems, pp 127\u2013132","DOI":"10.1109\/SMCALS.2006.250703"},{"issue":"1","key":"9049_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1162\/evco.1995.3.1.1","volume":"3","author":"C Fonseca","year":"1995","unstructured":"Fonseca C, Fleming P (1995) An overview of evolutionary algorithms in multiobjective optimization. Evolut Comput 3(1):1\u201316","journal-title":"Evolut Comput"},{"key":"9049_CR13","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1019791213967","volume":"7","author":"W Fornaciari","year":"2002","unstructured":"Fornaciari W, Sciuto D, Silvano C, Zaccaria V (2002) A sensitivity-based design space exploration methodology for embedded systems. Des Autom Embed Syst 7:7\u201333","journal-title":"Des Autom Embed Syst"},{"issue":"11","key":"9049_CR14","doi-asserted-by":"crossref","first-page":"1317","DOI":"10.1109\/TCAD.2002.804107","volume":"21","author":"T Givargis","year":"2002","unstructured":"Givargis T, Vahid F (2002) Platune: a tuning framework for system-on-a-chip platforms. IEEE Trans Comput-Aided Des Integr Circuits Syst 21(11):1317\u20131327","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"9049_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF02078647","volume":"41","author":"F Glover","year":"1993","unstructured":"Glover F, Taillard E (1993) D. de\u00a0Werra. A user\u2019s guide to tabu search. Ann Oper Res 41:3\u201328","journal-title":"Ann Oper Res"},{"key":"9049_CR16","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0167-9260(04)00032-X","volume":"38","author":"M Gries","year":"2004","unstructured":"Gries M (2004) Methods for evaluating and covering the design space during early design development. Integr VLSI J 38:131\u2013183","journal-title":"Integr VLSI J"},{"key":"9049_CR17","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1109\/REAL.2004.17","volume-title":"RTSS \u201904: Proceedings of the 25th IEEE International Real-Time Systems Symposium","author":"A Hamann","year":"2004","unstructured":"Hamann A, Jersak M, Richter K, Ernst R (2004) Design space exploration and system optimization with SymTA\/S symbolic timing analysis for systems. In: RTSS \u201904: Proceedings of the 25th IEEE International Real-Time Systems Symposium. IEEE Computer Society, Washington, pp 469\u2013478"},{"issue":"2\u20133","key":"9049_CR18","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1023\/A:1008193422345","volume":"24","author":"M Kaul","year":"2000","unstructured":"Kaul M, Vemuri R (2000) Design-space exploration for block-processing based temporal partitioning of run-time reconfigurable systems. J VLSI Signal Process Syst Signal Image Video Technol 24(2\u20133):181\u2013209","journal-title":"J VLSI Signal Process Syst Signal Image Video Technol"},{"issue":"4598","key":"9049_CR19","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S Kirkpatrick","year":"1983","unstructured":"Kirkpatrick S, Gelatt C, Vecchi M (1983) Optimization by simulated annealing. Science 220(4598):671\u2013680","journal-title":"Science"},{"key":"9049_CR20","unstructured":"Koga T, Iinuma K, Hirano A, Iijima Y, Ishiguro T (1981) Motion-compensated interframe coding for video conferencing. In: Proceedings of IEEE NTC, pp\u00a0G5.3.1\u2013G5.3.5"},{"key":"9049_CR21","doi-asserted-by":"crossref","unstructured":"Kogekar S, Neema S, Eames B, Koutsoukos X, Ledeczi A, Maroti M (2004) Constraint-guided dynamic reconfiguration in sensor networks. In: Information processing in sensor networks, Berkeley, CA, pp\u00a0379\u2013387","DOI":"10.1145\/984622.984677"},{"issue":"3-4","key":"9049_CR22","first-page":"241","volume":"47","author":"K Kuchcinski","year":"2001","unstructured":"Kuchcinski K (2001) Constraints-driven design space exploration for distributed embedded systems. J\u00a0Syst Arch 47(3-4):241\u2013261","journal-title":"J\u00a0Syst Arch"},{"issue":"3","key":"9049_CR23","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/785411.785416","volume":"8","author":"K Kuchcinski","year":"2003","unstructured":"Kuchcinski K (2003) Constraints-driven scheduling and resource assignment. ACM Trans Des Autom Electron Syst 8(3):355\u2013383","journal-title":"ACM Trans Des Autom Electron Syst"},{"issue":"1","key":"9049_CR24","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu CL, Layland J (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46\u201361","journal-title":"J ACM"},{"key":"9049_CR25","unstructured":"Magyari E, Bakay A, Lang A, Paka T, Vizhanyo A, Agrawal A, Karsai G (2003) UDM: an infrastructure for implementing domain-specific modeling languages. In: Proceedings of the 3rd OOPSLA workshop on domain specific modeling, Anaheim, CA"},{"key":"9049_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with constraints","author":"K Marriott","year":"1998","unstructured":"Marriott K, Stukey P (1998) Programming with constraints. MIT Press, Cambridge"},{"issue":"2","key":"9049_CR27","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/1230800.1230805","volume":"12","author":"S Mohanty","year":"2007","unstructured":"Mohanty S, Prasanna VK (2007) A model-based extensible framework for efficient application design using FPGA. ACM Trans Des Autom Electron Syst 12(2):13","journal-title":"ACM Trans Des Autom Electron Syst"},{"key":"9049_CR28","doi-asserted-by":"crossref","unstructured":"Mouhoub RB, Hammami O (2006) Multiprocessor on chip: beating the simulation wall through multiobjective design space exploration with direct execution. In:\u00a0IPDPS","DOI":"10.1109\/IPDPS.2006.1639623"},{"key":"9049_CR29","unstructured":"http:\/\/www.mozart-oz.org\/ , May 2003"},{"key":"9049_CR30","unstructured":"Neema S (2001) System-level synthesis of adaptive computing systems PhD dissertation, Vanderbilt University"},{"key":"9049_CR31","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/978-3-540-45212-6_19","volume":"2855","author":"S Neema","year":"2003","unstructured":"Neema S, Sztipanovits J, Karsai G, Butts K (2003) Constraint-based design-space exploration and model synthesis. Embed Softw Proc 2855:290\u2013305","journal-title":"Embed Softw Proc"},{"issue":"3","key":"9049_CR32","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1109\/TCAD.2007.911337","volume":"27","author":"H Nikolov","year":"2008","unstructured":"Nikolov H, Stefanov T, Deprettere E (2008) Systematic and automated multiprocessor system design, programming, and implementation. IEEE Trans Comput-Aided Des Integr Circuits Syst 27(3):542\u2013555","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"9049_CR33","unstructured":"Object constraint language specification, version 1.1. Technical report, Object Management Group, September 1997"},{"key":"9049_CR34","first-page":"8","volume-title":"Proceedings of the Design Automation Conference","author":"S Prakash","year":"1991","unstructured":"Prakash S, Parker A (1991) Synthesis of application-specific multiprocessor architectures. In: Proceedings of the Design Automation Conference. ACM Press, San Francisco, pp 8\u201313"},{"key":"9049_CR35","first-page":"57","volume-title":"IFIP international federation for information processing","author":"A Hamann","year":"2007","unstructured":"Hamann A, Racu R, Ernst R (2007) Automotive system optimization using sensitivity analysis. In: IFIP international federation for information processing, vol 231. Springer, Boston, pp 57\u201370"},{"key":"9049_CR36","doi-asserted-by":"crossref","unstructured":"Saraswat R, Eames B (2008) On the use of DesertFD to generate custom architectures for H.264 motion estimation. In: Proceedings of the 15th annual conference and workshop on the engineering of computer based systems (ECBS)","DOI":"10.1109\/ECBS.2008.34"},{"key":"9049_CR37","first-page":"29","volume-title":"ACM symposium on applied computing","author":"K Schild","year":"1998","unstructured":"Schild K, Wurtz J (1998) Off-line scheduling of a real-time system. In: ACM symposium on applied computing. ACM Press, Atlanta, pp 29\u201338"},{"key":"9049_CR38","volume-title":"Theory of linear and integer programming","author":"A Schrijver","year":"1986","unstructured":"Schrijver A (1986) Theory of linear and integer programming. Wiley, New York"},{"key":"9049_CR39","first-page":"451","volume-title":"DAC \u201906: proceedings of the 43rd annual conference on design automation","author":"G Wang","year":"2006","unstructured":"Wang G, Gong W, DeRenzi B, Kastner R (2006) Design space exploration using time and resource duality with the ant colony optimization. In: DAC \u201906: proceedings of the 43rd annual conference on design automation. ACM, New York, pp 451\u2013454"},{"issue":"6","key":"9049_CR40","doi-asserted-by":"crossref","first-page":"1010","DOI":"10.1109\/TCAD.2006.885829","volume":"26","author":"G Wang","year":"2007","unstructured":"Wang G, Gong W, DeRenzi B, Kastner R (2007) Ant colony optimizations for resource- and timing-constrained operation scheduling. IEEE Trans Comput-Aided Des Integr Circuits Syst 26(6):1010\u20131029","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"9049_CR41","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1109\/TCSVT.2003.815165","volume":"13","author":"T Wiegand","year":"2003","unstructured":"Wiegand T, Sullivan GJ, Bjontegaard G, Luthra A (2003) Overview of the H.264\/AVC video coding standard. IEEE Trans Circuits Syst Video Technol 13:560\u2013574","journal-title":"IEEE Trans Circuits Syst Video Technol"},{"key":"9049_CR42","first-page":"132","volume-title":"IEEE international conference on tools with artificial intelligence","author":"J Wurtz","year":"1996","unstructured":"Wurtz J (1996) Oz scheduler: A workbench for scheduling problems. In: IEEE international conference on tools with artificial intelligence. IEEE Computer Society Press, Toulouse, pp 132\u2013139"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-009-9049-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-009-9049-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-009-9049-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:29:34Z","timestamp":1559244574000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-009-9049-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,19]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["9049"],"URL":"https:\/\/doi.org\/10.1007\/s10617-009-9049-z","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12,19]]}}}