인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 저자정보
초록·키워드
실시간성을 갖는 안전필수 시스템에서 실시간 요구사항의 만족 실패는 사고를 초래할 수 있고 심각한 인명 피해나 재산상의 피해를 야기할 수 있다. 스케줄 가능성 분석은 이러한 시스템의 행위를 예측하기 위한 방법으로 실시간 시스템의 실시간성 만족을 확인하기 위한 좋은 방법이다. 본 논문에서는 제약 만족 문제 방식(Constraint Satisfaction Problem)을 통한 스케줄 가능성 분석 방법을 제안한다. 스케줄러의 행위 분석을 통해 ... 전체 초록 보기
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
최근 본 자료 전체보기
UCI(KEPA) : I410-ECN-0101-2018-569-001726051