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
1732002
Scheduling server requests to decrease response time and increase server throughput
L Cherkasova, TG Rokicki
US Patent 6,154,769, 2000
1212000
Representing and modeling digital circuits.
TG Rokicki
1141995
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
1042011
Automatic verification of timed circuits
TG Rokicki, CJ Myers
International Conference on Computer Aided Verification, 468-480, 1994
991994
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
952002
Fibre channel fabrics: Evaluation and design
L Cherkasova, V Kotov, T Rokicki
Proceedings of HICSS-29: 29th Hawaii International Conference on System …, 1996
941996
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
932000
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
742014
Representing and modeling circuits
T Rokicki
Ph. D. thesis, Stanford University, 1993
521993
God's number is 20
T Rokicki
http://www. cube20. org/, 2010
402010
On net modeling of industrial size concurrent systems
L Cherkasova, V Kotov, T Rokicki
International Conference on Application and Theory of Petri Nets, 552-561, 1993
381993
On net modeling of industrial size concurrent systems
L Cherkasova, V Kotov, T Rokicki
International Conference on Application and Theory of Petri Nets, 552-561, 1993
381993
Barrycades and Septoku: Papers in Honor of Martin Gardner and Tom Rodgers
T Plambeck, T Rokicki
American Mathematical Soc., 2020
372020
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
351995
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
262000
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
261999
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
252003
Twenty-five moves suffice for Rubik's cube
T Rokicki
arXiv preprint arXiv:0803.3435, 2008
222008
The system can't perform the operation now. Try again later.
Articles 1–20