| 2000 | Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability. | Peter T. Popov, Lorenzo Strigini, Bev Littlewood |
| 2000 | Parallelism and granularity in time dependent approaches to reactive scattering calculations. | Valentina Piermarini, Antonio Lagan, Gabriel G. Balint-Kurti, Lorna Smith, Robert J. Allan |
| 2000 | Occam on Field Programmable Gate Arrays - Fast Prototyping of Parallel Embedded Systems. | Roger M. A. Peel, Barry M. Cook |
| 2000 | Distributed Source Code Debugging for Embedded Systems. | Dale Parson, Luis Herrera-Bendez, James Vollmer |
| 2000 | An Efficient Distributed Algorithm Reconstructing the Shortest Path. | Jungho-Ho Park, Seok Hwan Yoon, Chang-Suk Lee, Jeong-Bae Lee, Sung-Hee Choi |
| 2000 | Wormhole Routing in Faulty Mesh Networks. | Seungjin Park, Jong-Hoon Youn, Bella Bose |
| 2000 | Modeling and Evaluation of Task Scheduling Algorithms Using Stochastic Petri Net. | Gyung-Leen Park, Behrooz A. Shirazi, Jeff Marquis |
| 2000 | Design and Implementation of Linux Clustered VoD System. | Chang-Soon Park, Young-Sung Son, Mann-Ho Lee, Oh-Young Kwon |
| 2000 | A Dual Data Cache System to Reflect the Principle of Locality Effectively. | Gi-Ho Park, Kil-Whan Lee, Tack-Don Han, Shin-Dug Kim |
| 2000 | Design and Evaluation of an Adaptive Communication System for High Peformance Distributed Computing Applications. | Sung-Yong Park, Salim Hariri, Ilkyeun Ra |
| 2000 | An On-Line Optimal Algorithm for Scheduling Soft Aperiodic Tasks in Hard Real-Time Systems. | Moonju Park, Yookun Cho |
| 2000 | Improvement of congestion control for burst traffic. | Hyoung-Woo Park, Jin-Wook Chung |
| 2000 | An Election Protocol in a Mobile Environment. | Sung-Hoon Park |
| 2000 | An Efficient Hardware Algorithm for Parallel Prefix Computation with Resource Constraints. | Jin Hwan Park |
| 2000 | Extended-Fault Diameter of Mesh Networks. | Behrooz Parhami |
| 2000 | A Testing Mechanism for Concurrent Programs Based on MSC. | Eui Hyun Paik, DongGill Lee, Byung-Sun Lee |
| 2000 | A Multi-Granular Parallel Processing Framework. | John J. O'Mullane |
| 2000 | Regular Array for the Solution of Toeplitz System of Linear Equations by Monte Carlo Method. | Gabriel Oksa, Vassil N. Alexandrov |
| 2000 | Real-time Execution System for CUE series Data-Driven Processors; RESCUE. | Masashi Ohtsuki, Yasuhiro Wabiko, Hiroaki Nishikawa |
| 2000 | Providing Arbitrary-Rate Search in a Fault-Tolerant Continuous Media Disk Array. | Yuyong Oh, Sungsoo Kim, Kiejin Park |
| 2000 | Lesser Bear - a Light-weight Process Library for SMP Computers. | Hisashi Oguma, Yasuichi Nakayama |
| 2000 | Spatiotemporal Events in Distributed Systems. | Hassan Nojumi |
| 2000 | Supporting the Design of Adaptable Operating Systems Using Aspect-Oriented Frameworks. | Paniti Netinant, Constantinos Constantinides, Tzilla Elrad, Mohamed Fayad, Atef Bader |
| 2000 | A Concurrent Simulation Model for Analysis of Water Control Structures at the Watershed Scale. | Mitchell L. Neilsen, Darrel M. Temple |
| 2000 | Finite Element Analysis of Elastic (Seismic) Wave Propagation in Region with Unilateral Contacts. | Jir Nedoma |