Tomas Rokicki
Tomas Rokicki
Unknown affiliation
Verified email at
Cited by
Cited by
Method and computer system for speculatively closing pages in memory
TG Rokicki
US Patent 6,389,514, 2002
The diameter of the rubik's cube group is twenty
T Rokicki, H Kociemba, M Davidson, J Dethridge
siam REVIEW 56 (4), 645-670, 2014
A survey and evaluation of topology-agnostic deterministic routing algorithms
J Flich, T Skeie, A Mejia, O Lysne, P Lopez, A Robles, J Duato, ...
IEEE Transactions on Parallel and Distributed Systems 23 (3), 405-425, 2011
Scheduling server requests to decrease response time and increase server throughput
L Cherkasova, TG Rokicki
US Patent 6,154,769, 2000
Optimizing computer performance by using data compression principles to minimize a loss function
M Weinberger, TG Rokicki, G Seroussi, R Gupta, N Merhav, JM Ferrandiz
US Patent 6,453,389, 2002
Representing and modeling digital circuits
TG Rokicki
Stanford University, 1994
Automatic verification of timed circuits
TG Rokicki, CJ Myers
Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994
Fibre channel fabrics: Evaluation and design
L Cherkasova, V Kotov, T Rokicki
Proceedings of HICSS-29: 29th Hawaii International Conference on System …, 1996
Main memory bank indexing scheme that optimizes consecutive page hits by linking main memory bank address organization to cache memory address organization
TG Rokicki
US Patent 6,070,227, 2000
God's number is 20
T Rokicki
http://www. cube20. org/, 2010
Representing and modeling ciruits
T Rokicki
Ph. D. thesis, 1993
On net modeling of industrial size concurrent systems
L Cherkasova, V Kotov, T Rokicki
Application and Theory of Petri Nets 1993: 14th International Conference …, 1993
Automatic synthesis of gate-level timed circuits with choice
CJ Myers, TG Rokicki, THY Meng
Proceedings Sixteenth Conference on Advanced Research in VLSI, 42-58, 1995
Twenty-Two Moves Suffice for Rubik’s Cube®
T Rokicki
The Mathematical Intelligencer 32 (1), 33-40, 2010
Twenty-five moves suffice for Rubik's cube
T Rokicki
arXiv preprint arXiv:0803.3435, 2008
Modeling a scalable high-speed interconnect with stochastic Petri nets
G Ciardo, L Cherkasova, V Kotov, T Rokicki
Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995
Combining in-transit buffers with optimized routing schemes to boost the performance of networks with source routing
J Flich, P López, MP Malumbres, J Duato, T Rokicki
International Symposium on High Performance Computing, 300-309, 2000
Multi-threaded processing system and method for scheduling the execution of threads based on data received from a cache memory
R Aglietti, TG Rokicki, R Gupta
US Patent 6,578,065, 2003
POSET timing and its application to the synthesis and verification of gate-level timed circuits
CJ Myers, TG Rokicki, THY Meng
IEEE transactions on computer-aided design of integrated circuits and …, 1999
Barrycades and Septoku: Papers in Honor of Martin Gardner and Tom Rodgers
T Plambeck, T Rokicki
American Mathematical Soc., 2020
The system can't perform the operation now. Try again later.
Articles 1–20