Tomas Rokicki

Jose Flich, Tor Skeie, Andres Mejia, Olav Lysne, Pedro López, Antonio Robles, José Duato, Michihiro Koibuchi, Tomas Rokicki, José Carlos Sancho: A Survey and Evaluation of Topology-Agnostic Deterministic Routing Algorithms. IEEE Trans. Parallel Distrib. Syst. 23(3): 405-425 (2012)

Tomas Rokicki: Twenty-Five Moves Suffice for Rubik's Cube. CoRR abs/0803.3435 (2008)

Jose Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki: Applying In-Transit Buffers to Boost the Performance of Networks with Source Routing. IEEE Trans. Computers 52(9): 1134-1153 (2003)

Jose Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki: Improving Network Performance by Reducing Network Contention in Source-Based COWs with a Low Path-Computation Overhead. IPDPS 2001: 70

Jose Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki: Combining In-Transit Buffers with Optimized Routing Schemes to Boost the Performance of Networks with Source Routing. ISHPC 2000: 300-309

Chris J. Myers, Tomas Rokicki, Teresa H. Y. Meng: POSET timing and its application to the synthesis and verification of gate-level timed circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 18(6): 769-786 (1999)

Wenjian Qiao, Lionel M. Ni, Tomas Rokicki: Adaptive-Trail Routing and Performance Evaluation in Irregular Networks Using Cut-Through Switches. IEEE Trans. Parallel Distrib. Syst. 10(11): 1138-1158 (1999)

Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki: Fibre Channel Fabrics: Evaluation and Design. HICSS (1) 1996: 53-62

Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki: The Impact of Message Scheduling on a Packet Switching Interconnect Fabric. HICSS (1) 1996: 668-

Ludmila Cherkasova, Al Davis, Robin Hodgson, Vadim E. Kotov, Ian N. Robinson, Tomas Rokicki: Components of Congestion Control. SPAA 1996: 208-210

Chris J. Myers, Tomas Rokicki, Teresa H. Y. Meng: Automatic synthesis of gate-level timed circuits with choice. ARVLSI 1995: 42-58

Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki: Modeling A Fibre Channel Switch with Stochastic Petri Nets. SIGMETRICS 1995: 319-320

Tomas Rokicki, Chris J. Myers: Automatic Verification of Timed Circuits. CAV 1994: 468-480

Ludmila Cherkasova, Al Davis, Vadim E. Kotov, Tomas Rokicki: Colored Petri Net Methods for Performance Analysis of Scalable High-Speed Interconnects. MASCOTS 1994: 401-402

Alan L. Davis, Robin Hodgson, Ian N. Robinson, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki: R2: A Damped Adaptive Router Design. PCRCW 1994: 295-309

Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki: On Net Modeling of Industrial Size Concurrent Systems. Application and Theory of Petri Nets 1993: 552-561

Masayasu Odani, Sun Young Hwang, Tom Blank, Tomas Rokicki: The Hermod behavioral synthesis system. Journal of Systems and Software 13(1): 39-54 (1990)