Mark H. Nodine

Publication Activity (10 Years)

Years Active: 1990-2009
Publications (10 Years): 0

Publications

Craig M. Files, Mark H. Nodine
MDD with Added Null-Value and All-Value Edges Applied to Multi-Valued Domino Logic Gates. J. Multiple Valued Log. Soft Comput. 15 (4) (2009)
Mark H. Nodine, Craig M. Files
A Mature Methodology for Implementing Multi-Valued Logic in Silicon. ISMVL (2008)
Mark H. Nodine
Preparing Rearchitected Designs for Sequential Equivalence Checking. MTV (2008)
Craig M. Files, Mark H. Nodine
MDD with Added Null-Value and All-Value Edges. ISMVL (2008)
Nathan Sheeley, Nicolas Pena, Irfan Waheed, Mark H. Nodine
Enhancing Sequential LEC Using a Cumulative Verification Methodology. MTV (2008)
Mark H. Nodine
Automatic Testbench Generation for Rearchitected Designs. MTV (2007)
Mrinal Bose, Mark H. Nodine, William R. Jurasz Jr., Vlad Zavadsky, Arvind Chodavadia, Lincoln R. Nunes
Modeling IP Responses in Testcase Generation for Systems-on-Chip Verification. MTV (2003)
Mark H. Nodine, Michael T. Goodrich, Jeffrey Scott Vitter
Blocking for External Graph Searching. Algorithmica 16 (2) (1996)
Marian H. Nodine, Mitch Cherniack, Mark H. Nodine
Semantic Cardinality Estimation for Queries over Objects. POS (1996)
Mark H. Nodine, Jeffrey Scott Vitter
Greed Sort: Optimal Deterministic Sorting on Parallel Disks. J. ACM 42 (4) (1995)
Mark H. Nodine, Jeffrey Scott Vitter
Deterministic Distribution Sort in Shared and Distributed Memory Multiprocessors. SPAA (1993)
Jeffrey Scott Vitter, Mark H. Nodine
Large-Scale Sorting in Uniform Memory Hierarchies. J. Parallel Distributed Comput. 17 (1-2) (1993)
Mark H. Nodine, Michael T. Goodrich, Jeffrey Scott Vitter
Blocking for External Graph Searching. PODS (1993)
Mark H. Nodine, Jeffrey Scott Vitter
Large-Scale Sorting in Parallel Memories (Extended Abstract). SPAA (1991)
Mark H. Nodine, Daniel P. Lopresti, Jeffrey Scott Vitter
I/O Overhead and Parallel VLSI Architectures for Lattice Computations. IEEE Trans. Computers 40 (7) (1991)
Mark H. Nodine, Daniel P. Lopresti, Jeffrey Scott Vitter
I/O Overhead and Parallel VLSI Architectures for Lattice Computations. ICCI (1990)