Mark H. Nodine

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