| 1999 | Refinement-based Semantics of Parallel Procedures. | Hanna Klaudel, Robert-C. Riemann |
| 1999 | Pipelined Systolic Multiplier for Finite Fields GF (2 | Hyun-Sung Kim, Kee-Young Yoo, Jung-Joon Kim, Tae-Geun Kim |
| 1999 | System Architecture for Supporting Mobile Applications by Using Proxy and Host Mobility. | Pyeong Jung Kim, Seok Hwan Yoon, Seong-il Jin |
| 1999 | An Efficient and Secure Electronic Micropayment Systems. | Youngdal Kim, Kwanho Song, Sunyoung Han |
| 1999 | A Buffing Algorithm for Providing the Truly Interactive Video-On-Demand Services. | Backhyun Kim, Suengchan Moon, Iksoo Kim, Yoseop Woo |
| 1999 | Fine Grained Register Allocation for EPIC Processors With Predication. | Hansoo Kim, Vinod Kathail, Kanchi Gopinath, Bhagirath Narahari |
| 1999 | An Environment for Real-Time Simulation Based on the TMO Model. | Moon-hae Kim, Jung-Guk Kim |
| 1999 | The UNIX Kernel Performance Observation Tool on Internet. | Hyung-Hwan Kim, Boo-Geum Jung, Eun-Hyang Lee, Dong-Sun Lim, Yoon Yong Park |
| 1999 | Optimistic Concurrency Control Algorithms Based on Recording in Mobile Computing Environments. | SungSuk Kim, Soon Young Jung, Chong-Sun Hwang |
| 1999 | Analysis of Public Key Infrastructure Systems for Authentication. | Jae-Woo Kim, Han-Jin Cho, Il-Sun Hwang, Sung-Yul Park, Jae-Kwang Lee |
| 1999 | A Fair Marker. | Hyogon Kim |
| 1999 | NestStep: Nested Parallelism and Virtual Memory for the BSP Model. | Christoph W. Keler |
| 1999 | Performance Models of An Interconnection Network for Broadcast Communication. | Constantine Katsinis |
| 1999 | Using User Hints to Guide Resource Management for Quality of Service. | Michael Katchabaw, Hanan Lutfiyya, Michael A. Bauer |
| 1999 | A Parallel Polygon Intersection Algorithm for Adaptive Grid Models. | Hassan A. Karimi, Jo Ellen Brandmeyer, Cheung (David) Wong, Alfred J. Bourgeois |
| 1999 | A Job-Allocation Scheme for Metacomputer on Heterogeneous Super-computing Resources. | Kyung-Woo Kang, Okhwan Byeon, Sung-Yul Park |
| 1999 | TREAT: Timed REachability Analysis Tool. | Inhye Kang |
| 1999 | Highly Scalable/Portable Parallel Computational Models for RTM Process Modeling Simulations. | Ramdev Kanapady, Kumar K. Tamma, A. Mark |
| 1999 | Galois Lattice Approach to Hardware/Software Partitioning. | Romain Kamdem, Patrick Njiwoua |
| 1999 | An Implementation of Loop Transformations with a Universal Intermediate Representation Interface Library. | Kazuko Kambe, Tsuneo Nakanishi, Kazuki Joe, Yoshitoshi Kunieda, Fujio Kako |
| 1999 | The Local Haar Condition in Parameter Estimation for Second Order Ordinary. | Zacharoula Kalogiratou, Jack Williams |
| 1999 | Hardware-Software Partition with Microcontrollers and CPLDs: A Case Study. | Walter Soto Encinas Jnior, Edson dos Santos Moreira |
| 1999 | A Space Efficient Algorithm in Global Predicate Detection. | Tong-Ying Tony Juang, Kun-Ming Yu, Shung-Yung Wang |
| 1999 | Run-time Result Certification for Distributed Computations. | Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson |
| 1999 | Performance Effect Analysis of False Sharing Problem in Clusters with Single I/O Space. | Hai Jin, Kai Hwang |