IEEE parallel & distributed technology (Institute of Electrical and Electronics Engineers Computer Society, 1993)