David Asher

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Topics

Main Contribution

Dynamic Bayesian Networks

Top Venues

Publications

Shahid Ikram, David Asher, Isam Akkawi, Jack Perveiler, Jim Ellis
A framework for specifying, modeling, implementation and verification of SOC protocols. SoCC (2014)
Scott A. Taylor, Carl Ramey, Craig Barner, David Asher
A Simulation-Based Method for the Verification of Shared Memory in Multiprocessor Systems. ICCAD (2001)