Mark H. Nodine

According to our database, Mark H. Nodine authored at least 15 papers between 1991 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

MDD with Added Null-Value and All-Value Edges Applied to Multi-Valued Domino Logic Gates.

Craig M. Files, Mark H. Nodine

J. Multiple Valued Log. Soft Comput., 2009

2008

Enhancing Sequential LEC Using a Cumulative Verification Methodology.

Nathan Sheeley, Nicolas Pena, Irfan Waheed, Mark H. Nodine

Proceedings of the Ninth International Workshop on Microprocessor Test and Verification, 2008

Preparing Rearchitected Designs for Sequential Equivalence Checking.

Mark H. Nodine

Proceedings of the Ninth International Workshop on Microprocessor Test and Verification, 2008

A Mature Methodology for Implementing Multi-Valued Logic in Silicon.

Mark H. Nodine, Craig M. Files

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

MDD with Added Null-Value and All-Value Edges.

Craig M. Files, Mark H. Nodine

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

2007

Automatic Testbench Generation for Rearchitected Designs.

Mark H. Nodine

Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

2003

Modeling IP Responses in Testcase Generation for Systems-on-Chip Verification.

Mrinal Bose, Mark H. Nodine, William R. Jurasz Jr., Vlad Zavadsky, Arvind Chodavadia, Lincoln R. Nunes

Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003

1996

Blocking for External Graph Searching.

Mark H. Nodine, Michael T. Goodrich, Jeffrey Scott Vitter

Algorithmica, 1996

Semantic Cardinality Estimation for Queries over Objects.

Marian H. Nodine, Mitch Cherniack, Mark H. Nodine

Proceedings of the 7th Workshop on Persistent Object Systems, 1996

An Introduction to Parallel I/O Models and Algorithms.

Elizabeth Shriver, Mark H. Nodine

Proceedings of the Input/Output in Parallel and Distributed Computer Systems., 1996

1995

Greed Sort: Optimal Deterministic Sorting on Parallel Disks.

Mark H. Nodine, Jeffrey Scott Vitter

J. ACM, 1995

1993

Large-Scale Sorting in Uniform Memory Hierarchies.

Jeffrey Scott Vitter, Mark H. Nodine

J. Parallel Distributed Comput., 1993

Deterministic Distribution Sort in Shared and Distributed Memory Multiprocessors.

Mark H. Nodine, Jeffrey Scott Vitter

Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

1991

I/O Overhead and Parallel VLSI Architectures for Lattice Computations.

Mark H. Nodine, Daniel P. Lopresti, Jeffrey Scott Vitter

IEEE Trans. Computers, 1991

Large-Scale Sorting in Parallel Memories (Extended Abstract).

Mark H. Nodine, Jeffrey Scott Vitter

Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, 1991