Mark J. Brewer, João A. N. Filipe, David A. Elston, Lorna A. Dawson, Robert W. Mayes, Chris Soulsby and Sarah M. Dunn This article introduces a hierarchical model for compositional analysis. Our ...

Traditionally, clock domain crossing (CDC) verification at the SoC level has relied on flat simulation runs. But flat CDC verification has run out of gas. Largely because of the increase in the number ...

In this paper, we describe the hierarchical data model (HDM), which is a performance efficient alternative to the traditional flat CDC verification flow. The HDM is equivalent to an abstract CDC model ...

Michael Stonebraker is widely recognized as one of the pioneers of the relational database. While at Berkeley, he co-founded the INGRES project, which implemented the relational principles published ...

Jared Ecker is a researcher and fact-checker. He possesses over a decade of experience in the Nuclear and National Defense sectors resolving issues on platforms as varied as stealth bombers to UAVs.

A novel Bayesian Hierarchical Network Model (BHNM) is designed for ensemble predictions of daily river stage, leveraging the spatial interdependence of river networks and hydrometeorological variables ...

To evaluate the utility of automated deformable image registration (DIR) algorithms, it is necessary to evaluate both the registration accuracy of the DIR algorithm itself, as well as the registration ...