サインイン
インサイト - 컴퓨터과학
선형 시간 속성을 위한 펼침을 이용한 부분 순서 확인
펼침을 이용한 부분 순서 확인의 새로운 방법 제안
선형 시간 속성을 위한 펼침을 이용한 부분 순서 확인
펼침을 이용한 부분 순서 확인의 새로운 방법 제안
컴퓨팅 깊이의 계산적 연결
컴퓨팅 깊이의 계산적 연결을 탐구하고, 강한 깊이와 약한 깊이의 관계를 연구합니다.
배열 사용 패턴의 실증적 연구
실제 프로그램에서 배열 사용 특성과 액세스 패턴을 조사하여 최적화 가능한 전략 제시
코드를 통한 선형 블록 코드 및 합성 코드 생성 방법
코드 생성을 위한 유닛 스키마의 활용과 그 결과로 얻어지는 선형 블록 코드 및 합성 코드의 생성 방법
