Showing results 1 to 4 of 4
Concurrency bug detection through improved pattern matching using semantic information = 시맨틱 정보를 이용한 패턴 매칭을 통한 동시성 결함 검출link Hong, Shin; 홍신; et al, 한국과학기술원, 2010 |
Formal verification of concurrent lists in concurrent separation logic = 동시성 리스트들을 동시성 분리 논리로 엄밀하게 검증하기link Lee, Janggun; 이장건; et al, 한국과학기술원, 2024 |
동시적인 간접적 망외부성: 스마트폰 시장과 어플리케이션 시장의 분석 = Simultaneous indirect network externalities: Smartphone & Application marketslink 임형수; Lim, Hyung-Soo; et al, 한국과학기술원, 2011 |
연관규칙 마이닝에서의 동시성 기준 확장에 대한 연구 김미성; 김남규; 안재현, 지능정보연구, v.18, no.1, pp.23 - 38, 2012-03 |
Discover