Follow
Tomas Rokicki
Tomas Rokicki
Unknown affiliation
Verified email at cs.stanford.edu
Title
Cited by
Cited by
Year
Method and computer system for speculatively closing pages in memory
TG Rokicki
US Patent 6,389,514, 2002
1792002
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
1382014
Scheduling server requests to decrease response time and increase server throughput
L Cherkasova, TG Rokicki
US Patent 6,154,769, 2000
1272000
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
1262011
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
1122002
Representing and modeling digital circuits
TG Rokicki
Stanford University, 1994
1061994
Automatic verification of timed circuits
TG Rokicki, CJ Myers
Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994
1041994
Fibre channel fabrics: Evaluation and design
L Cherkasova, V Kotov, T Rokicki
Proceedings of HICSS-29: 29th Hawaii International Conference on System …, 1996
1031996
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
982000
God's number is 20
T Rokicki
http://www. cube20. org/, 2010
592010
Representing and modeling ciruits
T Rokicki
Ph. D. thesis, 1993
541993
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
391993
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
391993
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
371995
Barrycades and Septoku: Papers in Honor of Martin Gardner and Tom Rodgers
T Plambeck, T Rokicki
American Mathematical Soc., 2020
312020
Twenty-five moves suffice for Rubik's cube
T Rokicki
arXiv preprint arXiv:0803.3435, 2008
292008
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
291995
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
282000
Twenty-Two Moves Suffice for Rubik’s Cube®
T Rokicki
The Mathematical Intelligencer 32 (1), 33-40, 2010
272010
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
271999
The system can't perform the operation now. Try again later.
Articles 1–20