메뉴 건너뛰기




Volumn 2003-January, Issue , 2003, Pages 452-458

A game-theoretic approach for binding in behavioral synthesis

Author keywords

Circuit synthesis; Energy consumption; Game theory; High performance computing; Linear programming; Nash equilibrium; Portable computers; Processor scheduling; Registers; Very large scale integration

Indexed keywords

ALGORITHMS; BINDING ENERGY; COMPUTATION THEORY; COMPUTER GAMES; COMPUTER PROGRAMMING; DESIGN; ELECTRIC POWER UTILIZATION; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; ENERGY UTILIZATION; HIGH LEVEL SYNTHESIS; LINEAR PROGRAMMING; MICROCOMPUTERS; SYSTEMS ANALYSIS; VLSI CIRCUITS;

EID: 1142307735     PISSN: 10639667     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICVD.2003.1183176     Document Type: Conference Paper
Times cited : (8)

References (21)
  • 5
    • 0031675044 scopus 로고    scopus 로고
    • Low-power driven scheduling and binding
    • Crenshaw J. and Sarrafzadeh M. Low-power driven scheduling and binding. Proc. ACM GLSVLSI, pp. 406-413, 1998.
    • (1998) Proc. ACM GLSVLSI , pp. 406-413
    • Crenshaw, J.1    Sarrafzadeh, M.2
  • 10
    • 0000291018 scopus 로고
    • The bargaining problem
    • Apr.
    • Nash J. F. The bargaining problem. Econometrica, 18(2):155-162, Apr. 1950.
    • (1950) Econometrica , vol.18 , Issue.2 , pp. 155-162
    • Nash, J.F.1
  • 11
    • 0001730497 scopus 로고
    • Non-cooperative games
    • Sep.
    • Nash J. F. Non-cooperative games. Anals of Mathematics, 54(2):286-295, Sep. 1951.
    • (1951) Anals of Mathematics , vol.54 , Issue.2 , pp. 286-295
    • Nash, J.F.1
  • 15
    • 0023983163 scopus 로고
    • Sehwa: A software package for synthesis of pipelines from behavioral specifications
    • Mar.
    • Park N. and Parker A. C. Sehwa: A software package for synthesis of pipelines from behavioral specifications. IEEE Trans. on Computer-Aided Design, 7(3):356-370, Mar. 1988.
    • (1988) IEEE Trans. on Computer-Aided Design , vol.7 , Issue.3 , pp. 356-370
    • Park, N.1    Parker, A.C.2
  • 17
    • 84952776604 scopus 로고    scopus 로고
    • A model checking approach to evaluating system level dynamic power management policies for embedded systems
    • Shukla S. K. and Gupta R. K. A model checking approach to evaluating system level dynamic power management policies for embedded systems. Proc. IEEE Intl. High-level validation and Test Workshop, pp. 53-57, 2001.
    • (2001) Proc. IEEE Intl. High-level Validation and Test Workshop , pp. 53-57
    • Shukla, S.K.1    Gupta, R.K.2
  • 18
    • 0033886673 scopus 로고    scopus 로고
    • CREAM: Combined register and module assignment with floor-planning for low power data-path synthesis
    • Srikantam V. K., Ranganathan N. and Srinivasan S. CREAM: combined register and module assignment with floor-planning for low power data-path synthesis. Proc. IEEE Intl. Conf. on VLSI Design, pp. 228-223, 2000.
    • (2000) Proc. IEEE Intl. Conf. on VLSI Design , pp. 228-1223
    • Srikantam, V.K.1    Ranganathan, N.2    Srinivasan, S.3
  • 19
    • 0029708194 scopus 로고    scopus 로고
    • An accurate interconnection lenght estimation for computer logic
    • Stroobandt D., Marck H. V. and Campenhout J. V. An accurate interconnection lenght estimation for computer logic. Proc. IEEE GLSVLSI, pp. 50-55, 1996.
    • (1996) Proc. IEEE GLSVLSI , pp. 50-55
    • Stroobandt, D.1    Marck, H.V.2    Campenhout, J.V.3


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