% csauthors.net - beta - BibTeX bibliography of David W. Matula
@inproceedings{conf/afips/Matula67,
title = {Base conversion mappings.},
year = {1967},
booktitle = {AFIPS Spring Joint Computing Conference},
author = {{David W. Matula}},
publisher = {AFIPS / ACM / Thomson Book Company, Washington D.C.},
booktitle = {American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Spring Joint Computer Conference, April 18-20, 1967, Atlantic City, New Jersey, USA}
}
@article{journals/cacm/Matula68,
title = {In-and-out conversions.},
year = {1968},
journal = {Commun. ACM},
author = {{David W. Matula}}
}
@inproceedings{conf/afips/Matula69,
title = {Towards an abstract mathematical theory of floating-point arithmetic.},
year = {1969},
booktitle = {AFIPS Spring Joint Computing Conference},
author = {{David W. Matula}},
publisher = {AFIPS Press},
booktitle = {American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1969 Spring Joint Computer Conference, Boston, MA, USA, May 14-16, 1969}
}
@article{journals/sigcse/Matula69,
title = {A term project given in the basic computer science course at Washington University.},
year = {1969},
journal = {ACM SIGCSE Bull.},
author = {{David W. Matula}}
}
@inproceedings{conf/sigcse/Matula70,
title = {The emergence of computational arithmetic as a component of the computer science curriculum.},
year = {1970},
booktitle = {SIGCSE},
author = {{David W. Matula}},
publisher = {ACM},
booktitle = {Proceedings of the 1st SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1970, Houston, TX, USA, November 16, 1970}
}
@article{journals/sigcse/Matula70,
title = {Course and program descriptions.},
year = {1970},
journal = {ACM SIGCSE Bull.},
author = {{David W. Matula}}
}
@article{journals/tc/Matula70,
title = {A Formalization of Floating-Point Numeric Base Conversion.},
year = {1970},
journal = {IEEE Trans. Computers},
author = {{David W. Matula}}
}
@inproceedings{conf/ifip/Matula71,
title = {Significant Digits: Numerical Analysis or Numerology.},
year = {1971},
booktitle = {IFIP Congress (2)},
author = {{David W. Matula}},
publisher = {North-Holland},
booktitle = {Information Processing, Proceedings of IFIP Congress 1971, Volume 2 - Applications, Ljubljana, Yugoslavia, August 23-28, 1971.}
}
@inproceedings{conf/arith/MarasaM72,
title = {A simulative study of correlated error propagation in various finite arithmetics.},
year = {1972},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{John D. Marasa} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {2nd IEEE Symposium on Computer Arithmetic, ARITH 1972, College Park, MD, USA, May 15-16, 1972}
}
@inproceedings{conf/arith/Matula72,
title = {Foundations of finite precision arithmetic.},
year = {1972},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {2nd IEEE Symposium on Computer Arithmetic, ARITH 1972, College Park, MD, USA, May 15-16, 1972}
}
@article{journals/networks/Matula72,
title = {Bounded color functions on graphs.},
year = {1972},
journal = {Networks},
author = {{David W. Matula}}
}
@article{journals/tc/MarasaM73,
title = {A Simulative Study of Correlated Error Propagation in Various Finite-Precision Arithmetics.},
year = {1973},
journal = {IEEE Trans. Computers},
author = {{John D. Marasa} and {David W. Matula}}
}
@inproceedings{conf/arith/GregoryM75,
title = {Base conversion in residue number systems.},
year = {1975},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Robert T. Gregory} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {3rd IEEE Symposium on Computer Arithmetic, ARITH 1975, Dallas, TX, USA, November 19-20, 1975}
}
@inproceedings{conf/arith/Matula75,
title = {Fixed-slash and floating-slash rational arithmetic.},
year = {1975},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {3rd IEEE Symposium on Computer Arithmetic, ARITH 1975, Dallas, TX, USA, November 19-20, 1975}
}
@inproceedings{conf/arith/KornerupM78,
title = {A feasibility analysis of fixed-slash rational arithmetic.},
year = {1978},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Peter Kornerup} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {4th IEEE Symposium on Computer Arithmetic, ARITH 1978, Santa Monica, CA, USA, October 25-27, 1978}
}
@inproceedings{conf/arith/Matula78,
title = {Basic digit sets for radix representation of the integers.},
year = {1978},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {4th IEEE Symposium on Computer Arithmetic, ARITH 1978, Santa Monica, CA, USA, October 25-27, 1978}
}
@inproceedings{conf/arith/MatulaK78,
title = {A feasibility analysis of binary fixed-slash and floating-slash number systems.},
year = {1978},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula} and {Peter Kornerup}},
publisher = {IEEE Computer Society},
booktitle = {4th IEEE Symposium on Computer Arithmetic, ARITH 1978, Santa Monica, CA, USA, October 25-27, 1978}
}
@article{journals/jct/Matula78,
title = {k-Blocks and ultrablocks in graphs.},
year = {1978},
journal = {J. Comb. Theory, Ser. B},
author = {{David W. Matula}}
}
@inproceedings{conf/eurosam/MatulaK79,
title = {An approximate rational arithmetic system with intrinsic recovery of simple fractions during expression evaluation.},
year = {1979},
booktitle = {EUROSAM},
author = {{David W. Matula} and {Peter Kornerup}},
publisher = {Springer},
booktitle = {Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings}
}
@inproceedings{conf/arith/KornerupM81,
title = {An integrated rational arithmetic unit.},
year = {1981},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Peter Kornerup} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {5th IEEE Symposium on Computer Arithmetic, ARITH 1981, Ann Arbor, MI, USA, May 16-19, 1981}
}
@article{journals/jacm/Matula82,
title = {Basic digit sets for radix representation.},
year = {1982},
journal = {J. ACM},
author = {{David W. Matula}}
}
@inproceedings{conf/arith/MatulaK83,
title = {An order preserving finite binary encoding of the rationals.},
year = {1983},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula} and {Peter Kornerup}},
publisher = {IEEE Computer Society},
booktitle = {6th IEEE Symposium on Computer Arithmetic, ARITH 1983, Aarhus, Denmark, June 20-22, 1983}
}
@article{journals/jgt/Matula83,
title = {Ramsey theory for graph connectivity.},
year = {1983},
journal = {J. Graph Theory},
author = {{David W. Matula}}
}
@article{journals/tc/KornerupM83,
title = {Finite Precision Rational Arithmetic: An Arithmetic Unit.},
year = {1983},
journal = {IEEE Trans. Computers},
author = {{Peter Kornerup} and {David W. Matula}}
}
@article{journals/jacm/MatulaB83,
title = {Smallest-Last Ordering and clustering and Graph Coloring Algorithms},
year = {1983},
month = {July},
journal = {J. ACM},
author = {{David W. Matula} and {Leland L. Beck}}
}
@inproceedings{conf/arith/KornerupM85,
title = {Finite precision lexicographic continued fraction number systems.},
year = {1985},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Peter Kornerup} and {David W. Matula}},
publisher = {IEEE},
booktitle = {7th IEEE Symposium on Computer Arithmetic, ARITH 1985, Urbana, IL, USA, June 4-6, 1985}
}
@article{journals/tc/MatulaK85,
title = {Finite Precision Rational Arithmetic Slash Number Systems.},
year = {1985},
journal = {IEEE Trans. Computers},
author = {{David W. Matula} and {Peter Kornerup}}
}
@inproceedings{conf/fjcc/BiswasM86,
title = {Two Flow Routing Algorithms for the Maximum Concurrent-Flow Problem.},
year = {1986},
booktitle = {FJCC},
author = {{Jit Biswas} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA}
}
@inproceedings{conf/acm/ShahrokhiM87,
title = {On solving large maximum concurrent flow problems.},
year = {1987},
booktitle = {ACM Conference on Computer Science},
author = {{Farhad Shahrokhi} and {David W. Matula}},
publisher = {ACM},
booktitle = {Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987}
}
@inproceedings{conf/arith/KornerupM87,
title = {A bit-serial arithmetic unit for rational arithmetic.},
year = {1987},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Peter Kornerup} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {8th IEEE Symposium on Computer Arithmetic, ARITH 1987, Como, Italy, May 18-21, 1987}
}
@inproceedings{conf/focs/Matula87,
title = {Determining Edge Connectivity in O(nm)},
year = {1987},
booktitle = {FOCS},
author = {{David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {28th Annual Symposium on Foundations of Computer Science, Los Angeles, California, USA, 27-29 October 1987}
}
@article{journals/combinatorica/Matula87,
title = {Expose-and-merge exploration and the chromatic number of random graph.},
year = {1987},
journal = {Comb.},
author = {{David W. Matula}}
}
@article{journals/jpdc/KornerupM88,
title = {An On-Line Arithmetic Unit for Bit-Pipelined Rational Arithmetic.},
year = {1988},
journal = {J. Parallel Distributed Comput.},
author = {{Peter Kornerup} and {David W. Matula}}
}
@inproceedings{conf/arith/KornerupM89,
title = {Exploiting redundancy in bit-pipelined rational arithmetic.},
year = {1989},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Peter Kornerup} and {David W. Matula}},
publisher = {IEEE},
booktitle = {9th Symposium on Computer Arithmetic, ARITH 1989, Santa Monica, CA, USA, September 6-8, 1989}
}
@inproceedings{conf/spdp/Matula90,
title = {Design of a highly parallel IEEE standard floating point unit: the Cyrix 83D87 coprocessor.},
year = {1990},
booktitle = {SPDP},
author = {{David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990.}
}
@article{journals/dam/MatulaS90,
title = {Sparsest cuts and bottlenecks in graphs.},
year = {1990},
journal = {Discret. Appl. Math.},
author = {{David W. Matula} and {Farhad Shahrokhi}}
}
@article{journals/tc/KornerupM90,
title = {An Algorithm for Redundant Binary Bit-Pipelined Rational Arithmetic.},
year = {1990},
journal = {IEEE Trans. Computers},
author = {{Peter Kornerup} and {David W. Matula}}
}
@article{journals/jacm/ShahrokhiM90,
title = {The Maximum Concurrent Flow Problem},
year = {1990},
month = {April},
journal = {J. ACM},
author = {{Farhad Shahrokhi} and {David W. Matula}}
}
@inproceedings{conf/arith/BohlenderWKM91,
title = {Semantics for exact floating point operations.},
year = {1991},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Gerd Bohlender} and {Wolfgang Walter} and {Peter Kornerup} and {David W. Matula}},
publisher = {IEEE},
booktitle = {10th IEEE Symposium on Computer Arithmetic, ARITH 1991, Grenoble, France, June 26-28, 1991}
}
@inproceedings{conf/arith/ParikhM91,
title = {A redundant binary Euclidean GCD algorithm.},
year = {1991},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Shrikant N. Parikh} and {David W. Matula}},
publisher = {IEEE},
booktitle = {10th IEEE Symposium on Computer Arithmetic, ARITH 1991, Grenoble, France, June 26-28, 1991}
}
@inproceedings{conf/arith/BriggsM93,
title = {A 17 × 69 bit multiply and add unit with redundant binary feedback and single cycle latency.},
year = {1993},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{W. S. Briggs} and {David W. Matula}},
publisher = {IEEE Computer Society/},
booktitle = {11th Symposium on Computer Arithmetic, 29 June - 2 July 1993, Windsor, Canada, Proceedings.}
}
@inproceedings{conf/arith/DaumasM93,
title = {Design of a fast validated dot product operation.},
year = {1993},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Marc Daumas} and {David W. Matula}},
publisher = {IEEE Computer Society/},
booktitle = {11th Symposium on Computer Arithmetic, 29 June - 2 July 1993, Windsor, Canada, Proceedings.}
}
@inproceedings{conf/dimacs/CaiM93,
title = {Partitioning by Maximum Adjacency Search of Graphs.},
year = {1993},
booktitle = {Partitioning Data Sets},
author = {{Weiqing Cai} and {David W. Matula}},
publisher = {DIMACS/AMS},
booktitle = {Partitioning Data Sets, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, April 19-21, 1993}
}
@inproceedings{conf/soda/Matula93,
title = {A Linear Time 2+epsilon Approximation Algorithm for Edge Connectivity.},
year = {1993},
booktitle = {SODA},
author = {{David W. Matula}},
publisher = {ACM/SIAM},
booktitle = {Proceedings of the Fourth Annual ACM/SIGACT-SIAM Symposium on Discrete Algorithms, 25-27 January 1993, Austin, Texas, USA.}
}
@article{journals/tc/DasSarmaM94,
title = {Measuring the Accuracy of ROM Reciprocal Tables.},
year = {1994},
journal = {IEEE Trans. Computers},
author = {{Debjit Das Sarma} and {David W. Matula}}
}
@inproceedings{conf/arith/LyuM95,
title = {Redundant Binary Booth Recoding.},
year = {1995},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Chung Nan Lyu} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK}
}
@inproceedings{conf/arith/SarmaM95,
title = {Faithful Bipartite ROM Reciprocal Tables.},
year = {1995},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Debjit Das Sarma} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK}
}
@article{journals/jucs/KornerupM95,
title = {LCF: A Lexicagraphic Binary representation of the Rationals.},
year = {1995},
journal = {J. Univers. Comput. Sci.},
author = {{Peter Kornerup} and {David W. Matula}}
}
@inproceedings{conf/arith/MatulaN97,
title = {Pipelined Packet-Forwarding Floating Point: I. Foundations and a Rounder.},
year = {1997},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula} and {Asger Munk Nielsen}},
publisher = {IEEE Computer Society},
booktitle = {13th Symposium on Computer Arithmetic (ARITH-13 '97), 6-9 July 1997, Asilomar, CA, USA}
}
@inproceedings{conf/arith/NielsenMLE97,
title = {Pipelined Packet-Forwarding Floating Point: II. An Adder.},
year = {1997},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Asger Munk Nielsen} and {David W. Matula} and {Chung Nan Lyu} and {Guy Even}},
publisher = {IEEE Computer Society},
booktitle = {13th Symposium on Computer Arithmetic (ARITH-13 '97), 6-9 July 1997, Asilomar, CA, USA}
}
@inproceedings{conf/arith/SarmaM97,
title = {Faithful Interpolation in Reciprocal Tables.},
year = {1997},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Debjit Das Sarma} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {13th Symposium on Computer Arithmetic (ARITH-13 '97), 6-9 July 1997, Asilomar, CA, USA}
}
@article{journals/tc/DaumasM97,
title = {Validated Roundings of Dot Products by Sticky Accumulation.},
year = {1997},
journal = {IEEE Trans. Computers},
author = {{Marc Daumas} and {David W. Matula}}
}
@inproceedings{conf/icccn/IridonM98,
title = {Symmetric Cellular Network Embeddings on a Torus.},
year = {1998},
booktitle = {ICCCN},
author = {{Mihaela Iridon} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), October 12-15, 1998, Lafayette, Louisiana, USA}
}
@inproceedings{journals/entcs/EdalatMS99,
title = {Preface.},
year = {1998},
booktitle = {RealComp},
author = {{Abbas Edalat} and {David W. Matula} and {Philipp Sünderhauf}},
publisher = {Elsevier},
booktitle = {Workshop on Real Number Computation, RealComp 1998, Indianapolis, Indiana, USA, June 19-20, 1998}
}
@inproceedings{journals/entcs/IordacheM99,
title = {Analysis of Reciprocal and Square Root Reciprocal Instructions in the AMD K6-2 Implementation of 3DNow!},
year = {1998},
booktitle = {RealComp},
author = {{Cristina Iordache} and {David W. Matula}},
publisher = {Elsevier},
booktitle = {Workshop on Real Number Computation, RealComp 1998, Indianapolis, Indiana, USA, June 19-20, 1998}
}
@inproceedings{conf/arith/IordacheM99,
title = {On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal.},
year = {1999},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Cristina Iordache} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {14th IEEE Symposium on Computer Arithmetic (Arith-14 '99), 14-16 April 1999, Adelaide, Australia}
}
@inproceedings{conf/compsac/CankayaMI99,
title = {Performance Analysis of a Graph Model for Channel Assignment in a Cellular Network.},
year = {1999},
booktitle = {COMPSAC},
author = {{Hakki C. Cankaya} and {David W. Matula} and {Mihaela Iridon}},
publisher = {IEEE Computer Society},
booktitle = {23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA}
}
@inproceedings{conf/asap/DaumasM00,
title = {A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional Delay.},
year = {2000},
booktitle = {ASAP},
author = {{Marc Daumas} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {12th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2000), 10-12 July 2000, Boston, MA, USA}
}
@article{journals/tc/ErcegovacIMMW00,
title = {Improving Goldschmidt Division, Square Root, and Square Root Reciprocal.},
year = {2000},
journal = {IEEE Trans. Computers},
author = {{Milos D. Ercegovac} and {Laurent Imbert} and {David W. Matula} and {Jean-Michel Muller} and {Guoheng Wei}}
}
@article{journals/tc/NielsenMLE00,
title = {An IEEE Compliant Floating-Point Adder that Conforms with the Pipelined Packet-Forwarding Paradigm.},
year = {2000},
journal = {IEEE Trans. Computers},
author = {{Asger Munk Nielsen} and {David W. Matula} and {Chung Nan Lyu} and {Guy Even}}
}
@inproceedings{conf/arith/Matula01,
title = {Improved Table Lookup Algorithms for Postscaled Division.},
year = {2001},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {15th IEEE Symposium on Computer Arithmetic (Arith-15 2001), 11-17 June 2001, Vail, CO, USA}
}
@inproceedings{conf/arith/McFearinM01,
title = {Generation and Analysis of Hard to Round Cases for Binary Floating Point Division.},
year = {2001},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Lee D. McFearin} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {15th IEEE Symposium on Computer Arithmetic (Arith-15 2001), 11-17 June 2001, Vail, CO, USA}
}
@inproceedings{conf/arith/SeidelMM01,
title = {Binary Multiplication Radix-32 and Radix-256.},
year = {2001},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Peter-Michael Seidel} and {Lee D. McFearin} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {15th IEEE Symposium on Computer Arithmetic (Arith-15 2001), 11-17 June 2001, Vail, CO, USA}
}
@inproceedings{conf/iccd/McFearinM01,
title = {Selecting A Well Distributed Hard Case Test Suite for IEEE Standard Floating Point Division.},
year = {2001},
booktitle = {ICCD},
author = {{Lee D. McFearin} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {19th International Conference on Computer Design (ICCD 2001), VLSI in Computers and Processors, 23-26 September 2001, Austin, TX, USA, Proceedings}
}
@article{journals/winet/IridonMY01,
title = {A Graph Theoretic Approach for Channel Assignment in Cellular Networks.},
year = {2001},
journal = {Wirel. Networks},
author = {{Mihaela Iridon} and {David W. Matula} and {Cheng Yang}}
}
@inproceedings{conf/asap/MatulaFM02,
title = {Evaluating Products of Non Linear Functions by Indirect Bipartite Table Lookup.},
year = {2002},
booktitle = {ASAP},
author = {{David W. Matula} and {Alex Fit-Florea} and {Lee D. McFearin}},
publisher = {IEEE Computer Society},
booktitle = {13th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2002), 17-19 July 2002, San Jose, CA, USA}
}
@article{journals/jgaa/IridonM02,
title = {Regular Triangulated Toroidal Graphs with Applications to Cellular and Interconnection Networks.},
year = {2002},
journal = {J. Graph Algorithms Appl.},
author = {{Mihaela Iridon} and {David W. Matula}}
}
@inproceedings{conf/arith/Matula03,
title = {Computer Arithmetic - An Algorithm Engineer's Perspective.},
year = {2003},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 15-18 June 2003, Santiago de Compostela, Spain}
}
@inproceedings{conf/arith/MatulaF03,
title = {Prescaled Integer Division.},
year = {2003},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula} and {Alex Fit-Florea}},
publisher = {IEEE Computer Society},
booktitle = {16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 15-18 June 2003, Santiago de Compostela, Spain}
}
@article{journals/tcs/MatulaM03,
title = {A p×p bit fraction model of binary floating point division and extremal rounding cases.},
year = {2003},
journal = {Theor. Comput. Sci.},
author = {{David W. Matula} and {Lee D. McFearin}}
}
@article{journals/vlsisp/DaumasM03,
title = {Further Reducing the Redundancy of a Notation Over a Minimally Redundant Digit Set.},
year = {2003},
journal = {J. VLSI Signal Process.},
author = {{Marc Daumas} and {David W. Matula}}
}
@inproceedings{conf/asap/Fit-FloreaM04,
title = {A Digit-Serial Algorithm for the Discrete Logarithm Modulo 2k.},
year = {2004},
booktitle = {ASAP},
author = {{Alex Fit-Florea} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {15th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2004), 27-29 September 2004, Galveston, TX, USA}
}
@inproceedings{conf/aiccsa/Fit-FloreaM05,
title = {Determining all pairs edge connectivity of a 4-regular graph in O(|V|).},
year = {2005},
booktitle = {AICCSA},
author = {{Alex Fit-Florea} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt}
}
@inproceedings{conf/arith/KornerupM05,
title = {Single Precision Reciprocals by Multipartite Table Lookup.},
year = {2005},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{Peter Kornerup} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 27-29 June 2005, Cape Cod, MA, USA}
}
@inproceedings{conf/arith/MatulaFT05,
title = {Table Lookup Structures for Multiplicative Inverses Modulo 2k.},
year = {2005},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula} and {Alex Fit-Florea} and {Mitchell Aaron Thornton}},
publisher = {IEEE Computer Society},
booktitle = {17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 27-29 June 2005, Cape Cod, MA, USA}
}
@inproceedings{conf/isvlsi/LiFTM05,
title = {Hardware Implementation of an Additive Bit-Serial Algorithm for the Discrete Logarithm Modulo 2k.},
year = {2005},
booktitle = {ISVLSI},
author = {{Lun Li} and {Alex Fit-Florea} and {Mitchell A. Thornton} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), New Frontiers in VLSI Design, 11-12 May 2005, Tampa, FL, USA}
}
@article{journals/tc/SeidelMM05,
title = {Secondary Radix Recodings for Higher Radix Multipliers.},
year = {2005},
journal = {IEEE Trans. Computers},
author = {{Peter-Michael Seidel} and {Lee D. McFearin} and {David W. Matula}}
}
@inproceedings{conf/asap/LiFTM06,
title = {Performance Evaluation of a Novel Direct Table Lookup Method and Architecture with Application to 16-bit Integer Functions.},
year = {2006},
booktitle = {ASAP},
author = {{Lun Li} and {Alex Fit-Florea} and {Mitchell A. Thornton} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {2006 IEEE International Conference on Application-Specific Systems, Architecture and Processors (ASAP 2006), 11-13 September 2006, Steamboat Springs, Colorado, USA}
}
@inproceedings{conf/date/MatulaM06,
title = {A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division.},
year = {2006},
booktitle = {DATE},
author = {{David W. Matula} and {Lee D. McFearin}},
publisher = {European Design and Automation Association, Leuven, Belgium},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006}
}
@inproceedings{conf/glvlsi/LiTM06,
title = {A digit serial algorithm for the integer power operation.},
year = {2006},
booktitle = {ACM Great Lakes Symposium on VLSI},
author = {{Lun Li} and {Mitchell A. Thornton} and {David W. Matula}},
publisher = {ACM},
booktitle = {Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30 - May 1, 2006}
}
@inproceedings{conf/acssc/MooreTM08,
title = {A low power radix-4 dual recoded integer squaring implementation for use in design of application specific arithmetic circuits.},
year = {2008},
booktitle = {ACSCC},
author = {{Jason Moore} and {Mitchell A. Thornton} and {David W. Matula}},
publisher = {IEEE},
booktitle = {42nd Asilomar Conference on Signals, Systems and Computers, ACSSC 2008, Pacific Grove, CA, USA, October 26-29, 2008}
}
@inproceedings{conf/ismvl/Matula08,
title = {Foundations of Higher Radix Numeric Computation.},
year = {2008},
booktitle = {ISMVL},
author = {{David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA}
}
@inproceedings{conf/ismvl/ThorntonMSM08,
title = {Quantum Logic Implementation of Unary Arithmetic Operations.},
year = {2008},
booktitle = {ISMVL},
author = {{Mitchell A. Thornton} and {David W. Matula} and {Laura Spenner} and {D. Michael Miller}},
publisher = {IEEE Computer Society},
booktitle = {38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA}
}
@article{journals/socnet/MannMO08,
title = {The use of sparsest cuts to reveal the hierarchical community structure of social networks.},
year = {2008},
journal = {Soc. Networks},
author = {{Charles F. Mann} and {David W. Matula} and {Eli V. Olinick}}
}
@inproceedings{conf/arith/Matula09,
title = {Higher Radix Squaring Operations Employing Left-to-Right Dual Recoding.},
year = {2009},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {19th IEEE Symposium on Computer Arithmetic, ARITH 2009, Portland, Oregon, USA, 9-10 June 2009}
}
@inproceedings{conf/asap/DatlaTM09,
title = {A Low Power High Performance Radix-4 Approximate Squaring Circuit.},
year = {2009},
booktitle = {ASAP},
author = {{Satyendra R. Datla} and {Mitchell A. Thornton} and {David W. Matula}},
publisher = {IEEE Computer Society},
booktitle = {20th IEEE International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2009, July 7-9, 2009, Boston, MA, USA}
}
@inproceedings{conf/wasa/MahjoubM09,
title = {Experimental Study of Independent and Dominating Sets in Wireless Sensor Networks Using Graph Coloring Algorithms.},
year = {2009},
booktitle = {WASA},
author = {{Dhia Mahjoub} and {David W. Matula}},
publisher = {Springer},
booktitle = {Wireless Algorithms, Systems, and Applications, 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings}
}
@article{journals/tc/Fit-FloreaLTM09,
title = {A Discrete Logarithm Number System for Integer Arithmetic Modulo 2k: Algorithms and Lookup Structures.},
year = {2009},
journal = {IEEE Trans. Computers},
author = {{Alex Fit-Florea} and {Lun Li} and {Mitchell A. Thornton} and {David W. Matula}}
}
@inproceedings{conf/alenex/MahjoubM10,
title = {Employing (1 - epsilon) Dominating Set Partitions as Backbones in Wireless Sensor Networks.},
year = {2010},
booktitle = {ALENEX},
author = {{Dhia Mahjoub} and {David W. Matula}},
publisher = {SIAM},
booktitle = {Proceedings of the Twelfth Workshop on Algorithm Engineering and Experiments, ALENEX 2010, Austin, Texas, USA, January 16, 2010}
}
@inproceedings{conf/cccg/MahjoubLM10,
title = {Approximating the independent domatic partition problem in random geometric graphs - an experimental study.},
year = {2010},
booktitle = {CCCG},
author = {{Dhia Mahjoub} and {Angelika Leskovskaya} and {David W. Matula}},
booktitle = {Proceedings of the 22nd Annual Canadian Conference on Computational Geometry, Winnipeg, Manitoba, Canada, August 9-11, 2010}
}
@inproceedings{conf/dcoss/MahjoubM10,
title = {Building (1 - epsilon) Dominating Sets Partition as Backbones in Wireless Sensor Networks Using Distributed Graph Coloring.},
year = {2010},
booktitle = {DCOSS},
author = {{Dhia Mahjoub} and {David W. Matula}},
publisher = {Springer},
booktitle = {Distributed Computing in Sensor Systems, 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings}
}
@inproceedings{conf/arith/MatulaP10,
title = {A Prescale-Lookup-Postscale Additive Procedure for Obtaining a Single Precision Ulp Accurate Reciprocal.},
year = {2011},
booktitle = {IEEE Symposium on Computer Arithmetic},
author = {{David W. Matula} and {Mihai T. Panu}},
publisher = {IEEE Computer Society},
booktitle = {20th IEEE Symposium on Computer Arithmetic, ARITH 2011, Tübingen, Germany, 25-27 July 2011}
}
@article{journals/comcom/MahjoubM12,
title = {Constructing efficient rotating backbones in wireless sensor networks using graph coloring.},
year = {2012},
journal = {Comput. Commun.},
author = {{Dhia Mahjoub} and {David W. Matula}}
}
@inproceedings{conf/mwscas/MooreTM13,
title = {Low power floating-point multiplication and squaring units with shared circuitry.},
year = {2013},
booktitle = {MWSCAS},
author = {{Jason Moore} and {Mitchell A. Thornton} and {David W. Matula}},
publisher = {IEEE},
booktitle = {IEEE 56th International Midwest Symposium on Circuits and Systems, MWSCAS 2013, Columbus, OH, USA, August 4-7, 2013}
}
@article{journals/networks/DongOKM15,
title = {A compact linear programming formulation of the maximum concurrent flow problem.},
year = {2015},
journal = {Networks},
author = {{Yuanyuan Dong} and {Eli V. Olinick} and {T. Jason Kratz} and {David W. Matula}}
}
@article{journals/tc/MatulaPZ15,
title = {Multiplicative Division Employing Independent Factors.},
year = {2015},
journal = {IEEE Trans. Computers},
author = {{David W. Matula} and {Mihai T. Panu} and {Jonathan Y. Zhang}}
}
@inproceedings{conf/dcoss/ChenM17,
title = {Bipartite Grid Partitioning of a Random Geometric Graph.},
year = {2017},
booktitle = {DCOSS},
author = {{Zizhen Chen} and {David W. Matula}},
publisher = {IEEE},
booktitle = {13th International Conference on Distributed Computing in Sensor Systems, DCOSS 2017, Ottawa, ON, Canada, June 5-7, 2017}
}
@inproceedings{conf/arith/MatulaC19,
title = {Precise and Concise Graphical Representation of the Natural Numbers.},
year = {2019},
booktitle = {ARITH},
author = {{David W. Matula} and {Zizhen Chen}},
publisher = {IEEE},
booktitle = {26th IEEE Symposium on Computer Arithmetic, ARITH 2019, Kyoto, Japan, June 10-12, 2019}
}
@inproceedings{conf/complexnetworks/McCarthyCRM19,
title = {Metrics Matter in Community Detection.},
year = {2019},
booktitle = {COMPLEX NETWORKS (1)},
author = {{Arya D. McCarthy} and {Tongfei Chen} and {Rachel Rudinger} and {David W. Matula}},
publisher = {Springer},
booktitle = {Complex Networks and Their Applications VIII - Volume 1 Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019, Lisbon, Portugal, December 10-12, 2019.}
}
@article{journals/ol/VilasOM20,
title = {Bounds on maximum concurrent flow in random bipartite graphs.},
year = {2020},
journal = {Optim. Lett.},
author = {{Fernando E. Vilas} and {Eli V. Olinick} and {David W. Matula}}
}