Showing results 2 to 4 of 4
Concurrency bug detection through improved pattern matching using semantic information = 시맨틱 정보를 이용한 패턴 매칭을 통한 동시성 결함 검출link Hong, Shin; 홍신; et al, 한국과학기술원, 2010 |
Effective pattern-driven concurrency bug detection for operating systems Hong, Shin; Kim, Moon-Zoo, JOURNAL OF SYSTEMS AND SOFTWARE, v.86, no.2, pp.377 - 388, 2013-02 |
IPv6 기반의 explicit multicast 시스템 = Development of explicit multicast system over IPv6link 조은진; Cho, Eun-Jin; et al, 한국과학기술원, 2002 |
Discover