2008 |
16 | EE | Tomas Rokicki:
Twenty-Five Moves Suffice for Rubik's Cube
CoRR abs/0803.3435: (2008) |
2003 |
15 | EE | 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) |
2001 |
14 | | 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 |
2000 |
13 | EE | 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 |
1999 |
12 | EE | 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) |
11 | EE | 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) |
1996 |
10 | EE | Ludmila Cherkasova,
Vadim E. Kotov,
Tomas Rokicki:
Fibre Channel Fabrics: Evaluation and Design.
HICSS (1) 1996: 53-62 |
9 | EE | Ludmila Cherkasova,
Vadim E. Kotov,
Tomas Rokicki:
The Impact of Message Scheduling on a Packet Switching Interconnect Fabric.
HICSS (1) 1996: 668- |
8 | | Ludmila Cherkasova,
Al Davis,
Robin Hodgson,
Vadim E. Kotov,
Ian N. Robinson,
Tomas Rokicki:
Components of Congestion Control.
SPAA 1996: 208-210 |
1995 |
7 | EE | Chris J. Myers,
Tomas Rokicki,
Teresa H. Y. Meng:
Automatic synthesis of gate-level timed circuits with choice.
ARVLSI 1995: 42-58 |
6 | | Gianfranco Ciardo,
Ludmila Cherkasova,
Vadim E. Kotov,
Tomas Rokicki:
Modeling A Fibre Channel Switch with Stochastic Petri Nets.
SIGMETRICS 1995: 319-320 |
1994 |
5 | | Tomas Rokicki,
Chris J. Myers:
Automatic Verification of Timed Circuits.
CAV 1994: 468-480 |
4 | | 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 |
3 | | 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 |
1993 |
2 | | Ludmila Cherkasova,
Vadim E. Kotov,
Tomas Rokicki:
On Net Modeling of Industrial Size Concurrent Systems.
Application and Theory of Petri Nets 1993: 552-561 |
1990 |
1 | EE | Masayasu Odani,
Sun Young Hwang,
Tom Blank,
Tomas Rokicki:
The Hermod behavioral synthesis system.
Journal of Systems and Software 13(1): 39-54 (1990) |