Tomas Rokicki

According to our database, Tomas Rokicki authored at least 22 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Two-Disk Compound Symmetry Groups.

Robert A. Hearn, William Kretschmer, Tomas Rokicki, Benjamin Streeter, Eric Vergo

CoRR, 2023

2013

The Diameter of the Rubik's Cube Group Is Twenty.

Tomas Rokicki, Herbert Kociemba, Morley Davidson, John Dethridge

SIAM J. Discret. Math., 2013

2012

A Survey and Evaluation of Topology-Agnostic Deterministic Routing Algorithms.

José Flich, Tor Skeie, Andres Mejia, Olav Lysne, Pedro López, Antonio Robles, José Duato, Michihiro Koibuchi, Tomas Rokicki, José Carlos Sancho

IEEE Trans. Parallel Distributed Syst., 2012

2008

Twenty-Five Moves Suffice for Rubik's Cube

Tomas Rokicki

CoRR, 2008

2003

Applying In-Transit Buffers to Boost the Performance of Networks with Source Routing.

José Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki

IEEE Trans. Computers, 2003

2001

Improving Network Performance by Reducing Network Contention in Source-Based COWs with a Low Path-Computation Overhead.

José Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

2000

Combining In-Transit Buffers with Optimized Routing Schemes to Boost the Performance of Networks with Source Routing.

José Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki

Proceedings of the High Performance Computing, Third International Symposium, 2000

1999

Adaptive-Trail Routing and Performance Evaluation in Irregular Networks Using Cut-Through Switches.

Wenjian Qiao, Lionel M. Ni, Tomas Rokicki

IEEE Trans. Parallel Distributed Syst., 1999

POSET timing and its application to the synthesis and verification of gate-level timed circuits.

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

1996

Components of Congestion Control.

Ludmila Cherkasova, Al Davis, Robin Hodgson, Vadim E. Kotov, Ian N. Robinson, Tomas Rokicki

Proceedings of the 8th Annual ACM Symposium on Parallel Algorithms and Architectures, 1996

The Impact of Message Scheduling on a Packet Switching Interconnect Fabric.

Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki

Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

Fibre Channel Fabrics: Evaluation and Design.

Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki

Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

1995

Modeling A Fibre Channel Switch with Stochastic Petri Nets.

Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki

Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

Modeling a scalable high-speed interconnect with stochastic Petri nets.

Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Automatic synthesis of gate-level timed circuits with choice.

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

Proceedings of the 16th Conference on Advanced Research in VLSI (ARVLSI '95), 1995

1994

R2: A Damped Adaptive Router Design.

Alan L. Davis, Robin Hodgson, Ian N. Robinson, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki

Proceedings of the Parallel Computer Routing and Communication, 1994

Colored Petri Net Methods for Performance Analysis of Scalable High-Speed Interconnects.

Ludmila Cherkasova, Al Davis, Vadim E. Kotov, Tomas Rokicki

Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

Automatic Verification of Timed Circuits.

Tomas Rokicki, Chris J. Myers

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

Representing and modeling digital circuits.

Tomas Rokicki

PhD thesis, 1993

On scalable net modeling of OLTP.

Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

On Net Modeling of Industrial Size Concurrent Systems.

Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1990

The Hermod behavioral synthesis system.

Masayasu Odani, Sun Young Hwang, Tom Blank, Tomas Rokicki

J. Syst. Softw., 1990