Searching for authors named "Wendy Belluomini" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Timed event/level structures
- …Timed Event/Level Structures Wendy Belluomini Chris J. Myers Computer Science Department…
- Cited by 9 (5 self) – Add To MetaCart
-
Timed State Space Exploration using POSETS
- …1 Timed State Space Exploration using POSETS Wendy Belluomini Chris J. Myers Abstract…
- Cited by 13 (6 self) – Add To MetaCart
-
Verification of timed systems using POSETS
- …Verification of Timed Systems Using POSETs Wendy Belluomini ¡ and Chris J. Myers ¢ £ Computer…
- Cited by 28 (6 self) – Add To MetaCart
-
Efficient Timing Analysis Algorithms for Timed State Space Exploration
- …Efficient Timing Analysis Algorithms for Timed State Space Exploration Wendy Belluomini Computer…
- Cited by 17 (9 self) – Add To MetaCart
-
Timed Circuit Synthesis Using Implicit Methods
- …Timed Circuit Synthesis Using Implicit Methods Robert A. Thacker Wendy Belluomini Chris J. Myers…
- Cited by 3 (2 self) – Add To MetaCart
-
Verification of Delayed-Reset Domino Circuits Using ATACS
- …Verification of Delayed-Reset Domino Circuits Using ATACS Wendy Belluomini 1 Chris J. Myers 2…
- Cited by 11 (2 self) – Add To MetaCart
-
STOW: A Spatially and Temporally Optimized Write Caching Algorithm
- … Belluomini IBM Almaden Research Center Abstract Non-volatile write-back caches enable storage controllers…
- Add To MetaCart
-
Timed circuits: A new paradigm for high-speed design
- …Timed Circuits: A New Paradigm for High-Speed Design ∗ Chris J. Myers Wendy Belluomini Kip…
- Cited by 11 (8 self) – Add To MetaCart
-
Algorithms For Synthesis And Verification Of Timed Circuits And Systems
- …ALGORITHMS FOR SYNTHESIS AND VERIFICATION OF TIMED CIRCUITS AND SYSTEMS by Wendy A. Belluomini A…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 9.
