S-Space

Browse

Issue Date

Jump to a point in the index

Or type in a year

Sort by
In order
Results/Page
Authors/record

Showing results 241 to 260 of 581

Issue Date	Title / Author(s) / Citation	File
2020-04	컨볼루션 신경망의 신뢰도 규제를 이용한 CT 영상에서 악성 난소 종양 판별 방법 이민경; 정민영; 설애란; 정현훈; 신영길 한국차세대컴퓨팅학회 논문지, Vol.16 No.2, pp.80-87
2020-03	고성능 컴퓨팅 시스템에서의 RocksDB 병렬성 증대를 위한 최적의 자원 할당 기법 김화정; 염헌영; 손용석 정보과학회 컴퓨팅의 실제 논문지, Vol.26 No.3, pp.144-149	DOI
2020-03	Evanesco: Architectural support for efficient data sanitization in modern flash-based storage systems Kim, Myungsuk; Park, Jisung; Cho, Geonhee; Kim, Yoona; Orosa, Lois; Mutlu, Onur; Kim, Jihong International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, pp.1311-1326	DOI
2020-03	Memory efficient fork-based checkpointing mechanism for in-memory database systems Park, Jiwoong; Lee, Yunjae; Yeom, Heonyoung; Son, Yongseok Proceedings of the ACM Symposium on Applied Computing, pp.420-427	DOI
2020-03	An effective AP placement scheme for reliable wifi connection in industrial environment Lee, Han Ul; Jeon, Whasook; Jeong, Dong Geun Proceedings of the ACM Symposium on Applied Computing, pp.2137-2143	DOI
2020-03	An efficient garbage collection in java virtual machine via swap I/O optimization Lee, Hyojeong; Chen, Qichen; Yeom, Heonyoung; Son, Yongseok Proceedings of the ACM Symposium on Applied Computing, pp.1238-1245	DOI
2020-03	Conditionally optimal parallelization for global FP on multi-core systems Park, Daechul; Cho, Youngeun; Lee, Changgun Proceedings - 3rd International Conference on Information and Computer Technologies, ICICT 2020, pp.403-412	DOI
2020-03	Understanding features on evolutionary policy optimizations: Feature learning difference between gradient-based and evolutionary policy optimizations Lee, Sangyeop; Ha, Myoung Hoon; Moon, Byungro Proceedings of the ACM Symposium on Applied Computing, pp.1112-1118	DOI
2020-03	Development of genetic quality tests for good manufacturing practice-compliant induced pluripotent stem cells and their derivatives Jo, Hye-Yeong; Han, Hyo-Won; Jung, Inuk; Ju, Ji Hyeon; Park, Soon-Jung; Moon, Sunghwan; Geum, Dongho; Kim, Hyemin; Park, Han-Jin; Kim, Sun; Stacey, Glyn N.; Koo, Soo Kyung; Park, Mi-Hyun; Kim, Jung-Hyun Scientific Reports, Vol.10 No.1, p. 3939	DOI
2020-03	데이터 분포 관찰을 통한 공간 효율적인 Top-k Query 인코딩 이대영; Satti, Srinivasa Rao 정보과학회논문지, Vol.47 No.3, pp.235-239	DOI
2020-02	Sampling subgraphs with guaranteed treewidth for accurate and efficient graphical inference Yoo, Jaemin; Kang, U; Scanagatta, Mauro; Corani, Giorgio; Zaffalon, Marco WSDM 2020 - Proceedings of the 13th International Conference on Web Search and Data Mining, pp.708-716	DOI
2020-02	추가 정보를 고려한 상품 리뷰 요약 기법 윤재연; 이익훈; 이상구 정보과학회논문지, Vol.47 No.2, pp.180-188	DOI
2020-02	Random walk-based ranking in signed social networks: model and algorithms Jung, Jinhong; Jin, Woojeong; Kang, U. Knowledge and Information Systems, Vol.62 No.2, pp.571-610	DOI
2020-01	An Empirical Survey of Autonomous Scheduling Methods for TSCH Elsts, Atis; Kim, Seohyang; Kim, Hyung-Sin; Kim, Chongkwon IEEE Access, Vol.8, pp.67147-67165	DOI
2020-01	An equational theory for weak bisimulation via generalized parameterized coinduction Zakowski, Yannick; He, Paul; Hur, Chung-Kil; Zdancewic, Steve CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, pp.71-84	DOI
2020-01	Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems Lee, Wonseok; Jeong, Jaehwan; Park, Seonghyeon; Lee, Changgun Lecture Notes in Computer Science, Vol.11971 LNCS, pp.127-152	DOI
2020-01	Fast multiple pattern cartesian tree matching Gu, Geonmo; Song, Siwoo; Faro, Simone; Lecroq, Thierry; Park, Kunsoo Lecture Notes in Computer Science, Vol.12049 LNCS, pp.107-119	DOI
2020-01	Joint Radio Resource Management of Channel-Assignment and User-Association for Load Balancing in Dense WLAN Environment Oh, Hyun Seob; Jeong, Dong Geun; Jeon, Wha Sook IEEE Access, Vol.8, pp.69615-69628	DOI
2020-01	CompCertM: CompCert with C-assembly linking and lightweight modular verification Song, Youngju; Cho, Minki; Kim, Dongjoo; Kim, Yonghyun; Kang, Jeehoon; Hur, Chung-Kil Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 23	DOI
2020-01	Interaction trees: Representing recursive and impure programs in Coq Xia, Li-Yao; Zakowski, Yannick; He, Paul; Hur, Chung-Kil; Malecha, Gregory; Pierce, Benjamin C.; Zdancewic, Steve Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 51	DOI

1 10 11 12 13 14 15 16 30