Tomas Rokicki

24 papers A* 2A 1B 2Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Kenichi Morita: Reversible world of cellular automata.
Genet. Program. Evolvable Mach.
Tomas Rokicki
2023 J jnl
Two-Disk Compound Symmetry Groups.
CoRR
Robert A. Hearn, William Kretschmer, Tomas Rokicki, Benjamin Streeter, Eric Vergo
2014 J jnl
The Diameter of the Rubik's Cube Group Is Twenty.
SIAM Rev.
Tomas Rokicki, Herbert Kociemba, Morley Davidson, John Dethridge
2013 J jnl
The Diameter of the Rubik's Cube Group Is Twenty.
SIAM J. Discret. Math.
Tomas Rokicki, Herbert Kociemba, Morley Davidson, John Dethridge
2012 J jnl
A Survey and Evaluation of Topology-Agnostic Deterministic Routing Algorithms.
IEEE Trans. Parallel Distributed Syst.
José Flich, Tor Skeie, Andres Mejia, Olav Lysne, Pedro López, Antonio Robles, José Duato, Michihiro Koibuchi, Tomas Rokicki, José Carlos Sancho
2008 J jnl
Twenty-Five Moves Suffice for Rubik's Cube
CoRR
Tomas Rokicki
2003 J jnl
Applying In-Transit Buffers to Boost the Performance of Networks with Source Routing.
IEEE Trans. Computers
José Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki
2001 A conf
Improving Network Performance by Reducing Network Contention in Source-Based COWs with a Low Path-Computation Overhead.
IPDPS
José Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki
2000 — conf
Combining In-Transit Buffers with Optimized Routing Schemes to Boost the Performance of Networks with Source Routing.
ISHPC
José Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki
1999 J jnl
Adaptive-Trail Routing and Performance Evaluation in Irregular Networks Using Cut-Through Switches.
IEEE Trans. Parallel Distributed Syst.
Wenjian Qiao, Lionel M. Ni, Tomas Rokicki
1999 J jnl
POSET timing and its application to the synthesis and verification of gate-level timed circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Chris J. Myers, Tomas Rokicki, Teresa H.-Y. Meng
1996 B conf
Components of Congestion Control.
SPAA
Ludmila Cherkasova, Al Davis, Robin Hodgson, Vadim E. Kotov, Ian N. Robinson, Tomas Rokicki
1996 — conf
Fibre Channel Fabrics: Evaluation and Design.
HICSS (1)
Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
1996 — conf
The Impact of Message Scheduling on a Packet Switching Interconnect Fabric.
HICSS (1)
Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
1995 — conf
Automatic synthesis of gate-level timed circuits with choice.
ARVLSI
Chris J. Myers, Tomas Rokicki, Teresa H.-Y. Meng
1995 A* conf
Modeling A Fibre Channel Switch with Stochastic Petri Nets.
SIGMETRICS
Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
1995 — conf
Modeling a scalable high-speed interconnect with stochastic Petri nets.
PNPM
Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
1994 A* conf
Automatic Verification of Timed Circuits.
CAV
Tomas Rokicki, Chris J. Myers
1994 B conf
Colored Petri Net Methods for Performance Analysis of Scalable High-Speed Interconnects.
MASCOTS
Ludmila Cherkasova, Al Davis, Vadim E. Kotov, Tomas Rokicki
1994 — conf
R2: A Damped Adaptive Router Design.
PCRCW
Alan L. Davis, Robin Hodgson, Ian N. Robinson, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
1993 — conf
On Net Modeling of Industrial Size Concurrent Systems.
Application and Theory of Petri Nets
Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
1993 — conf
On scalable net modeling of OLTP.
PNPM
Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
1993 — —
Representing and modeling digital circuits.
Tomas Rokicki
1990 J jnl
The Hermod behavioral synthesis system.
J. Syst. Softw.
Masayasu Odani, Sun Young Hwang, Tom Blank, Tomas Rokicki