Learn More
We give an expository account of our computational proof that every position of Rubik's Cube can be solved in 20 moves or less, where a move is defined as any twist of any face. The roughly 4.3 × 10 19 positions are partitioned into about two billion cosets of a specially chosen subgroup, and the count of cosets required to be treated is reduced by(More)
We consider how Fibre Channel switches can be cascaded to form a Fibre Channel fabric. We begin with an analytical model of topology performance that provides a theoretical upper bound on fabric per$ormance and a method for the practical evaluation of fabric topologies. We then consider the prevention of buffer-cycle deadlock in Fibre Channel networks. We(More)
How many moves does it take to solve Rubik's Cube? Positions are known that require 20 moves, and it has already been shown that there are no positions that require 27 or more moves; this is a surprisingly large gap. This paper describes a program that is able to find solutions of length 20 or less at a rate of more than 16 million positions a second. We(More)
In previous papers we proposed the ITB mechanism to improve the performance of up*/down* routing in irregular networks with source routing. With this mechanism, both minimal routing and a better use of network links are guaranteed, resulting on an overall network performance improvement. In this paper, we show that the ITB mechanism can be used with any(More)
This paper presents a CAD tool for the automatic synthesis of gate-level timed circuits from general speciications to basic gates such as AND gates, OR gates, and C-elements. Timed circuits are a class of asynchronous circuits that incorporate explicit timing information in the speciication which is used throughout the synthesis procedure to optimize the(More)
ÐCut-through switching promises low latency delivery and has been used in new generation switches, especially in high speed networks demanding low communication latency. The interconnection of cut-through switches provides an excellent network platform for high speed local area networks (LANs). For cost and performance reasons, irregular topologies should(More)