David W. Matula

104 papers A* 2A 3B 4C 36Journal 34Unranked 24

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