| 2000 | Failure Recovery of Mobile Host in Mobile Environments. | Wonseok Kwon, Sungsoo Kim |
| 2000 | Characterization and Generalization of Honeycomb and Diamond Networks. | Ding-Ming Kwai, Behrooz Parhami |
| 2000 | A thermal compact modeling method using Response Surface Methodology with Genetic Algorithm. | Masanori Kuzuno, Toshihiko Nishio, Koji Koyamada |
| 2000 | The Evolution of Commercial Formal Verification. | Robert P. Kurshan |
| 2000 | Performance Verification Scheme for Data-Driven Real-time Processing. | Ryuichi Kudo, Yasuhiro Wabiko, Hiroaki Nishikawa |
| 2000 | Super-Integrated Data-Driven Processor Architecture for Interoperable Networking Environment. | Shin'ya Kudo, Kazuhiro Aoki, Hiroaki Nishikawa |
| 2000 | Implementation of the Distributed System for Data Acquisition, Processing and Analysis. | Vladimir V. Kryukov, Carina J. Shakheldyan |
| 2000 | Telegeoinformatics: A Novel Approach Towards Efficient Resource Allocation and Application and Protocol Development for Wireless Communications. | Prashant Krishnamurthy, Hassan A. Karimi, Prachyaporn Liangsutthisakon |
| 2000 | Performance Evaluations of a Multithreaded Java Microcontroller. | Jochen Kreuzinger, Matthias Pfeffer, A. Schulz, Theo Ungerer, Uwe Brinkschulte, C. Krakowski |
| 2000 | Array Visualization for Parallel Program Debugging. | Dieter Kranzlmller, Christian Schaubschlger, Jens Volkert |
| 2000 | A Java-based Course in Human-Computer Interaction. | Eileen T. Kraemer |
| 2000 | Polynomial Algorithms for Performance Evaluation of Communication Networks by Stochastic Regular Petri Nets. | Andrei Kovalyov, Robert D. McLeod, Olexandr Kovalyov |
| 2000 | Agent Navigator: A Model for Dynamic, Flexible Agent Mobility. | Kyriakos Koukoumpetsos, Nick Antonopoulos |
| 2000 | Interactive and Modular Optimization with InterPol. | Stefan Kortmann, Insung Park, Michael Voss, Rudolf Eigenmann |
| 2000 | Compiling a Conversation Policy's Implementation from its Validated Specification Model. | Jean-Luc Koning |
| 2000 | Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors. | Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda |
| 2000 | Removing Train Noise from Telluric Current Data by Neural Networks for Automatic Short-term Earthquake Prediction in Japan. | Mika Koganeyama, Moyo Sugita, Toshiyasu Nagao, Kazuki Joe |
| 2000 | Alnilam: An Extensible Python-Based Job Scheduler. | John Kochmar, Paul Nowoczynski, J. Ray Scott, Jason Sommerfield, Nathan Stone |
| 2000 | Creation and Embedding of Complex Parameterized Hardware Objects. | Andreas Koch |
| 2000 | A CSCW Middleware Evaluation and Performance Prediction Framework. | J. King, G. Ringwood |
| 2000 | Design and Implementation of Parallelized Linked List Class Library Using Pthread Library. | Hong-Soog Kim, Youngha Yoon, Dong-Soo Han |
| 2000 | Implementation and Performance Evaluation of an Operating System for the Single System Image Cluster. | Hae-Jin Kim, Kee-Wook Rim, Sang-Og Na, Dong-Soo Han |
| 2000 | The effective Noraebang (Karaoke) Service Algorithm using Multicast Delivery. | Dongsoo Kim, Backhyun Kim, Iksoo Kim, Yoseop Woo |
| 2000 | Alternatives to Enhance the Performance of Disk I/O in Ring-Based Multiprocessors. | Chul Hong Kim, Seong Tae Jhang, Chu Shik Jhon |
| 2000 | LTMOS: An Execution Engine for TMO-Based Real-time Distributed Objects. | Jung-Guk Kim, Sang-Young Cho |