메뉴 건너뛰기




Volumn 49, Issue 11, 2000, Pages 1155-1169

Parametric design synthesis of distributed embedded systems

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; PERFORMANCE; PROBABILITY DISTRIBUTIONS; SCHEDULING;

EID: 0034317753     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.895934     Document Type: Article
Times cited : (14)

References (39)
  • 1
    • 0000181650 scopus 로고
    • Preemptive Priority Based Scheduling: An Appropriate Engineering Approach
    • S. Son, ed., Prentice Hall
    • A. Burns, "Preemptive Priority Based Scheduling: An Appropriate Engineering Approach," Principles of Real-Time Systems, S. Son, ed., Prentice Hall, 1994.
    • (1994) Principles of Real-Time Systems
    • Burns, A.1
  • 2
    • 0026000660 scopus 로고
    • A Calculus for Network Delay, Part I: Network Elements in Isloation
    • R.L. Cruz, "A Calculus for Network Delay, Part I: Network Elements in Isloation," IEEE Trans. Information Theory, vol. 37, no. 1, pp. 114-131, 1991.
    • (1991) IEEE Trans. Information Theory , vol.37 , Issue.1 , pp. 114-131
    • Cruz, R.L.1
  • 3
    • 0024889726 scopus 로고
    • Analysis and Simulation of a Fair Queueing Algorithm
    • Sept.
    • A. Demers, "Analysis and Simulation of a Fair Queueing Algorithm," Proc. ACM SIGCOMM, pp. 1-12, Sept. 1989.
    • (1989) Proc. ACM SIGCOMM , pp. 1-12
    • Demers, A.1
  • 4
    • 0001770373 scopus 로고    scopus 로고
    • Algorithms for Scheduling Real-Time Tasks with Input Error and End-to-End Deadlines
    • Feb.
    • W.-C. Feng and J.W.-S. Liu, "Algorithms for Scheduling Real-Time Tasks with Input Error and End-to-End Deadlines," IEEE Trans. Software Eng., vol. 23, no. 2, pp. 93-106, Feb. 1997.
    • (1997) IEEE Trans. Software Eng. , vol.23 , Issue.2 , pp. 93-106
    • Feng, W.-C.1    Liu, J.W.-S.2
  • 5
    • 84856197031 scopus 로고
    • Leave-in-Time: A New Service Discipline for Real-Time Communications in a Packet-Switching Network
    • Oct.
    • N.R. Figueira and J. Pasquale, "Leave-in-Time: A New Service Discipline for Real-Time Communications in a Packet-Switching Network," Proc. ACM SIGCOMM, pp. 207-218, Oct. 1995.
    • (1995) Proc. ACM SIGCOMM , pp. 207-218
    • Figueira, N.R.1    Pasquale, J.2
  • 6
    • 33749885159 scopus 로고    scopus 로고
    • Communication Configurator for Fieldbus: An Algorithm to Schedule Transmission of Data and Messages
    • Nov.
    • L. Franco, "Communication Configurator for Fieldbus: An Algorithm to Schedule Transmission of Data and Messages," Proc. IFAC/IFIP Workshop Real Time Programming, Nov. 1996.
    • (1996) Proc. IFAC/IFIP Workshop Real Time Programming
    • Franco, L.1
  • 7
    • 33749918102 scopus 로고    scopus 로고
    • Transmission Scheduling for Fieldbus: A Strategy to Schedule Data and Messages on Fieldbus with End-to-End Constraints
    • Dec.
    • L. Franco, "Transmission Scheduling for Fieldbus: A Strategy to Schedule Data and Messages on Fieldbus with End-to-End Constraints," Proc. IEEE Int'l Symp. Intelligent Systems/Automation and Robotics (IAR), Dec. 1996.
    • (1996) Proc. IEEE Int'l Symp. Intelligent Systems/Automation and Robotics (IAR)
    • Franco, L.1
  • 8
    • 0029346629 scopus 로고
    • Guaranteeing Real-Time Requirements with Resource-Based Calibration of Periodic Processes
    • July
    • R. Gerber, S. Hong, and M. Saksena, "Guaranteeing Real-Time Requirements with Resource-Based Calibration of Periodic Processes," IEEE Trans. Software Eng., vol. 21, no. 7, July 1995.
    • (1995) IEEE Trans. Software Eng. , vol.21 , Issue.7
    • Gerber, R.1    Hong, S.2    Saksena, M.3
  • 9
    • 1542353080 scopus 로고    scopus 로고
    • End-to-End Design of Real-Time Systems
    • C. Heitmeyer and D. Mandrioli, eds., chapter 10, Wiley
    • R. Gerber, D.-I. Kang, S. Hong, and M. Saksena, "End-to-End Design of Real-Time Systems," Formal Methods for Real-Time Computing, C. Heitmeyer and D. Mandrioli, eds., chapter 10, pp. 237-265, Wiley, 1996.
    • (1996) Formal Methods for Real-Time Computing , pp. 237-265
    • Gerber, R.1    Kang, D.-I.2    Hong, S.3    Saksena, M.4
  • 11
    • 0031344513 scopus 로고    scopus 로고
    • Analyzing the Real-Time Properties of a Dataflow Execution Paradigm Using a Synthetic Aperture Radar Application
    • June
    • S. Goddard and K. Jeffay, "Analyzing the Real-Time Properties of a Dataflow Execution Paradigm Using a Synthetic Aperture Radar Application," Proc. IEEE Real-Time Technology and Applications Symp., June 1997.
    • (1997) Proc. IEEE Real-Time Technology and Applications Symp.
    • Goddard, S.1    Jeffay, K.2
  • 12
    • 0026369311 scopus 로고
    • Congestion-Free Communication in High-Speed Packet Networks
    • S.J. Golestani, "Congestion-Free Communication in High-Speed Packet Networks," IEEE Trans. Comm., vol. 39, no. 12, pp. 1,802-1,812, 1991.
    • (1991) IEEE Trans. Comm. , vol.39 , Issue.12
    • Golestani, S.J.1
  • 14
    • 33749958816 scopus 로고
    • Network Algorithms and Protocol for Multimedia Servers
    • Mar.
    • P. Goyal and H.M. Vin, "Network Algorithms and Protocol for Multimedia Servers," Proc. IEEE INFOCOM, Mar. 1993.
    • (1993) Proc. IEEE INFOCOM
    • Goyal, P.1    Vin, H.M.2
  • 15
    • 0026387958 scopus 로고
    • Fixed Priority Scheduling of Periodic Tasks with Varying Execution Priority
    • Dec.
    • M. Harbour, M. Klein, and J. Lehoczky, "Fixed Priority Scheduling of Periodic Tasks with Varying Execution Priority," Proc. IEEE Real-Time Systems Symp., pp. 116-128, Dec. 1991.
    • (1991) Proc. IEEE Real-Time Systems Symp. , pp. 116-128
    • Harbour, M.1    Klein, M.2    Lehoczky, J.3
  • 19
    • 84880912464 scopus 로고
    • An Optimal Algorithm for Scheduling Soft-Aperiodic Tasks in Fixed-Priority Preemptive Systems
    • Dec.
    • J.P. Lehoczky and S. Ramos-Thuel, "An Optimal Algorithm for Scheduling Soft-Aperiodic Tasks in Fixed-Priority Preemptive Systems," Proc. IEEE Real-Time Systems Symp., pp. 110-123, Dec. 1992.
    • (1992) Proc. IEEE Real-Time Systems Symp. , pp. 110-123
    • Lehoczky, J.P.1    Ramos-Thuel, S.2
  • 20
    • 84976788276 scopus 로고
    • A Note on the Preemptive Scheduling of Periodic, Real-Time Tasks
    • Nov.
    • J. Leung and M. Merill, "A Note on the Preemptive Scheduling of Periodic, Real-Time Tasks," Information Processing Letters, vol. 11, no. 3, pp. 115-118, Nov. 1980.
    • (1980) Information Processing Letters , vol.11 , Issue.3 , pp. 115-118
    • Leung, J.1    Merill, M.2
  • 21
    • 84974687699 scopus 로고
    • Scheduling Algorithm for Multiprogramming in a Hard Real-Time Environment
    • Jan.
    • C. Liu and J. Layland, "Scheduling Algorithm for Multiprogramming in a Hard Real-Time Environment," J. ACM, vol. 20, no. 1, pp. 46-61, Jan. 1973.
    • (1973) J. ACM , vol.20 , Issue.1 , pp. 46-61
    • Liu, C.1    Layland, J.2
  • 23
    • 0026965732 scopus 로고
    • A Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks - The Single Node Case
    • Mar.
    • A.K. Parekh and G. Gallager, "A Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks - The Single Node Case," Proc. IEEE INFOCOM, pp. 915-924, Mar. 1992.
    • (1992) Proc. IEEE INFOCOM , pp. 915-924
    • Parekh, A.K.1    Gallager, G.2
  • 24
    • 0027148124 scopus 로고
    • A Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks - The Multiple Node Case
    • Mar.
    • A.K. Parekh and G. Gallager, "A Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks - The Multiple Node Case," Proc. IEEE INFOCOM, pp. 521-530, Mar. 1993.
    • (1993) Proc. IEEE INFOCOM , pp. 521-530
    • Parekh, A.K.1    Gallager, G.2
  • 26
    • 0028574679 scopus 로고
    • A Real-Time Scheduling Framework for Packet-Switched Networks
    • Dec.
    • S. Sathaye and J. Strosnider, "A Real-Time Scheduling Framework for Packet-Switched Networks," Proc. IEEE Real-Time Systems Symp., pp. 182-191, Dec. 1994.
    • (1994) Proc. IEEE Real-Time Systems Symp. , pp. 182-191
    • Sathaye, S.1    Strosnider, J.2
  • 28
    • 0003536746 scopus 로고
    • A Reservation-Based Algorithm for Scheduling Both Periodic and Aperiodic Real-Time Tasks
    • Dec.
    • K.G. Shin and Y.-C. Chang, "A Reservation-Based Algorithm for Scheduling Both Periodic and Aperiodic Real-Time Tasks," IEEE Trans. Computers, vol. 44, no. 12, pp. 1,405-1,419, Dec. 1995.
    • (1995) IEEE Trans. Computers , vol.44 , Issue.12
    • Shin, K.G.1    Chang, Y.-C.2
  • 31
    • 0029378832 scopus 로고
    • Analysis of Hard Real-Time Communication
    • Sept.
    • K. Tindell, A. Burns, and A. Wellings, "Analysis of Hard Real-Time Communication," J. Real-Time Systems, vol. 9, pp. 147-171, Sept. 1995.
    • (1995) J. Real-Time Systems , vol.9 , pp. 147-171
    • Tindell, K.1    Burns, A.2    Wellings, A.3
  • 33
    • 0003699678 scopus 로고
    • Stride Scheduling: Deterministic Proportional-Share Resource Management
    • MIT Laboratory for Computer Science, June
    • C.A. WAldspurger and W.E. Weihl, "Stride Scheduling: Deterministic Proportional-Share Resource Management," Technical Report MIT/LCS/TM-528, MIT Laboratory for Computer Science, June 1995.
    • (1995) Technical Report MIT/LCS/TM-528
    • Waldspurger, C.A.1    Weihl, W.E.2
  • 34
    • 85032864354 scopus 로고
    • On PerSession End-to-End Delay Distributions and the Call Admission Problem for Real-time Applications with QOS Requirements
    • Sept.
    • D. Yates, J. Kurose, D. Towsley, and M.G. Hluchyj, "On PerSession End-to-End Delay Distributions and the Call Admission Problem for Real-time Applications with QOS Requirements," Proc. ACM SIGCOMM, Sept. 1993.
    • (1993) Proc. ACM SIGCOMM
    • Yates, D.1    Kurose, J.2    Towsley, D.3    Hluchyj, M.G.4
  • 36
    • 0027150984 scopus 로고
    • Rate-Controlled Static-Priority Queueing
    • Sept.
    • H. Zhang and D. Ferrari, "Rate-Controlled Static-Priority Queueing," Proc. IEEE INFOCOM, pp. 227-236, Sept. 1993.
    • (1993) Proc. IEEE INFOCOM , pp. 227-236
    • Zhang, H.1    Ferrari, D.2
  • 37
    • 0001030122 scopus 로고
    • Providing End-to-End Statistical Performance Guarantees with Bounding Interval Dependent Stochastic Models
    • May
    • H. Zhang and E.W. Knightly, "Providing End-to-End Statistical Performance Guarantees with Bounding Interval Dependent Stochastic Models," Proc. ACM SIGMETRICS, May 1994.
    • (1994) Proc. ACM SIGMETRICS
    • Zhang, H.1    Knightly, E.W.2
  • 38
    • 85030153179 scopus 로고
    • VirtualClock: A New Traffic Control Algorithm for Packet Switching Networks
    • Sept.
    • L. Zhang, "VirtualClock: A New Traffic Control Algorithm for Packet Switching Networks," Proc. ACM SIGCOMM, pp. 19-29, Sept. 1990.
    • (1990) Proc. ACM SIGCOMM , pp. 19-29
    • Zhang, L.1
  • 39
    • 84974742513 scopus 로고
    • Statistical Analysis of Generalized Processor Sharing Scheduling Discipline
    • Aug.
    • Z. Zhang, D. Towsley, and J. Kurose, "Statistical Analysis of Generalized Processor Sharing Scheduling Discipline," Proc. ACM SIGCOMM, pp. 68-77, Aug. 1994.
    • (1994) Proc. ACM SIGCOMM , pp. 68-77
    • Zhang, Z.1    Towsley, D.2    Kurose, J.3


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