#### Filter Results:

#### Publication Year

1990

2013

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Tomas Rokicki, Herbert Kociemba, Morley Davidson, John Dethridge
- SIAM Review
- 2013

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)

- Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
- HICSS
- 1996

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)

- Jose Flich, Tor Skeie, +7 authors José Carlos Sancho
- IEEE Transactions on Parallel and Distributed…
- 2012

Most standard cluster interconnect technologies are flexible with respect to network topology. This has spawned a substantial amount of research on topology-agnostic routing algorithms, which make no assumption about the network structure, thus providing the flexibility needed to route on irregular networks. Actually, such an irregularity should be often… (More)

This paper presents an approach to using Stochastic Petri nets to model large-scale concurrent systems, in our case, a scalable computer interconnect. We show how Stochastic Petri net models can exploit the symmetry of the system to construct a tractable, but approximate, analytic model, and that they can yield results very close to those of a detailed… (More)

- Tomas Rokicki
- ArXiv
- 2008

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)

- Tomas Rokicki, Chris J. Myers
- CAV
- 1994

This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on a behavioral semantics of timed trace theory. We present improvements to a geometric timing algorithm that take advantage of concurrency by using partial orders to reduce the time and space… (More)

- Chris J. Myers, Tomas Rokicki, Teresa H. Y. Meng
- ARVLSI
- 1995

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)

- Jose Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki
- ISHPC
- 2000

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)

- Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
- PNPM
- 1993

- Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
- Application and Theory of Petri Nets
- 1993