Search
Results 2471-2480 of 2486 (Search time: 0.008 seconds).
| NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
|---|---|
| Orientation selection for printing 3D models Son, Jeongho; Choi, Sunghee, 5th International Conference on 3D Imaging, IC3D 2015, Institute of Electrical and Electronics Engineers Inc., 2015-12 | |
| Improving Prediction Robustness of VAB-SVM for Cross-Project Defect Prediction Ryu, Duksan; Baik, Jong-Moon; Choi, Okjoo, 17th IEEE International Conference on Computational Science and Engineering, CSE 2014 - Jointly with 13th IEEE International Conference on Ubiquitous Computing and Communications, pp.994 - 999, IEEE, 2014-12-20 | |
| Crellvm: Verified credible compilation for LLVM Kang, Jeehoon; Kim, Yoonseung; Song, Youngju; Lee, Juneyoung; Park, Sanghoon; Shin, Mark Dongyeon; Kim, Yonghyun; Cho, Sungkeun; Choi, Joonwon; Hur, Chung-Kil; Yi, Kwangkeun, 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, pp.631 - 645, Association for Computing Machinery, 2018-06-22 | |
| Demo: User support for power management of continuous sensing applications Min, Chulhong; Yoo, Chungkuk; Choi, Sang-Won; Park, Pillsoon; Lee, Seungchul; Lee, Changhun; Choi, SeungPyo; Kang, Seungwoo; Lee, Youngki; Hwang, Inseok; Ju, Younghyun; Song, Junehwa, 13th ACM Conference on Embedded Networked Sensor Systems, SenSys 2015, pp.493 - 494, ACM SIGMOBILE and SIGCOMM, 2015-11 | |
| EvoGraph: An effective and efficient graph upscaling method for preserving graph properties Park, Him Chan; Kim, Min-Soo, ACM SIGKDD Conference on Knowledge Discovery and Data Mining, pp.2051 - 2059, Association for Computing Machinery, 2018-08-19 | |
| A promising semantics for relaxed-memory concurrency Kang, Jeehoon; Hur, Chung-Kil; Lahav, Ori; Vafeiadis, Viktor; Dreyer, Derek, 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, pp.175 - 189, Association for Computing Machinery, 2017-01-18 | |
| Lightweight verification of separate compilation Kang, Jeehoon; Kim, Yoonseung; Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pp.178 - 190, ACM SIGPLAN and SIGACT, 2016-01-20 | |
| A formal C memory model supporting integer-pointer casts Kang, Jeehoon; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp.326 - 335, ACM Special Interest Group on Programming Languages (SIGPLAN), 2015-06-16 | |
| Repairing sequential consistency in C/C++11 Lahav, Ori; Vafeiadis, Viktor; Kang, Jeehoon; Hur, Chung-Kil; Dreyer, Derek, 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, pp.618 - 632, Association for Computing Machinery, 2017-06-20 | |
| DistME: A Fast and Elastic Distributed Matrix Computation Engine using GPUs Han, Donghyoung; Park, Kyongseok; Nam, Yoon-Min; Kim, Hyunwoo; Lee, Jihye; Kim, Min-Soo, ACM SIGMOD International Conference on Management of Data, pp.759 - 774, Association for Computing Machinery, 2019-07-03 |
Discover
Type
- 10 Article
- 2,476 Conference