메뉴 건너뛰기




Volumn 1 2 VOLS, Issue , 2005, Pages 375-380

Data streams - An analysis of the interactions between real-time tasks

Author keywords

[No Author keywords available]

Indexed keywords

DATA STREAMS; DATAFLOW; DISTRIBUTED SYSTEMS; INTERTASK INTERACTION;

EID: 33847325165     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (4)

References (15)
  • 3
    • 0021375281 scopus 로고
    • Advanced Real-Time Languages for Distributed Industrial Process Control
    • February
    • Steusloff, H. U., "Advanced Real-Time Languages for Distributed Industrial Process Control", Computer, vol. 17, no. 2, pp. 37-46, February 1984.
    • (1984) Computer , vol.17 , Issue.2 , pp. 37-46
    • Steusloff, H.U.1
  • 4
    • 84976756573 scopus 로고
    • A Software Design Method for Real Time Systems
    • September
    • Gomaa, H., "A Software Design Method for Real Time Systems", CACM, vol. 27, no. 9, pp. 938-949, September 1984.
    • (1984) CACM , vol.27 , Issue.9 , pp. 938-949
    • Gomaa, H.1
  • 5
    • 0021976780 scopus 로고
    • Communication Modules: A Software Design Model for Concurrent Distributed Systems
    • January
    • Witt, B. I., "Communication Modules: A Software Design Model for Concurrent Distributed Systems", IEEE Computer, vol. 18, no. 1, pp. 67-77, January 1985.
    • (1985) IEEE Computer , vol.18 , Issue.1 , pp. 67-77
    • Witt, B.I.1
  • 8
    • 0024684902 scopus 로고
    • Aperiodic task scheduling for hard real-time systems
    • B. Sprunt, L. Sha, and J. Lehoczky. "Aperiodic task scheduling for hard real-time systems", Journal of Real-Time Systems, 1(1):27-60, 1989
    • (1989) Journal of Real-Time Systems , vol.1 , Issue.1 , pp. 27-60
    • Sprunt, B.1    Sha, L.2    Lehoczky, J.3
  • 9
    • 0030378498 scopus 로고    scopus 로고
    • Schedulability verification of real-time systems with extended time Petri nets
    • Okawa Y., Yoneda T., "Schedulability verification of real-time systems with extended time Petri nets", International Journal of Mini and Microcomputers, vol. 18, no 3, 1996, p. 148-156.
    • (1996) International Journal of Mini and Microcomputers , vol.18 , Issue.3 , pp. 148-156
    • Okawa, Y.1    Yoneda, T.2
  • 10
    • 0031334975 scopus 로고    scopus 로고
    • Toussaint, J., F. Simonot-Lion and Jean-Pierre Thomesse (1997). Time constraint verifications methods based time petri nets. In: 6th Workshop on Future Trends in Distributed Computing Systems (FT-DCS'97). Tunis, Tunisia, pp. 262-267.
    • Toussaint, J., F. Simonot-Lion and Jean-Pierre Thomesse (1997). Time constraint verifications methods based time petri nets. In: 6th Workshop on Future Trends in Distributed Computing Systems (FT-DCS'97). Tunis, Tunisia, pp. 262-267.


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