메뉴 건너뛰기




Volumn , Issue , 2005, Pages 13-1-13-15

Quasi-static scheduling of concurrent specifications

Author keywords

[No Author keywords available]

Indexed keywords


EID: 54249164977     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1201/9781420038163     Document Type: Chapter
Times cited : (2)

References (19)
  • 1
    • 0023138886 scopus 로고
    • Static scheduling of synchronous data flow graphs for digital signal processing
    • E.A. Lee and D.G. Messerschmitt. Static scheduling of synchronous data flow graphs for digital signal processing. IEEE Transactions on Computers, C-36(1), 24-35, 1987.
    • (1987) IEEE Transactions on Computers , vol.36 C , Issue.1 , pp. 24-35
    • Lee, E.A.1    Messerschmitt, D.G.2
  • 2
    • 0000087207 scopus 로고
    • The semantics of a simple language for parallel programming
    • August
    • G. Kahn. The semantics of a simple language for parallel programming. In Proceedings of IFIP Congress, August 1974.
    • (1974) Proceedings of IFIP Congress
    • Kahn, G.1
  • 3
    • 0003843704 scopus 로고
    • International Series in Computer Science. Prentice Hall, Hertfordshire
    • C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, Hertfordshire, 1985.
    • (1985) Communicating Sequential Processes
    • Hoare, C.A.R.1
  • 9
    • 0003570574 scopus 로고
    • Ph.D. thesis, Department of EECS, University of California, Berkeley, Technical report UCB/ERL 95/105
    • T.M. Parks. Bounded Scheduling of Process Networks. Ph.D. thesis, Department of EECS, University of California, Berkeley, 1995. Technical report UCB/ERL 95/105.
    • (1995) Bounded Scheduling of Process Networks
    • Parks, T.M.1
  • 16
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis, and applications
    • T. Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4), 541-580, 1989.
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1


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