External Links

    Journal: Comput. J.

    Volume 41, Issue 1

    1 -- 15Ana Cavalcanti, Jim Woodcock. A Weakest Precondition Semantics for Z
    16 -- 25Michele Flammini, Jan van Leeuwen, Alberto Marchetti-Spaccamela. The Complexity of Interval Routing on Random Graphs
    26 -- 44Soo-Mook Moon, Kemal Ebcioglu. The Performance Impact of Exploiting Branch ILP with Tree Representation of ILP Code
    45 -- 51Giuseppe Alia, Enrico Martinelli. Logic Design of a Fast Circuit for Iterative Additions in Redundant Hybrid
    52 -- 56Ding-Ming Kwai, Behrooz Parhami. Tight Bounds on the Diameter of Gaussian Cubes
    57 -- 63Cos S. Ierotheou, C.-H. Lai, C. J. Palansuriya, K. A. Pericleous. Simulation of 2-D Metal Cutting by Means of a Distributed Algorithm
    runs on