David W. Matula

Publication Activity (10 Years)

Years Active: 1967-2020
Publications (10 Years): 5

Top Venues

CoRR

MWSCAS

Networks

IEEE Trans. Computers

Publications

Fernando E. Vilas, Eli V. Olinick, David W. Matula
Bounds on maximum concurrent flow in random bipartite graphs. Optim. Lett. 14 (8) (2020)
Arya D. McCarthy, Tongfei Chen, Rachel Rudinger, David W. Matula
Metrics matter in community detection. CoRR (2019)
Arya D. McCarthy, Tongfei Chen, Rachel Rudinger, David W. Matula
Metrics Matter in Community Detection. COMPLEX NETWORKS (1) (2019)
David W. Matula, Zizhen Chen
Precise and Concise Graphical Representation of the Natural Numbers. ARITH (2019)
Zizhen Chen, David W. Matula
Bipartite Grid Partitioning of a Random Geometric Graph. DCOSS (2017)
Yuanyuan Dong, Eli V. Olinick, T. Jason Kratz, David W. Matula
A compact linear programming formulation of the maximum concurrent flow problem. Networks 65 (1) (2015)
David W. Matula, Mihai T. Panu, Jonathan Y. Zhang
Multiplicative Division Employing Independent Factors. IEEE Trans. Computers 64 (7) (2015)
Jason Moore, Mitchell A. Thornton, David W. Matula
Low power floating-point multiplication and squaring units with shared circuitry. MWSCAS (2013)
Dhia Mahjoub, David W. Matula
Constructing efficient rotating backbones in wireless sensor networks using graph coloring. Comput. Commun. 35 (9) (2012)
David W. Matula, Mihai T. Panu
A Prescale-Lookup-Postscale Additive Procedure for Obtaining a Single Precision Ulp Accurate Reciprocal. IEEE Symposium on Computer Arithmetic (2011)
Dhia Mahjoub, Angelika Leskovskaya, David W. Matula
Approximating the independent domatic partition problem in random geometric graphs - an experimental study. CCCG (2010)
Dhia Mahjoub, David W. Matula
Employing (1 - epsilon) Dominating Set Partitions as Backbones in Wireless Sensor Networks. ALENEX (2010)
Dhia Mahjoub, David W. Matula
) Dominating Sets Partition as Backbones in Wireless Sensor Networks Using Distributed Graph Coloring. DCOSS (2010)
Alex Fit-Florea, Lun Li, Mitchell A. Thornton, David W. Matula
: Algorithms and Lookup Structures. IEEE Trans. Computers 58 (2) (2009)
Satyendra R. Datla, Mitchell A. Thornton, David W. Matula
A Low Power High Performance Radix-4 Approximate Squaring Circuit. ASAP (2009)
David W. Matula
Higher Radix Squaring Operations Employing Left-to-Right Dual Recoding. IEEE Symposium on Computer Arithmetic (2009)
Dhia Mahjoub, David W. Matula
Experimental Study of Independent and Dominating Sets in Wireless Sensor Networks Using Graph Coloring Algorithms. WASA (2009)
Mitchell A. Thornton, David W. Matula, Laura Spenner, D. Michael Miller
Quantum Logic Implementation of Unary Arithmetic Operations. ISMVL (2008)
David W. Matula
Foundations of Higher Radix Numeric Computation. ISMVL (2008)
Charles F. Mann, David W. Matula, Eli V. Olinick
The use of sparsest cuts to reveal the hierarchical community structure of social networks. Soc. Networks 30 (3) (2008)
Jason Moore, Mitchell A. Thornton, David W. Matula
A low power radix-4 dual recoded integer squaring implementation for use in design of application specific arithmetic circuits. ACSCC (2008)
Lun Li, Mitchell A. Thornton, David W. Matula
A digit serial algorithm for the integer power operation. ACM Great Lakes Symposium on VLSI (2006)
David W. Matula, Lee D. McFearin
A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division. DATE (2006)
Lun Li, Alex Fit-Florea, Mitchell A. Thornton, David W. Matula
Performance Evaluation of a Novel Direct Table Lookup Method and Architecture with Application to 16-bit Integer Functions. ASAP (2006)
Peter Kornerup, David W. Matula
Single Precision Reciprocals by Multipartite Table Lookup. IEEE Symposium on Computer Arithmetic (2005)
David W. Matula, Alex Fit-Florea, Mitchell Aaron Thornton
. IEEE Symposium on Computer Arithmetic (2005)
Peter-Michael Seidel, Lee D. McFearin, David W. Matula
Secondary Radix Recodings for Higher Radix Multipliers. IEEE Trans. Computers 54 (2) (2005)
Alex Fit-Florea, David W. Matula
Determining all pairs edge connectivity of a 4-regular graph in O(|V|). AICCSA (2005)
Lun Li, Alex Fit-Florea, Mitchell A. Thornton, David W. Matula
. ISVLSI (2005)
Alex Fit-Florea, David W. Matula
. ASAP (2004)
David W. Matula
Computer Arithmetic - An Algorithm Engineer's Perspective. IEEE Symposium on Computer Arithmetic (2003)
Marc Daumas, David W. Matula
Further Reducing the Redundancy of a Notation Over a Minimally Redundant Digit Set. J. VLSI Signal Process. 33 (1-2) (2003)
David W. Matula, Lee D. McFearin
A p×p bit fraction model of binary floating point division and extremal rounding cases. Theor. Comput. Sci. 291 (2) (2003)
David W. Matula, Alex Fit-Florea
Prescaled Integer Division. IEEE Symposium on Computer Arithmetic (2003)
David W. Matula, Alex Fit-Florea, Lee D. McFearin
Evaluating Products of Non Linear Functions by Indirect Bipartite Table Lookup. ASAP (2002)
Mihaela Iridon, David W. Matula
Regular Triangulated Toroidal Graphs with Applications to Cellular and Interconnection Networks. J. Graph Algorithms Appl. 6 (4) (2002)
Mihaela Iridon, David W. Matula, Cheng Yang
A Graph Theoretic Approach for Channel Assignment in Cellular Networks. Wirel. Networks 7 (6) (2001)
David W. Matula
Improved Table Lookup Algorithms for Postscaled Division. IEEE Symposium on Computer Arithmetic (2001)
Lee D. McFearin, David W. Matula
Generation and Analysis of Hard to Round Cases for Binary Floating Point Division. IEEE Symposium on Computer Arithmetic (2001)
Lee D. McFearin, David W. Matula
Selecting A Well Distributed Hard Case Test Suite for IEEE Standard Floating Point Division. ICCD (2001)
Peter-Michael Seidel, Lee D. McFearin, David W. Matula
Binary Multiplication Radix-32 and Radix-256. IEEE Symposium on Computer Arithmetic (2001)
Marc Daumas, David W. Matula
A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional Delay. ASAP (2000)
Milos D. Ercegovac, Laurent Imbert, David W. Matula, Jean-Michel Muller, Guoheng Wei
Improving Goldschmidt Division, Square Root, and Square Root Reciprocal. IEEE Trans. Computers 49 (7) (2000)
Asger Munk Nielsen, David W. Matula, Chung Nan Lyu, Guy Even
An IEEE Compliant Floating-Point Adder that Conforms with the Pipelined Packet-Forwarding Paradigm. IEEE Trans. Computers 49 (1) (2000)
Cristina Iordache, David W. Matula
On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal. IEEE Symposium on Computer Arithmetic (1999)
Abbas Edalat, David W. Matula, Philipp Sünderhauf
Preface. Electron. Notes Theor. Comput. Sci. 24 (1999)
Cristina Iordache, David W. Matula
Analysis of Reciprocal and Square Root Reciprocal Instructions in the AMD K6-2 Implementation of 3DNow! Electron. Notes Theor. Comput. Sci. 24 (1999)
Hakki C. Cankaya, David W. Matula, Mihaela Iridon
Performance Analysis of a Graph Model for Channel Assignment in a Cellular Network. COMPSAC (1999)
Mihaela Iridon, David W. Matula
Symmetric Cellular Network Embeddings on a Torus. ICCCN (1998)
David W. Matula, Asger Munk Nielsen
Pipelined Packet-Forwarding Floating Point: I. Foundations and a Rounder. IEEE Symposium on Computer Arithmetic (1997)
Marc Daumas, David W. Matula
Validated Roundings of Dot Products by Sticky Accumulation. IEEE Trans. Computers 46 (5) (1997)
Debjit Das Sarma, David W. Matula
Faithful Interpolation in Reciprocal Tables. IEEE Symposium on Computer Arithmetic (1997)
Asger Munk Nielsen, David W. Matula, Chung Nan Lyu, Guy Even
Pipelined Packet-Forwarding Floating Point: II. An Adder. IEEE Symposium on Computer Arithmetic (1997)
Debjit Das Sarma, David W. Matula
Faithful Bipartite ROM Reciprocal Tables. IEEE Symposium on Computer Arithmetic (1995)
Peter Kornerup, David W. Matula
LCF: A Lexicagraphic Binary representation of the Rationals. J. Univers. Comput. Sci. 1 (7) (1995)
Chung Nan Lyu, David W. Matula
Redundant Binary Booth Recoding. IEEE Symposium on Computer Arithmetic (1995)
Debjit Das Sarma, David W. Matula
Measuring the Accuracy of ROM Reciprocal Tables. IEEE Trans. Computers 43 (8) (1994)
Weiqing Cai, David W. Matula
Partitioning by Maximum Adjacency Search of Graphs. Partitioning Data Sets (1993)
David W. Matula
A Linear Time 2+epsilon Approximation Algorithm for Edge Connectivity. SODA (1993)
Debjit Das Sarma, David W. Matula
Measuring the accuracy of ROM reciprocal tables. IEEE Symposium on Computer Arithmetic (1993)
W. S. Briggs, David W. Matula
A 17 × 69 bit multiply and add unit with redundant binary feedback and single cycle latency. IEEE Symposium on Computer Arithmetic (1993)
Marc Daumas, David W. Matula
Design of a fast validated dot product operation. IEEE Symposium on Computer Arithmetic (1993)
Shrikant N. Parikh, David W. Matula
A redundant binary Euclidean GCD algorithm. IEEE Symposium on Computer Arithmetic (1991)
Gerd Bohlender, Wolfgang Walter, Peter Kornerup, David W. Matula
Semantics for exact floating point operations. IEEE Symposium on Computer Arithmetic (1991)
David W. Matula, Farhad Shahrokhi
Sparsest cuts and bottlenecks in graphs. Discret. Appl. Math. 27 (1-2) (1990)
David W. Matula
Design of a highly parallel IEEE standard floating point unit: the Cyrix 83D87 coprocessor. SPDP (1990)
Farhad Shahrokhi, David W. Matula
The Maximum Concurrent Flow Problem J. ACM 37 (2) (1990)
Peter Kornerup, David W. Matula
An Algorithm for Redundant Binary Bit-Pipelined Rational Arithmetic. IEEE Trans. Computers 39 (8) (1990)
Peter Kornerup, David W. Matula
Exploiting redundancy in bit-pipelined rational arithmetic. IEEE Symposium on Computer Arithmetic (1989)
Peter Kornerup, David W. Matula
An On-Line Arithmetic Unit for Bit-Pipelined Rational Arithmetic. J. Parallel Distributed Comput. 5 (3) (1988)
Farhad Shahrokhi, David W. Matula
On solving large maximum concurrent flow problems. ACM Conference on Computer Science (1987)
Peter Kornerup, David W. Matula
A bit-serial arithmetic unit for rational arithmetic. IEEE Symposium on Computer Arithmetic (1987)
David W. Matula
Expose-and-merge exploration and the chromatic number of random graph. Comb. 7 (3) (1987)
David W. Matula
Determining Edge Connectivity in O(nm) FOCS (1987)
Jit Biswas, David W. Matula
Two Flow Routing Algorithms for the Maximum Concurrent-Flow Problem. FJCC (1986)
David W. Matula, Peter Kornerup
Finite Precision Rational Arithmetic Slash Number Systems. IEEE Trans. Computers 34 (1) (1985)
Peter Kornerup, David W. Matula
Finite precision lexicographic continued fraction number systems. IEEE Symposium on Computer Arithmetic (1985)
Peter Kornerup, David W. Matula
Finite Precision Rational Arithmetic: An Arithmetic Unit. IEEE Trans. Computers 32 (4) (1983)
David W. Matula, Peter Kornerup
An order preserving finite binary encoding of the rationals. IEEE Symposium on Computer Arithmetic (1983)
David W. Matula, Leland L. Beck
Smallest-Last Ordering and clustering and Graph Coloring Algorithms J. ACM 30 (3) (1983)
David W. Matula
Ramsey theory for graph connectivity. J. Graph Theory 7 (1) (1983)
David W. Matula
Basic digit sets for radix representation. J. ACM 29 (4) (1982)
Peter Kornerup, David W. Matula
An integrated rational arithmetic unit. IEEE Symposium on Computer Arithmetic (1981)
David W. Matula, Peter Kornerup
An approximate rational arithmetic system with intrinsic recovery of simple fractions during expression evaluation. EUROSAM (1979)
Peter Kornerup, David W. Matula
A feasibility analysis of fixed-slash rational arithmetic. IEEE Symposium on Computer Arithmetic (1978)
David W. Matula
Basic digit sets for radix representation of the integers. IEEE Symposium on Computer Arithmetic (1978)
David W. Matula, Peter Kornerup
A feasibility analysis of binary fixed-slash and floating-slash number systems. IEEE Symposium on Computer Arithmetic (1978)
David W. Matula
k-Blocks and ultrablocks in graphs. J. Comb. Theory, Ser. B 24 (1) (1978)
David W. Matula
Fixed-slash and floating-slash rational arithmetic. IEEE Symposium on Computer Arithmetic (1975)
Robert T. Gregory, David W. Matula
Base conversion in residue number systems. IEEE Symposium on Computer Arithmetic (1975)
John D. Marasa, David W. Matula
A Simulative Study of Correlated Error Propagation in Various Finite-Precision Arithmetics. IEEE Trans. Computers 22 (6) (1973)
John D. Marasa, David W. Matula
A simulative study of correlated error propagation in various finite arithmetics. IEEE Symposium on Computer Arithmetic (1972)
David W. Matula
Bounded color functions on graphs. Networks 2 (1) (1972)
David W. Matula
Foundations of finite precision arithmetic. IEEE Symposium on Computer Arithmetic (1972)
David W. Matula
Significant Digits: Numerical Analysis or Numerology. IFIP Congress (2) (1971)
David W. Matula
Course and program descriptions. ACM SIGCSE Bull. 2 (1) (1970)
David W. Matula
The emergence of computational arithmetic as a component of the computer science curriculum. SIGCSE (1970)
David W. Matula
A Formalization of Floating-Point Numeric Base Conversion. IEEE Trans. Computers 19 (8) (1970)
David W. Matula
Towards an abstract mathematical theory of floating-point arithmetic. AFIPS Spring Joint Computing Conference (1969)
David W. Matula
A term project given in the basic computer science course at Washington University. ACM SIGCSE Bull. 1 (4) (1969)

David W. Matula.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David W. Matula