References
- R.Milner, Communication and Concurrency. Prentice Hall, 1989
- Insup Lee, Patrice Bremond-Gregorie, and Richard Gerber, 'A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems,' Proceedings of the IEEE, pp. 158-171, Jan. 1994 https://doi.org/10.1109/5.259433
- T. Cook, P. franzon, E. Harcourt, and T. Miller. 'System-Level Specification of Instruction Sets,' Proc. of the Internatinal Conference on Computer Design, 1993 https://doi.org/10.1109/ICCD.1993.393316
- D. Patterson and J. Hennesy, Computer Architecture: A Quantitative Approach, Morgan Kauffman, 1990
- M. Johnson. Superscalar Microprocessor Design, Prentice-Hall, 1991
- R. Rau and J. Fisher. 'Instruction-Level Prallel Prodessing: History, Overview, and Perspective,' Journal of Supercomputing, July, 1993 https://doi.org/10.1007/BF01205181
- N. Zhang, A. Burns, and M. Nicholson, 'Pipelined Processors and Worst-Case Execution Times,' Real-Time Systems, Vol. 5, No.4, pp. 319-343, Oct. 1993 https://doi.org/10.1007/BF01088834
- S. -S. Lim, Y. H. Bae, G. T. Jang, etc., 'An Accurate Worst Case Timing Analysis for RISC Processors,' IEEE Transactions on Software Engineering, Vol. 21, No.7, pp. 593-604, July 1995 https://doi.org/10.1109/32.392980
- C. A. Healy, D. B. Whalley, and M. G. Harmon, 'Integrating the Timing Analysis of Pipelining and Instruction Caching,' Proceedings of the 16th Real-Time Systems Symposium, pp. 288-297, Dec. 1995 https://doi.org/10.1109/REAL.1995.495218
- E. Harcourt, J. Mauney, and T. Cook. 'Specification of Instruction-Level Parallelism,' In Proc. of the North American Process Algebra Workshop, 1993
- Jin-Young Choi, Insup Lee, and Inhye Kang, 'Timing Analysis of Superscalar Processor Programs Using ACSR,' IEEE Real-Time Systems Newsletter, Vol. 10, No. 1/2, 1994 https://doi.org/10.1109/RTOSS.1994.292559
- L. Sha, R. Rajkumar, and J. Lehoczky, 'Priority Inheritance Protocols: An Approach to Real-Time Synchronization,' IEEE Transactions on Computers, Vol. 39, No.9, Sept. 1990 https://doi.org/10.1109/12.57058
- Hanene Ben-Abdallah, Jin- Young Choi, Duncan Clarke, Young Si Kim, Insup Lee, and Hong-Liang Xie, 'A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems,' Real-Time Systems Journal, to appear https://doi.org/10.1023/A:1008047130023
- 염성묵, 최진영, 'ACSR-VP를 이용한 Priority Ceiling Protocol의 명세와 검증', 정보 과학회 추계 학술 대회, pp. 619-622, 1997
- 이기흔, 최진영, '분기 명령어를 포함한 수퍼스칼라 프로그램의 타이밍 분석', 정보 과학회 추계 학술 대회, pp. 475-478, 1997
- 이기흔, 최진영, 'ACSMR을 이용한 수퍼스칼라 프로그램의 타이밍 분석,' 정보 과학회 춘계 학술 대회, pp. 620-622. 1998
- 유희준, 최진영, 'ACSMR을 이용한 다중 프로세서에 대한 스케줄링 분석', 정보 과학회 춘계 학술 대회, pp. 593-595, 1998
- 유희준, 이기흔, 최진영, 'ACSMR을 이용한 수퍼스칼라 프로세서 프로그램의 비순차 정렬 명령어의 타이밍 분석', 병렬처리시스템 학술발표회, No.17, 제9권, 제2호, 1998
- 이기흔, 최진영, 'ACSR을 이용한 비순차 수퍼스칼라 프로세서의 시간 분석', 정보과학회 추계 학술 대회, pp. 697-699, 1998