Tomas Rokicki - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2014

The Diameter of the Rubik's Cube Group Is TwentyTomas Rokicki, Herbert Kociemba, Morley Davidson, John Dethridge. siamrev, 56(4):645-670, 2014. [doi]

2013

The Diameter of the Rubik's Cube Group Is TwentyTomas Rokicki, Herbert Kociemba, Morley Davidson, John Dethridge. siamdm, 27(2):1082-1105, 2013. [doi]

2012

A Survey and Evaluation of Topology-Agnostic Deterministic Routing AlgorithmsJose Flich, Tor Skeie, Andres Mejia, Olav Lysne, Pedro López, Antonio Robles, José Duato, Michihiro Koibuchi, Tomas Rokicki, José Carlos Sancho. tpds, 23(3):405-425, 2012. [doi]

2003

Applying In-Transit Buffers to Boost the Performance of Networks with Source RoutingJose Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki. TC, 52(9):1134-1153, 2003. [doi]

2001

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

2000

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

1999

POSET timing and its application to the synthesis and verification of gate-level timed circuitsChris J. Myers, Tomas Rokicki, Teresa H. Y. Meng. tcad, 18(6):769-786, 1999. [doi]

Adaptive-Trail Routing and Performance Evaluation in Irregular Networks Using Cut-Through SwitchesWenjian Qiao, Lionel M. Ni, Tomas Rokicki. tpds, 10(11):1138-1158, 1999. [doi]

1996

1995

Modeling a scalable high-speed interconnect with stochastic Petri netsGianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki. pnpm 1995: 83-92 [doi]

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

Automatic synthesis of gate-level timed circuits with choiceChris J. Myers, Tomas Rokicki, Teresa H. Y. Meng. arvlsi 1995: 42-58 [doi]

1994

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

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

Automatic Verification of Timed CircuitsTomas Rokicki, Chris J. Myers. cav 1994: 468-480

1993

On scalable net modeling of OLTPLudmila Cherkasova, Vadim E. Kotov, Tomas Rokicki. pnpm 1993: 270-279 [doi]

On Net Modeling of Industrial Size Concurrent SystemsLudmila Cherkasova, Vadim E. Kotov, Tomas Rokicki. apn 1993: 552-561

Representing and modeling digital circuitsTomas Rokicki. PhD thesis, Stanford University, USA, 1993. [doi]

1990

The Hermod behavioral synthesis systemMasayasu Odani, Sun Young Hwang, Tom Blank, Tomas Rokicki. jss, 13(1):39-54, 1990. [doi]

Sign in or sign up to see more results.

runs on WebDSL