Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mark H. Nodine
@article{DBLP:journals/mvl/FilesN09,
author = {Craig M. Files and
Mark H. Nodine},
title = {{MDD} with Added Null-Value and All-Value Edges Applied to Multi-Valued
Domino Logic Gates},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {15},
number = {4},
pages = {379--394},
year = {2009},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-15-number-4-2009/mvlsc-15-4-p-379-394/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/FilesN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NodineF08,
author = {Mark H. Nodine and
Craig M. Files},
title = {A Mature Methodology for Implementing Multi-Valued Logic in Silicon},
booktitle = {38th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
2008), 22-23 May 2008, Dallas, Texas, {USA}},
pages = {2--7},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISMVL.2008.30},
doi = {10.1109/ISMVL.2008.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/NodineF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/FilesN08,
author = {Craig M. Files and
Mark H. Nodine},
title = {{MDD} with Added Null-Value and All-Value Edges},
booktitle = {38th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
2008), 22-23 May 2008, Dallas, Texas, {USA}},
pages = {64--69},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISMVL.2008.20},
doi = {10.1109/ISMVL.2008.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/FilesN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/Nodine08,
author = {Mark H. Nodine},
title = {Preparing Rearchitected Designs for Sequential Equivalence Checking},
booktitle = {Ninth International Workshop on Microprocessor Test and Verification,
{MTV} 2008, Austin, Texas, USA, 8-10 December 2008},
pages = {27--32},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/MTV.2008.8},
doi = {10.1109/MTV.2008.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/Nodine08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/SheeleyPWN08,
author = {Nathan Sheeley and
Nicolas Pena and
Irfan Waheed and
Mark H. Nodine},
title = {Enhancing Sequential {LEC} Using a Cumulative Verification Methodology},
booktitle = {Ninth International Workshop on Microprocessor Test and Verification,
{MTV} 2008, Austin, Texas, USA, 8-10 December 2008},
pages = {39--42},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/MTV.2008.10},
doi = {10.1109/MTV.2008.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/SheeleyPWN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/Nodine07,
author = {Mark H. Nodine},
editor = {Magdy S. Abadir and
Li{-}C. Wang and
Jayanta Bhadra},
title = {Automatic Testbench Generation for Rearchitected Designs},
booktitle = {Eighth International Workshop on Microprocessor Test and Verification
{(MTV} 2007), Common Challenges and Solutions, 5-6 December 2007,
Austin, Texas, {USA}},
pages = {128--136},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MTV.2007.11},
doi = {10.1109/MTV.2007.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/Nodine07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/BoseNJZCN03,
author = {Mrinal Bose and
Mark H. Nodine and
William R. Jurasz Jr. and
Vlad Zavadsky and
Arvind Chodavadia and
Lincoln R. Nunes},
title = {Modeling {IP} Responses in Testcase Generation for Systems-on-Chip
Verification},
booktitle = {Fourth International Workshop on Microprocessor Test and Verification,
Common Challenges and Solutions {(MTV} 2003), May 29-30, 2003, Hyatt
Town Lake Hotel, Austin, Texas, {USA}},
pages = {7--10},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MTV.2003.1250256},
doi = {10.1109/MTV.2003.1250256},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/BoseNJZCN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/NodineGV96,
author = {Mark H. Nodine and
Michael T. Goodrich and
Jeffrey Scott Vitter},
title = {Blocking for External Graph Searching},
journal = {Algorithmica},
volume = {16},
number = {2},
pages = {181--214},
year = {1996},
url = {https://doi.org/10.1007/BF01940646},
doi = {10.1007/BF01940646},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithmica/NodineGV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/NodineCN96,
author = {Marian H. Nodine and
Mitch Cherniack and
Mark H. Nodine},
editor = {Richard Connor and
Scott Nettles},
title = {Semantic Cardinality Estimation for Queries over Objects},
booktitle = {Proceedings of the 7th Workshop on Persistent Object Systems, Cape
May, New Jersey, USA, 1996},
pages = {164--173},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Wed, 07 Jul 2021 16:59:32 +0200},
biburl = {https://dblp.org/rec/conf/pos/NodineCN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/96/ShriverN96,
author = {Elizabeth Shriver and
Mark H. Nodine},
editor = {Ravi Jain and
John Werth and
James C. Browne},
title = {An Introduction to Parallel {I/O} Models and Algorithms},
booktitle = {Input/Output in Parallel and Distributed Computer Systems},
pages = {31--68},
publisher = {Kluwer/Springer},
year = {1996},
url = {https://doi.org/10.1007/978-1-4613-1401-1\_2},
doi = {10.1007/978-1-4613-1401-1\_2},
timestamp = {Tue, 09 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/96/ShriverN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/NodineV95,
author = {Mark H. Nodine and
Jeffrey Scott Vitter},
title = {Greed Sort: Optimal Deterministic Sorting on Parallel Disks},
journal = {J. {ACM}},
volume = {42},
number = {4},
pages = {919--933},
year = {1995},
url = {https://doi.org/10.1145/210332.210343},
doi = {10.1145/210332.210343},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/NodineV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/VitterN93,
author = {Jeffrey Scott Vitter and
Mark H. Nodine},
title = {Large-Scale Sorting in Uniform Memory Hierarchies},
journal = {J. Parallel Distributed Comput.},
volume = {17},
number = {1-2},
pages = {107--114},
year = {1993},
url = {https://doi.org/10.1006/jpdc.1993.1008},
doi = {10.1006/JPDC.1993.1008},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/VitterN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/NodineGV93,
author = {Mark H. Nodine and
Michael T. Goodrich and
Jeffrey Scott Vitter},
editor = {Catriel Beeri},
title = {Blocking for External Graph Searching},
booktitle = {Proceedings of the Twelfth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 25-28, 1993, Washington, DC,
{USA}},
pages = {222--232},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/153850.153880},
doi = {10.1145/153850.153880},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/NodineGV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/NodineV93,
author = {Mark H. Nodine and
Jeffrey Scott Vitter},
editor = {Lawrence Snyder},
title = {Deterministic Distribution Sort in Shared and Distributed Memory Multiprocessors},
booktitle = {Proceedings of the 5th Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} '93, Velen, Germany, June 30 - July 2, 1993},
pages = {120--129},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165231.165247},
doi = {10.1145/165231.165247},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spaa/NodineV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/NodineLV91,
author = {Mark H. Nodine and
Daniel P. Lopresti and
Jeffrey Scott Vitter},
title = {{I/O} Overhead and Parallel {VLSI} Architectures for Lattice Computations},
journal = {{IEEE} Trans. Computers},
volume = {40},
number = {7},
pages = {843--852},
year = {1991},
url = {https://doi.org/10.1109/12.83622},
doi = {10.1109/12.83622},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/NodineLV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/NodineV91,
author = {Mark H. Nodine and
Jeffrey Scott Vitter},
editor = {Tom Leighton},
title = {Large-Scale Sorting in Parallel Memories (Extended Abstract)},
booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} '91, Hilton Head, South Carolina, USA, July
21-24, 1991},
pages = {29--39},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/113379.113382},
doi = {10.1145/113379.113382},
timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/NodineV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icci/NodineLV90,
author = {Mark H. Nodine and
Daniel P. Lopresti and
Jeffrey Scott Vitter},
editor = {Selim G. Akl and
Frantisek Fiala and
Waldemar W. Koczkodaj},
title = {{I/O} Overhead and Parallel {VLSI} Architectures for Lattice Computations},
booktitle = {Advances in Computing and Information - ICCI'90, International Conference
on Computing and Information, Niagara Falls, Canada, May 23-26, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {468},
pages = {497--506},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53504-7\_108},
doi = {10.1007/3-540-53504-7\_108},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icci/NodineLV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
