메뉴 건너뛰기




Volumn 14, Issue 1, 2010, Pages 43-74

DesertFD: A finite-domain constraint based tool for design space exploration

Author keywords

Design space exploration; Embedded systems; Finite domain constraints

Indexed keywords

AUTOMOTIVE APPLICATIONS; COMMON STRUCTURES; COMPUTER-BASED SYSTEM; CONSTRAINT SATISFACTION; CONSTRAINT SATISFACTION PROBLEMS; DESIGN SPACE EXPLORATION; DESIGN SPACES; DESIGN TIME; EMBEDDED CONTROL UNITS; FINITE DOMAIN CONSTRAINTS; INDEPENDENT DESIGN; MATHEMATICAL EXPRESSIONS; OPTIMIZATION CRITERIA; SCRIPTING LANGUAGES; STEER-BY-WIRE; TREE-BASED; USER-SPECIFIED CONSTRAINTS;

EID: 76749123418     PISSN: 09295585     EISSN: 15728080     Source Type: Journal    
DOI: 10.1007/s10617-009-9049-z     Document Type: Article
Times cited : (13)

References (42)
  • 4
    • 0033902367 scopus 로고    scopus 로고
    • Model-integrated tools for the design of dynamically reconfigurable systems
    • 10.1155/2000/74708
    • T Bapty S Neema J Scott J Sztipanovits S Asaad 2000 Model-integrated tools for the design of dynamically reconfigurable systems VLSI Des 10 3 281 306 10.1155/2000/74708
    • (2000) VLSI des , vol.10 , Issue.3 , pp. 281-306
    • Bapty, T.1    Neema, S.2    Scott, J.3    Sztipanovits, J.4    Asaad, S.5
  • 5
    • 0034246195 scopus 로고    scopus 로고
    • 3-D floorplanning: Simulated annealing and greedy placement methods for reconfigurable computing systems
    • 10.1023/A:1008962420726
    • K Bazargan R Kastner M Sarrafzadeh 2000 3-D floorplanning: simulated annealing and greedy placement methods for reconfigurable computing systems Des Autom Embed Syst 5 329 338 10.1023/A:1008962420726
    • (2000) Des Autom Embed Syst , vol.5 , pp. 329-338
    • Bazargan, K.1    Kastner, R.2    Sarrafzadeh, M.3
  • 6
    • 35248851504 scopus 로고    scopus 로고
    • PISA: A platform and programming language independent interface for search algorithms
    • Bleuler S, Laumanns M, Thiele L, Zitzler E (2003) PISA: a platform and programming language independent interface for search algorithms. In: EMO, pp 494-508
    • (2003) EMO , pp. 494-508
    • Bleuler, S.1    Laumanns, M.2    Thiele, L.3    Zitzler, E.4
  • 7
    • 0031704808 scopus 로고    scopus 로고
    • System-level synthesis using evolutionary algorithms
    • 10.1023/A:1008899229802
    • T Blickle J Teich L Thiele 1998 System-level synthesis using evolutionary algorithms Des Autom Embed Syst 3 23 58 10.1023/A:1008899229802
    • (1998) Des Autom Embed Syst , vol.3 , pp. 23-58
    • Blickle, T.1    Teich, J.2    Thiele, L.3
  • 8
    • 0022769976 scopus 로고
    • Graph-based algorithms for boolean function manipulation
    • 10.1109/TC.1986.1676819 0593.94022
    • R Bryant 1986 Graph-based algorithms for boolean function manipulation IEEE Trans Comput C 35 8 677 691 10.1109/TC.1986.1676819 0593.94022
    • (1986) IEEE Trans Comput C , vol.35 , Issue.8 , pp. 677-691
    • Bryant, R.1
  • 11
    • 34250692569 scopus 로고    scopus 로고
    • On the use of DesertFD as a reconfiguration engine for embedded systems
    • 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-132
    • (2006) IEEE Mountain Workshop on Adaptive and Learning Systems , pp. 127-132
    • Eames, B.1
  • 12
    • 0002629429 scopus 로고
    • An overview of evolutionary algorithms in multiobjective optimization
    • 10.1162/evco.1995.3.1.1
    • C Fonseca P Fleming 1995 An overview of evolutionary algorithms in multiobjective optimization Evolut Comput 3 1 1 16 10.1162/evco.1995.3.1.1
    • (1995) Evolut Comput , vol.3 , Issue.1 , pp. 1-16
    • Fonseca, C.1    Fleming, P.2
  • 13
    • 0036734998 scopus 로고    scopus 로고
    • A sensitivity-based design space exploration methodology for embedded systems
    • 10.1023/A:1019791213967 1035.68597
    • W Fornaciari D Sciuto C Silvano V Zaccaria 2002 A sensitivity-based design space exploration methodology for embedded systems Des Autom Embed Syst 7 7 33 10.1023/A:1019791213967 1035.68597
    • (2002) Des Autom Embed Syst , vol.7 , pp. 7-33
    • Fornaciari, W.1    Sciuto, D.2    Silvano, C.3    Zaccaria, V.4
  • 15
    • 33846586613 scopus 로고
    • D. de Werra. A user's guide to tabu search
    • 10.1007/BF02078647 0772.90063
    • F Glover E Taillard 1993 D. de Werra. A user's guide to tabu search Ann Oper Res 41 3 28 10.1007/BF02078647 0772.90063
    • (1993) Ann Oper Res , vol.41 , pp. 3-28
    • Glover, F.1    Taillard, E.2
  • 16
    • 9644281035 scopus 로고    scopus 로고
    • Methods for evaluating and covering the design space during early design development
    • 10.1016/S0167-9260(04)00032-X
    • M Gries 2004 Methods for evaluating and covering the design space during early design development Integr VLSI J 38 131 183 10.1016/S0167-9260(04)00032-X
    • (2004) Integr VLSI J , vol.38 , pp. 131-183
    • Gries, M.1
  • 18
    • 0033905197 scopus 로고    scopus 로고
    • Design-space exploration for block-processing based temporal partitioning of run-time reconfigurable systems
    • M Kaul R Vemuri 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-3 181 209
    • (2000) J VLSI Signal Process Syst Signal Image Video Technol , vol.24 , Issue.23 , pp. 181-209
    • Kaul, M.1    Vemuri, R.2
  • 19
    • 26444479778 scopus 로고
    • Optimization by simulated annealing
    • 10.1126/science.220.4598.671 702485
    • S Kirkpatrick C Gelatt M Vecchi 1983 Optimization by simulated annealing Science 220 4598 671 680 10.1126/science.220.4598.671 702485
    • (1983) Science , vol.220 , Issue.4598 , pp. 671-680
    • Kirkpatrick, S.1    Gelatt, C.2    Vecchi, M.3
  • 22
    • 0035310492 scopus 로고    scopus 로고
    • Constraints-driven design space exploration for distributed embedded systems
    • DOI 10.1016/S1383-7621(00)00048-5, PII S1383762100000485
    • K Kuchcinski 2001 Constraints-driven design space exploration for distributed embedded systems J Syst Arch 47 3-4 241 261 10.1016/S1383-7621(00) 00048-5 (Pubitemid 32331116)
    • (2001) Journal of Systems Architecture , vol.47 , Issue.3-4 , pp. 241-261
    • Kuchcinski, K.1
  • 24
    • 84974687699 scopus 로고
    • Scheduling algorithms for multiprogramming in a hard-real-time environment
    • 10.1145/321738.321743 343898 0265.68013
    • CL Liu J Layland 1973 Scheduling algorithms for multiprogramming in a hard-real-time environment J ACM 20 1 46 61 10.1145/321738.321743 343898 0265.68013
    • (1973) J ACM , vol.20 , Issue.1 , pp. 46-61
    • Liu, C.L.1    Layland, J.2
  • 27
    • 34248325666 scopus 로고    scopus 로고
    • A model-based extensible framework for efficient application design using FPGA
    • DOI 10.1145/1230800.1230805
    • S Mohanty VK Prasanna 2007 A model-based extensible framework for efficient application design using FPGA ACM Trans Des Autom Electron Syst 12 2 13 10.1145/1230800.1230805 (Pubitemid 46737333)
    • (2007) ACM Transactions on Design Automation of Electronic Systems , vol.12 , Issue.2 , pp. 1230805
    • Mohanty, S.1    Prasanna, V.K.2
  • 28
    • 33847167747 scopus 로고    scopus 로고
    • Multiprocessor on chip: Beating the simulation wall through multiobjective design space exploration with direct execution
    • Mouhoub RB, Hammami O (2006) Multiprocessor on chip: beating the simulation wall through multiobjective design space exploration with direct execution. In: IPDPS
    • (2006) IPDPS
    • Mouhoub, R.B.1    Hammami, O.2
  • 29
    • 76749095237 scopus 로고    scopus 로고
    • http://www.mozart-oz.org/, May 2003
  • 31
    • 0142156696 scopus 로고    scopus 로고
    • Constraint-based design-space exploration and model synthesis
    • S Neema J Sztipanovits G Karsai K Butts 2003 Constraint-based design-space exploration and model synthesis Embed Softw Proc 2855 290 305
    • (2003) Embed Softw Proc , vol.2855 , pp. 290-305
    • Neema, S.1    Sztipanovits, J.2    Karsai, G.3    Butts, K.4
  • 34
    • 0026175224 scopus 로고
    • Synthesis of application-specific multiprocessor architectures
    • ACM Press San Francisco
    • Prakash S, Parker A (1991) Synthesis of application-specific multiprocessor architectures. In: Proceedings of the Design Automation Conference. ACM Press, San Francisco, pp 8-13
    • (1991) Proceedings of the Design Automation Conference , pp. 8-13
    • Prakash, S.1    Parker, A.2
  • 37
    • 85002157991 scopus 로고    scopus 로고
    • Off-line scheduling of a real-time system
    • ACM Press Atlanta
    • Schild K, Wurtz J (1998) Off-line scheduling of a real-time system. In: ACM symposium on applied computing. ACM Press, Atlanta, pp 29-38
    • (1998) ACM Symposium on Applied Computing , pp. 29-38
    • Schild, K.1    Wurtz, J.2
  • 39
    • 34547257978 scopus 로고    scopus 로고
    • Design space exploration using time and resource duality with the ant colony optimization
    • DOI 10.1145/1146909.1147028, 2006 43rd ACM/IEEE Design Automation Conference, DAC'06
    • Wang G, Gong W, DeRenzi B, Kastner R (2006) Design space exploration using time and resource duality with the ant colony optimization. In: DAC '06: proceedings of the 43rd annual conference on design automation. ACM, New York, pp 451-454 (Pubitemid 47129493)
    • (2006) Proceedings - Design Automation Conference , pp. 451-454
    • Wang, G.1    Gong, W.2    DeRenzi, B.3    Kastner, R.4
  • 42
    • 76749152041 scopus 로고    scopus 로고
    • Oz scheduler: A workbench for scheduling problems
    • IEEE Computer Society Press Toulouse
    • 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-139
    • (1996) IEEE International Conference on Tools with Artificial Intelligence , pp. 132-139
    • Wurtz, J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.