MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Annette Bunker" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

A General Hardware Combinator
by Annette Bunker — 1997
… by Annette Bunker November 1997 1 1 Introduction A great deal of research effort has been recently spent…
Add To MetaCart

Using Live Sequence Charts for Hardware Protocol Specification and Compliance Verification
by Annette Bunker, Ganesh Gopalakrishnan — 2001 — In IEEE International High Level Design Validation and Test Workshop
… Bunker and Ganesh Gopalakrishnan School of Computing, University of Utah 50 S. Central Campus Dr., Room…
Cited by 3 (2 self) – Add To MetaCart

Verifying a Virtual Component Interface-based PCI Bus Wrapper with FormalCheck
by Annette Bunker, Ganesh Gopalakrishnan — 2001
…Verifying a Virtual Component Interface-based PCI Bus Wrapper with FormalCheck Annette Bunker…
Cited by 3 (2 self) – Add To MetaCart

Formal Specification of the Virtual Component Interface Standard in the Unified Modeling Language
by Annette Bunker, Ganesh Gopalakrishnan — 2001
… Annette Bunker and Ganesh Gopalakrishnan UUCS-01-007 School of Computing University of Utah Salt Lake…
Cited by 1 (1 self) – Add To MetaCart

Verifying a Virtual Component Interface-based PCI Bus Wrapper Using an LSC-Based Specification
by Annette Bunker And, Annette Bunker, Ganesh Gopalakrishnan — 2001
… Annette Bunker and Ganesh Gopalakrishnan UUCS-02-004 School of Computing University of Utah Salt Lake City…
Add To MetaCart

Formal Hardware Specification Languages for Protocol Compliance Verification
by Annette Bunker, Ganesh Gopalakrishnan, Sally A. Mckee — 2004 — ACM Transactions on Design Autom. of Elec. Sys
…Formal Hardware Specification Languages for Protocol Compliance Verification ANNETTE BUNKER…
Cited by 1 (0 self) – Add To MetaCart

Formal Specification of the Virtual
by Component Interface Standard, Annette Bunker, Ganesh Gopalakrishnan — 2001
… Annette Bunker and Ganesh Gopalakrishnan UUCS-01-007 School of Computing University of Utah Salt Lake…
Add To MetaCart

Verifying a Virtual Component
by Interface-Based Pci Bus, Annette Bunker, Ganesh Gopalakrishnan — 2001
…Verifying a Virtual Component Interface-based PCI Bus Wrapper with FormalCheck Annette Bunker…
Add To MetaCart

An Overview of Formal Hardware Specification Languages
by Annette Bunker, Sally A. McKee, Ganes Gopalakrishnan — 2002
…Abstract An Overview of Formal Hardware Specification Languages Annette Bunker ∗ School…
Cited by 1 (0 self) – Add To MetaCart

Verifying A Vci Bus Interface Model Using An Lsc-Based Specification
by Annette Bunker, Ganesh Gopalakrishnan, An Lsc-based Specification — 2002
… Foundation Grants CCR- 9987516 and CCR-0081406. Annette Bunker and Ganesh Gopalakrishnan School of Computing…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB