Author of the publication

Automatic synthesis of gate-level timed circuits with choice.

, , and . ARVLSI, page 42-58. IEEE Computer Society, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Rokicki, Tomas
add a person with the name Rokicki, Tomas
 

Other publications of authors with the same name

The Hermod behavioral synthesis system., , , and . Journal of Systems and Software, 13 (1): 39-54 (1990)The Diameter of the Rubik's Cube Group Is Twenty., , , and . SIAM J. Discrete Math., 27 (2): 1082-1105 (2013)The Diameter of the Rubik's Cube Group Is Twenty., , , and . SIAM Review, 56 (4): 645-670 (2014)Modeling a scalable high-speed interconnect with stochastic Petri nets., , , and . PNPM, page 83-92. IEEE, (1995)Fibre Channel Fabrics: Evaluation and Design., , and . HICSS (1), page 53-62. IEEE Computer Society, (1996)The Impact of Message Scheduling on a Packet Switching Interconnect Fabric., , and . HICSS (1), page 668-669. IEEE Computer Society, (1996)POSET timing and its application to the synthesis and verification of gate-level timed circuits., , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 18 (6): 769-786 (1999)Twenty-Five Moves Suffice for Rubik's Cube. CoRR, (2008)R2: A Damped Adaptive Router Design., , , , , and . PCRCW, volume 853 of Lecture Notes in Computer Science, page 295-309. Springer, (1994)Adaptive-Trail Routing and Performance Evaluation in Irregular Networks Using Cut-Through Switches., , and . IEEE Trans. Parallel Distrib. Syst., 10 (11): 1138-1158 (1999)