- Conference Papers
- Chun-Kun Wang and Hao Xu. Formalizing Data Management Systems: a Case Study of Syndicate Protocol. [PDF].
Proceedings of the 2017 International Conference on Computational Science and Computational Intelligence, Las Vegas, Nevada, USA, pp. 1031-1034, Dec. 14-16, 2017.
- Chun-Kun Wang. Selection of Parallel Runtime Systems for Tasking Models. [PDF].
Proceedings of the 2017 International Conference on Computational Science and Computational Intelligence, Las Vegas, Nevada, USA, pp. 1091-1096, Dec. 14-16, 2017.
- Chun-Kun Wang and Peng-Sheng Chen. Generating Task Clauses for OpenMP Programs. [PDF].
The 20th Workshop on Compiler Techniques and System Software for High Performance and Embedded Computing, Taiwan, pp. 71-76, May 29-30, 2014.
- Journal Papers
- Chun-Kun Wang and Peng-Sheng Chen. Automatic Scoping of Task Clauses for OpenMP Tasking Model. [PDF].
Journal of Supercomputing, Vol 71, Issue 3, pp. 808-823, Mar. 2015.
- Chun-Kun Wang, Maw-Ren Lee, Ching-Ju Chen, Yen-Lin Su, Shi-Wu Lo, Jiun-In Guo, Yuan-Sun Chu, and Peng-Sheng Chen.
Design and Implementation of an Android Remote Real Time Multimedia Desktop System (Chinese). [PDF].
Institute of Information and Computing Machinery, Taiwan, Vol. 14, No.1, pp. 37-51, Mar. 2011.
- Technical Reports
- Chun-Kun Wang and Hao Xu.
A Survey of Reasoning Methods for Concurrent Systems. [PDF].
Department of Computer Science, University of North Carolina at Chapel Hill, Dec. 14, 2017.
- Poster and Demo
- Kheng-Joo Tan, Guo-An Jian, Chia-Hsiang Chen, Dou-Cheng Chang, Chun-Kun Wang, Maw-Ren Lee, Peng-Sheng Chen, and Yuan-Sun Chu.
A Remote Thin Client System for Real Time Multimedia Streaming Applications. [PDF].
IEEE International Conference on Multimedia & Expo (ICME), Singapore, July 19-23, 2010.
|