Volume 46, Number 1, January 2000
Volume 46, Number 2, January 2000
Volume 46, Number 3, January 2000
K. S. Loh
, W. F. Wong
: Multiple context multithreaded superscalar processor architecture.
Volume 46, Number 4, January 2000
S. H. Son
: Issues and approaches to supporting timeliness and security in real-time database systems.
Volume 46, Number 5, March 2000
Volume 46, Number 6, April 2000
: On the design of IP routers Part 1: Router architectures.
: The diagnosability of hypercubes with arbitrarily missing links.
Volume 46, Number 7, April 2000
: Validation of SPEC6TM CFP95 traces for accurate performance evaluation of computer systems.
Volume 46, Number 8, May 2000
, Sonchung Moon
: Transaction multicasting scheme for resilient routing control in parallel cluster database systems.
Volume 46, Number 9, July 2000
Volume 46, Number 10, July 2000
, Songchun Moon
: Read-down conflict-preserving serializability as a correctness criterion for multilevel-secure optimistic concurrency control: CSR/RD.
, Joonwon Lee
: Broadcast directory: A scalable cache coherent architecture for mesh-connected multiprocessors.
Volume 46, Number 11, September 2000
: Performance evaluation of system architectures with validated input data.
Manuel P. Malumbres
, José Duato
: An efficient implementation of tree-based multicast routing for distributed shared-memory multiprocessors.
Volume 46, Number 12, October 2000
Volume 46, Number 13, November 2000
: Quantitative evaluation of pipelining and decoupling a dynamic instruction scheduling mechanism.
Ioannis E. Pountourakis
: Optimal bandwidth allocation and stability of high-speed networks for CSMA/CD protocols.
A. K. Bandyopadhyay
, J. Bandyopadhyay
: On the derivation of a correct deadlock free communication kernel for loop connected message passing architecture from its user's specification.
Volume 46, Number 14, December 2000
Vimal K. Khanna
: A novel approach for implementing high-speed and long-distance networking protocols in a limited memory embedded kernel.
Volume 46, Number 15, December 2000
: Embedded software verification in hardware-software codesign.