지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. ACSMR의 Syntax
3. ACSMR의 Operational Semanties
4. Specification of EDF for Multiprocessor Using ACSMR
5. 결론
6. 참고 문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
다중 공유 자원을 위한 프로세스 대수
정보과학회논문지 : 시스템 및 이론
2000 .03
ACSMR을 이용한 슈퍼 스케일러 프로세서 프로그램의 타이밍 분석
한국정보과학회 학술발표논문집
1998 .04
ATM을 위한 프로세스 스케줄링에 관한 연구
한국정보과학회 학술발표논문집
2001 .04
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
멀티프로세서 시스템에서 실시간 태스크들의 성공률을 개선한 스케줄링 알고리즘
한국정보과학회 학술발표논문집
1998 .10
멀티프로세서 시스템에서의 실시간 태스크 스케줄링 연구 동향과 도전 과제
정보과학회지
2017 .10
실시간 객체를 위한 명세 및 분석 방법
한국정보과학회 학술발표논문집
1995 .10
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
1998 .04
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계
한국정보과학회 학술발표논문집
1992 .10
신경망을 이용한 실시간 멀티프로세서 스케줄링 알고리즘과 하드웨어 설계 ( Real-Time Multiprocessor Scheduling Algorithm using Neural Network and Its Hardware Design )
전자공학회논문지-CI
2000 .07
실시간 객체 지향 모델을 지원하기 위한 정형 명세
한국정보과학회 학술발표논문집
1999 .10
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
VDM 모듈에서 자료흐름도로의 명세변환
한국정보과학회 학술발표논문집
1993 .10
RTO.k와 RTL을 이용한 실시간 시스템(무인자동차 시스템)의 정형적 명세
한국정보과학회 학술발표논문집
1995 .04
멀티미디어 지원을 위한 다중 프로세서 시스템에서 실시간 스케쥴링 기법
한국정보통신학회논문지
1997 .12
대수명세의 구현과 증분식 테스팅
한국정보과학회 학술발표논문집
1990 .10
XML 기반의 컴포넌트 명세 언어
한국정보과학회 학술발표논문집
1999 .10
충전이 가능한 전력 자원을 기반으로 한 프로세스 스케줄링 기법
한국정보과학회 학술발표논문집
2004 .10
ACSR-VP를 이용한 실시간 시스템의 스케줄링 기법에 대한 정형 명세와 검증
정보과학회논문지(A)
1998 .06
0