Searching for authors named "Tomas Rokicki" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
CSL: Communicating Structures Library for Systems Modeling and Analysis. Hewlett-Packard Laboratories Report HPL-98-118
- …. Rokicki, Ludmila Cherkasova Computer Systems Laboratory HPL-98-118 June, 1998 E-mail: [kotov,rokicki…
- Cited by 1 (1 self) – Add To MetaCart
-
Automatic Verification of Timed Circuits
- …Automatic Verification of Timed Circuits Tomas G. Rokicki ? and Chris J. Myers ?? Stanford…
- Cited by 13 (1 self) – Add To MetaCart
-
POSET Timing and its Application to the Synthesis and Verification of Gate-Level Timed Circuits
- … to the Synthesis and Verification of Gate-Level Timed Circuits Chris J. Myers, Tomas G. Rokicki, Teresa H.-Y. Meng…
- Cited by 6 (3 self) – Add To MetaCart
-
How Much Adaptivity is Required for Bursty Traffic?
- … Ian Robinson Tomas Rokicki Hewlett-Packard Laboratories, 1501 Page Mill Road, Palo Alto, CA…
- Add To MetaCart
-
Adaptive-Trail Routing and Performance Evaluation in Irregular Networks Using Cut-Through Switches
- …, IEEE Computer Society, Lionel M. Ni, Fellow, IEEE, and Tomas Rokicki AbstractÐCut-through switching…
- Cited by 2 (0 self) – Add To MetaCart
-
Automatic Synthesis of Gate-Level Timed Circuits with Choice
- …Automatic Synthesis of Gate-Level Timed Circuits with Choice Chris J. Myers, Tomas G. Rokicki y…
- Cited by 19 (10 self) – Add To MetaCart
Showing 1 through 6.
