지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1 서론
2 ACSR - VP(Algebra of Communication Shared Resources with Value Passing)와 스케줄 가능성 분석
3 ACSR - VP를 사용한 RT - Mach의 스케줄러 명세 작성과 검증
4 결론
참고 문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
ACSR-VP를 이용한 실시간 시스템의 스케줄링 기법에 대한 정형 명세와 검증
정보과학회논문지(A)
1998 .06
ACSR - VP를 이용한 Priority Ceiling Protocol의 명세와 검증
한국정보과학회 학술발표논문집
1997 .10
워크스테이션 연동 환경에서의 전역 스케줄러의 설계
한국정보과학회 학술발표논문집
1997 .10
프로세스 알제브라를 이용한 하드웨어 논리 회로의 검증
한국정보과학회 학술발표논문집
1998 .04
SPIN 과 ACSR - VP 를 이용한 Process Scheduling 모델링
한국정보과학회 학술발표논문집
1998 .10
ACSR을 이용한 실시간 운영체제의 Time Partitioning 분석
한국정보과학회 학술발표논문집
2003 .10
Statchart/ACSR:State chart와 ACSR을 조합한 정형 명세
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
SC/ACSR : ACSR과 Statechart를 조합한 정형 명세
한국정보과학회 학술발표논문집
2011 .06
차등화 서비스를 위한 리눅스 커널 스케줄러 설계 및 구현
한국정보과학회 학술발표논문집
2007 .06
ACSR을 이용한 자원 공유 기술 ( The Specification of Resource Sharing Using ACSR )
대한전자공학회 학술대회
1995 .01
실시간 시스템의 효과적 명세를 위한 Statecharts의 ACSR 변환
한국정보과학회 학술발표논문집
2002 .10
종단 호스트에서 QoS 보장을 위한 비례 분배 실시간 자원할당 기법
한국정보과학회 학술발표논문집
2003 .04
실시간 통신을 위한 Multiple Rotating Priority Queues 스케줄러
한국정보과학회 학술발표논문집
1998 .10
그리드 환경에서 글로벌 작업 스케줄러의 설계
한국정보과학회 학술발표논문집
2005 .11
화염으로 인한 ACSR 송전선의 수명예측에 관한 연구
조명·전기설비학회논문지
2005 .12
구간 스케줄 역 최적화 문제의 계산적 고찰
대한산업공학회 춘계공동학술대회 논문집
2019 .04
인장특성을 이용한 ACSR 수명예측에 관한 연구
조명·전기설비학회논문지
1999 .11
수술실 스케줄러 개발에 관한 연구
대한산업공학회 춘계공동학술대회 논문집
2015 .04
동기화 동작을 포함하는 분산 실시간 프로그램의 스케줄가능성 분석
(구)정보과학회논문지
1995 .03
2단계 빅데이터 프레임워크 스케줄러 구조가 지연 스케줄러의 성능에 미치는 영향
한국정보과학회 학술발표논문집
2018 .12
0