검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Evaluation and Comparison of Integer Programming Solvers for Hard Real-Time Scheduling 하드 실시간 스케줄링을 위한 정수 프로그래밍 솔버의 평가 및 비교

Ana GUASQUE, Patricia BALBASTRE

  • 조회수

    0

  • 이것을 인용

요약 :

하드 실시간 시스템의 실행 가능한 일정을 얻기 위해서는 휴리스틱 기반 기술이 선택되는 솔루션입니다. 지난 몇 년 동안 최적화 솔버는 수많은 제약 조건을 처리하는 능력으로 인해 연구 커뮤니티로부터 주목을 받았습니다. 최근 일부 연구에서는 실시간 시스템의 모노 프로세서 스케줄링을 해결하기 위해 정수 선형 프로그래밍(ILP)을 사용했습니다. 실제로 ILP는 다중 프로세서 시스템의 정적 스케줄링에 일반적으로 사용됩니다. 그러나 문제를 불분명하게 해결하기 위해 두 가지 주요 솔버가 사용됩니다. 그러나 하드 실시간 시스템을 위한 예약 가능한 시스템을 확보하는 데 가장 적합한 시스템은 무엇입니까? 이 문서에서는 단일 프로세서 하드 실시간 시스템에서 실행 가능한 일정을 찾는 문제에 대해 두 가지 잘 알려진 최적화 소프트웨어 패키지(CPLEX 및 GUROBI)를 비교합니다.

발행
IEICE TRANSACTIONS on Information Vol.E105-D No.10 pp.1726-1733
발행일
2022/10/01
공개일
2022/07/21
온라인 ISSN
1745-1361
DOI
10.1587/transinf.2022EDP7073
원고의 종류
PAPER
범주
정보시스템의 기초

작성자

Ana GUASQUE
  Universitat Politècnica de València
Patricia BALBASTRE
  Universitat Politècnica de València

키워드