H. T. Kung

Orcid: 0000-0002-3348-3788

Affiliations:
  • Harvard University, Cambridge, MA, USA
  • Carnegie Mellon University, Pittsburgh, PA, USA (PhD 1974)


According to our database1, H. T. Kung authored at least 208 papers between 1972 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Efficient Reprogramming of Memristive Crossbars for DNNs: Weight Sorting and Bit Stucking.
CoRR, 2024

Sorted Weight Sectioning for Energy-Efficient Unstructured Sparse DNNs on Compute-in-Memory Crossbars.
CoRR, 2024

DeepMachining: Online Prediction of Machining Errors of Lathe Machines.
CoRR, 2024

Gen4Gen: Generative Data Pipeline for Generative Multi-Concept Composition.
CoRR, 2024

2023
Rosko: Row Skipping Outer Products for Sparse Matrix Multiplication Kernels.
CoRR, 2023

MEMA Runtime Framework: Minimizing External Memory Accesses for TinyML on Microcontrollers.
CoRR, 2023

StitchNet: Composing Neural Networks from Pre-Trained Fragments.
Proceedings of the International Conference on Machine Learning and Applications, 2023

2022
A Bit-level Sparsity-aware SAR ADC with Direct Hybrid Encoding for Signed Expressions for AIoT Applications.
Proceedings of the ISLPED '22: ACM/IEEE International Symposium on Low Power Electronics and Design, Boston, MA, USA, August 1, 2022

FAST: DNN Training Under Variable Precision Block Floating Point with Stochastic Rounding.
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2022

SphereFed: Hyperspherical Federated Learning.
Proceedings of the Computer Vision - ECCV 2022, 2022

SplitNets: Designing Neural Architectures for Efficient Distributed Computing on Head-Mounted Systems.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

Neural Mean Discrepancy for Efficient Out-of-Distribution Detection.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

Privacy Vulnerability of Split Computing to Data-Free Model Inversion Attacks.
Proceedings of the 33rd British Machine Vision Conference 2022, 2022

2021
Lightweight Detection of Out-of-Distribution and Adversarial Samples via Channel Mean Discrepancy.
CoRR, 2021

CAKE: matrix multiplication using constant-bandwidth blocks.
Proceedings of the International Conference for High Performance Computing, 2021

Saturation RRAM Leveraging Bit-Level Sparsity Resulting from Term Quantization.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

A Novel Training Strategy for Deep Learning Model Compression Applied to Viral Classifications.
Proceedings of the International Joint Conference on Neural Networks, 2021

Training for multi-resolution inference using reusable quantization terms.
Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020
Term Revealing: Furthering Quantization at Run Time on Quantized DNNs.
CoRR, 2020

Term quantization: furthering quantization at run time.
Proceedings of the International Conference for High Performance Computing, 2020

exBERT: Extending Pre-trained Models with Domain-specific Vocabulary Under Constrained Training Resources.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2020, 2020

2019
CheckNet: Secure Inference on Untrusted Devices.
CoRR, 2019

Full-stack Optimization for Accelerating CNNs with FPGA Validation.
CoRR, 2019

Triton: an intermediate language and compiler for tiled neural network computations.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

Systolic Building Block for Logic-on-Logic 3D-IC Implementations of Convolutional Neural Networks.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

Full-stack optimization for accelerating CNNs using powers-of-two weights with FPGA validation.
Proceedings of the ACM International Conference on Supercomputing, 2019

DaiMoN: A Decentralized Artificial Intelligence Model Network.
Proceedings of the IEEE International Conference on Blockchain, 2019

Packing Sparse Convolutional Neural Networks for Efficient Systolic Array Implementations: Column Combining Under Joint Optimization.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

Maestro: A Memory-on-Logic Architecture for Coordinated Parallel Use of Many Systolic Arrays.
Proceedings of the 30th IEEE International Conference on Application-specific Systems, 2019

Adversarial Learning of Semantic Relevance in Text to Image Synthesis.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
InferBeam: A Fast Beam Alignment Protocol for Millimeter-wave Networking.
CoRR, 2018

A Machine Learning Assisted Cell Selection Method for Drones in Cellular Networks.
Proceedings of the 19th IEEE International Workshop on Signal Processing Advances in Wireless Communications, 2018

Mapping Systolic Arrays onto 3D Circuit Structures: Accelerating Convolutional Neural Network Inference.
Proceedings of the 2018 IEEE International Workshop on Signal Processing Systems, 2018

Adaptive Tiling: Applying Fixed-size Systolic Arrays To Sparse Convolutional Neural Networks.
Proceedings of the 24th International Conference on Pattern Recognition, 2018

Improving Sar Automatic Target Recognition Using Simulated Images Under Deep Residual Refinements.
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018

Localization Convolutional Neural Networks Using Angle of Arrival Images.
Proceedings of the IEEE Global Communications Conference, 2018

2017
Adversarial nets with perceptual losses for text-to-image synthesis.
Proceedings of the 27th IEEE International Workshop on Machine Learning for Signal Processing, 2017

Incomplete Dot Products for Dynamic Computation Scaling in Neural Network Inference.
Proceedings of the 16th IEEE International Conference on Machine Learning and Applications, 2017

Distributed Deep Neural Networks Over the Cloud, the Edge and End Devices.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Nonlinear compressive sensing for distorted measurements and application to improving efficiency of power amplifiers.
Proceedings of the IEEE International Conference on Communications, 2017

Infomax-ICA using Hessian-free optimization.
Proceedings of the 2017 IEEE International Conference on Acoustics, 2017

Millimeter-Wave Field Experiments with Many Antenna Configurations for Indoor Multipath Environments.
Proceedings of the 2017 IEEE Globecom Workshops, Singapore, December 4-8, 2017, 2017

A Data-Driven Approach to Localization for High Frequency Wireless Mobile Networks.
Proceedings of the 2017 IEEE Global Communications Conference, 2017

Embedded Binarized Neural Networks.
Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

Language Modeling by Clustering with Word Embeddings for Text Readability Assessment.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

2016
Competing Cognitive Resilient Networks.
IEEE Trans. Cogn. Commun. Netw., 2016

Multimodal Sparse Coding for Event Detection.
CoRR, 2016

Detecting Depression using Vocal, Facial and Semantic Communication Cues.
Proceedings of the 6th International Workshop on Audio/Visual Emotion Challenge, 2016

Sparse-coded net model and applications.
Proceedings of the 26th IEEE International Workshop on Machine Learning for Signal Processing, 2016

Language Recognition via Sparse Coding.
Proceedings of the 17th Annual Conference of the International Speech Communication Association, 2016

BranchyNet: Fast inference via early exiting from deep neural networks.
Proceedings of the 23rd International Conference on Pattern Recognition, 2016

Deep Sparse-coded Network (DSN).
Proceedings of the 23rd International Conference on Pattern Recognition, 2016

Lambda means clustering: Automatic parameter search and distributed computing implementation.
Proceedings of the 23rd International Conference on Pattern Recognition, 2016

Blind Signal Classification via Sparse Coding.
Proceedings of the 2016 IEEE Global Communications Conference, 2016

Nested Buddy System: A New Block Address Allocation Scheme for ISPs and IaaS Providers.
Proceedings of the 2016 IEEE International Conference on Cloud Computing Technology and Science, 2016

2015
Multimodal sparse representation learning and applications.
CoRR, 2015

Taming Wireless Fluctuations by Predictive Queuing Using a Sparse-Coding Link-State Model.
Proceedings of the 16th ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2015

Geolocation with Subsampled Microblog Social Media.
Proceedings of the 23rd Annual ACM Conference on Multimedia Conference, MM '15, Brisbane, Australia, October 26, 2015

PNNU: Parallel Nearest-Neighbor Units for Learned Dictionaries.
Proceedings of the Languages and Compilers for Parallel Computing, 2015

Twitter Geolocation and Regional Classification via Sparse Coding.
Proceedings of the Ninth International Conference on Web and Social Media, 2015

Fast Online Learning of Antijamming and Jamming Strategies.
Proceedings of the 2015 IEEE Global Communications Conference, 2015

Sparse Coding Trees with application to emotion classification.
Proceedings of the 2015 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2015

Compressive wireless pulse sensing.
Proceedings of the 2015 International Conference on Collaboration Technologies and Systems, 2015

2014
Subcarrier index coordinate expression (SICE): An ultra-low-power OFDM-compatible wireless communications scheme tailored for internet of things.
Proceedings of the 4th International Conference on the Internet of Things, 2014

Stable and Efficient Representation Learning with Nonnegativity Constraints.
Proceedings of the 31th International Conference on Machine Learning, 2014

Workload prediction for adaptive power scaling using deep learning.
Proceedings of the 2014 IEEE International Conference on IC Design & Technology, 2014

Inferring Origin Flow Patterns in Wi-Fi with Deep Learning.
Proceedings of the 11th International Conference on Autonomic Computing, 2014

Gait Recognition using Encodings with Flexible Similarity Metrics.
Proceedings of the 11th International Conference on Autonomic Computing, 2014

Mobile App Acceleration via Fine-Grain Offloading to the Cloud.
Proceedings of the 6th USENIX Workshop on Hot Topics in Cloud Computing, 2014

2013
Hierarchical Sparse Coding for Wireless Link Prediction in an Airborne Scenario.
Proceedings of the 32th IEEE Military Communications Conference, 2013

Concurrent channel access and estimation for scalable multiuser MIMO networking.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Scaling network-based spectrum analyzer with constant communication cost.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Wireless Inference-based Notification (WIN) without Packet Decoding.
Proceedings of the 10th International Conference on Autonomic Computing, 2013

Parallelization Primitives for Dynamic Sparse Computations.
Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

Optimizing media access strategy for competing cognitive radio networks.
Proceedings of the 2013 IEEE Global Communications Conference, 2013

Competing Mobile Network Game: Embracing antijamming and jamming strategies with reinforcement learning.
Proceedings of the IEEE Conference on Communications and Network Security, 2013

2012
Reducing Reconciliation Communication Cost with Compressed Sensing
CoRR, 2012

Compressive sensing based channel feedback protocols for spatially-correlated massive antenna arrays.
Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012

A Chip Architecture for Compressive Sensing Based Detection of IC Trojans.
Proceedings of the 2012 IEEE Workshop on Signal Processing Systems, 2012

Output compression for IC fault detection using compressive sensing.
Proceedings of the 31st IEEE Military Communications Conference, 2012

Determining RF angle of arrival using COTS antenna arrays: A field evaluation.
Proceedings of the 31st IEEE Military Communications Conference, 2012

Statistical screening for IC Trojan detection.
Proceedings of the 2012 IEEE International Symposium on Circuits and Systems, 2012

Big Data and Compressive Sensing.
Proceedings of the Contemporary Computing - 5th International Conference, 2012

Compressive sensing medium access control for wireless LANs.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

Compressive sensing with optimal sparsifying basis and applications in spectrum sensing.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

2011
DISTROY: Detecting Integrated Circuit Trojans with Compressive Measurements.
Proceedings of the 6th USENIX Workshop on Hot Topics in Security, 2011

Partitioned compressive sensing with neighbor-weighted decoding.
Proceedings of the MILCOM 2011, 2011

Measurement combining and progressive reconstruction in compressive sensing.
Proceedings of the MILCOM 2011, 2011

Collaborative compressive spectrum sensing in a UAV environment.
Proceedings of the MILCOM 2011, 2011

Achieving High Throughput Ground-to-UAV Transport via Parallel Links.
Proceedings of 20th International Conference on Computer Communications and Networks, 2011

Separation-Based Joint Decoding in Compressive Sensing.
Proceedings of 20th International Conference on Computer Communications and Networks, 2011

CloudSense: Continuous Fine-Grain Cloud Monitoring with Compressive Sensing.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

2010
A spectral clustering approach to validating sensors via their peers in distributed sensor networks.
Int. J. Sens. Networks, 2010

TCP trunking for bandwidth management of aggregate traffic.
Comput. Syst. Sci. Eng., 2010

2009
Wireless Computing, Networking and Sensing.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Localization with snap-inducing shaped residuals (SISR): coping with errors in measurement.
Proceedings of the 15th Annual International Conference on Mobile Computing and Networking, 2009

2008
Construction of block orthogonal golay sequences and application to channel estimation of mimo-ofdm systems.
IEEE Trans. Commun., 2008

Use of Content Tags in Managing Advertisements for Online Videos.
Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008

2007
Design of an OFDM Cooperative Space-Time Diversity System.
IEEE Trans. Veh. Technol., 2007

A Hub Matrix Theory and Applications to Wireless Communications.
EURASIP J. Adv. Signal Process., 2007

Transmit Antenna Selection Based on Link-layer Channel Probing.
Proceedings of the 2007 International Symposium on a World of Wireless, 2007

Maximizing Throughput of UAV-Relaying Networks with the Load-Carry-and-Deliver Paradigm.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2007

2006
Performance Measurement of 802.11a Wireless Links from UAV to Ground Nodes with Various Antenna Orientations.
Proceedings of the 15th International Conference On Computer Communications and Networks, 2006

Adjacent Channel Interference in Dual-radio 802.11a Nodes and Its Impact on Multi-hop Networking.
Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

2005
Constructing collocated non-interfering wireless meshes with beam-crossing grids.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2005

Content Networks: Taxonomy and New Approaches.
Proceedings of the Internet as a Large-Scale Complex System., 2005

2004
Gravity Routing in Ad Hoc Networks: Integrating Geographical and Topology-based Routing.
Proceedings of the 7th International Symposium on Parallel Architectures, 2004

Path probing relay routing for achieving high end-to-end performance.
Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004

2003
TCP with sender-based delay control.
Comput. Commun., 2003

Efficient location tracking using sensor networks.
Proceedings of the 2003 IEEE Wireless Communications and Networking, 2003

A Stateless Network Architecture for Inter-Enterprise Authentication, Authorization and Accounting.
Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003

Design and Analysis of an IP-Layer Anonymizing Infrastructure.
Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

ANON: An IP-Layer Anonymizing Infrastructure.
Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002
A new methodology for easily constructing extensible and high-fidelity TCP/IP network simulators.
Comput. Networks, 2002

Use of spectral analysis in defense against DoS attacks.
Proceedings of the Global Telecommunications Conference, 2002

2001
Use of TCP Decoupling in Improving TCP Performance over Wireless Networks.
Wirel. Networks, 2001

The real options approach to standards for building network-based services.
Proceedings of the 2nd IEEE Conference on Standardization and Innovation in Information Technology, 2001

Video over TCP with receiver-based delay control.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 2001

Ad hoc relay wireless networks over moving vehicles on highways.
Proceedings of the 2nd ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2001

Load Balancing Routing for Wireless Access Networks.
Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

Active delay control for TCP.
Proceedings of the Global Telecommunications Conference, 2001

A DiffServ enhanced admission control scheme.
Proceedings of the Global Telecommunications Conference, 2001

2000
GPSR: greedy perimeter stateless routing for wireless networks.
Proceedings of the MOBICOM 2000, 2000

1999
Behavior of Competing TCP Connections on a Packet-Switched Ring: A Study Using the Harvard TCP/IP Network Simulator.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

A Simple Methodology for Constructing an Extensible and High-Fidelity TCP/IP Network Simulators.
Proceedings of the Proceedings IEEE INFOCOM '99, 1999

TCP Trunking: Design, Implementation and Performance.
Proceedings of the Seventh Annual International Conference on Network Protocols, 1999

1998
TCP Trunking
CoRR, 1998

Enhancing transport networks with Internet protocols.
IEEE Commun. Mag., 1998

Warp Architecture and Implementation.
Proceedings of the 25 Years of the International Symposia on Computer Architecture (Selected Papers)., 1998

TCP Fast Recovery Strategies: Analysis and Improvements.
Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998

Zero Queueing Flow Control and Applications.
Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998

1997
Client-Server Performance on Flow-Controlled ATM Networks: A Web Database of Simulation Results.
Proceedings of the Proceedings IEEE INFOCOM '97, 1997

NFS Dynamics Over Flow-Controlled Wide Area Networks.
Proceedings of the Proceedings IEEE INFOCOM '97, 1997

1995
Credit-based flow control for ATM networks.
IEEE Netw., 1995

Receiver-Oriented Adaptive Buffer Allocation in Credit-Based Flow Control for ATM Networks.
Proceedings of the Proceedings IEEE INFOCOM '95, 1995

1994
Secure Short-Cut Routing for Mobile IP.
Proceedings of the USENIX Summer 1994 Technical Conference, 1994

Credit-Based Flow Control for ATM Networks: Credit Update Protocol, Adaptive Credit Allocation and Statistical Multiplexing.
Proceedings of the ACM SIGCOMM 1994 Conference on Communications Architectures, Protocols and Applications, London, UK, August 31, 1994

1993
The FCVC (flow-controlled virtual channels) proposal for ATM networks: a summary.
Proceedings of the 1993 International Conference on Network Protocols, 1993

New Flow Control Methods for High-Speed Networks.
Proceedings of the Second International Symposium on High Performance Distributed Computing, 1993

1992
Gigabit local area networks: a systems perspective.
IEEE Commun. Mag., 1992

A Host Interface Architecture for High-Speed Networks.
Proceedings of the High Performance Networking IV, 1992

1991
Network-based multicomputers: an emerging parallel architecture.
Proceedings of the Proceedings Supercomputing '91, 1991

A new approach for automatic parallelization of blocked linear Algebra computations.
Proceedings of the Proceedings Supercomputing '91, 1991

Parallelizing a New Class of Large Applications over High-speed Networks.
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

Communication Complexity for Parallel Divide-and-Conquer
Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, 1991

1990
iWarp multicomputer with an embedded switching network.
Microprocess. Microsystems, 1990

Supporting Systolic and Memory Communciation in iWarp.
Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990

High-speed networks for high-performance computing.
Proceedings of the Intellectual Leverage: Thirty-Fifth IEEE Computer Society International Conference, 1990

Building blocks for a new generation of application specific computing systems.
Proceedings of the Application Specific Array Processors, 1990

1989
Comprehensive evaluation of a two-dimensional configurable array.
Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

The Design of Nectar: A Network Backplane for Heterogeneous Multicomputers.
Proceedings of the ASPLOS-III Proceedings, 1989

1988
Deadlock avoidance for systolic communication.
J. Complex., 1988

Warp experience: we can map computations onto a parallel computer efficiently.
Proceedings of the 2nd international conference on Supercomputing, 1988

Neural network simulation at Warp speed: how we got 17 million connections per second.
Proceedings of International Conference on Neural Networks (ICNN'88), 1988

1987
The Warp Computer: Architecture, Implementation, and Performance.
IEEE Trans. Computers, 1987

Applications and Algorithm Partitioning on Warp.
Proceedings of the COMPCON'87, 1987


1986
Mapping Image Processing Operations onto a Linear Systolic Machine.
Distributed Comput., 1986

Supercomputing in Japan - Response.
Proceedings of the Information Processing 86, 1986

Using warp as a supercomputer in signal processing.
Proceedings of the IEEE International Conference on Acoustics, 1986

1985
Synchronizing Large VLSI Processor Arrays.
IEEE Trans. Computers, 1985

Memory requirements for balanced computer architectures.
J. Complex., 1985

Warp as a machine for low-level vision.
Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

A systolic array computer.
Proceedings of the IEEE International Conference on Acoustics, 1985

1984
Systolic VLSI Arrays for Polynomial GCD Computation.
IEEE Trans. Computers, 1984

Wafer-scale integration and two-level pipelined implementations of systolic arrays.
J. Parallel Distributed Comput., 1984

Putting Inner Loops Automatically in Silicon.
Proceedings of the VLSI Engineering: Beyond Software Engineering, 1984

CARGuide: on-board computer for automobile route guidance.
Proceedings of the American Federation of Information Processing Societies: 1984 National Computer Conference, 1984

1983
Two-level pipelined systolic array for multidimensional convolution.
Image Vis. Comput., 1983

An Optimality Theory of Concurrency Control for Databases.
Acta Informatica, 1983

Architecture of the PSC: A Programmable Systolic Chip
Proceedings of the 10th Annual Symposium on Computer Architecture, 1983, 1983

Some Linear-Time Algorithms for Systolic Arrays.
Proceedings of the Information Processing 83, 1983

VLSI, computer science, and synergetic research.
Proceedings of the 1983 computer science conference, CSC 1983, Orlando, FL, USA, 1983, 1983

1982
A Regular Layout for Parallel Adders.
IEEE Trans. Computers, 1982

Corrigendum: "The Area-Time Complexity of Binary Multiplication".
J. ACM, 1982

Why Systolic Architectures?
Computer, 1982

MISE: Machine for In-System Evaluation of Custom VLSI Chips for Real-Time Systems.
Proceedings of the Real-Time Systems Symposium, 1982

1981
On Optimistic Methods for Concurrency Control.
ACM Trans. Database Syst., 1981

The Area-Time Complexity of Binary Multiplication.
J. ACM, 1981

I/O Complexity: The Red-Blue Pebble Game
Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981

Use of VLSI in algebraic computation: Some suggestions.
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1981

1980
Concurrent Manipulation of Binary Search Trees.
ACM Trans. Database Syst., 1980

On the Area of Binary Tree Layouts.
Inf. Process. Lett., 1980

The Design of Special-Purpose VLSI Chips.
Computer, 1980

Parallel Execution of a Sequence of tasks on a Asynchronous Multiprocessor.
Aust. Comput. J., 1980

The Structure of Parallel Algorithms.
Adv. Comput., 1980

The Chip Complexity of Binary Arithmetic
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980

Systolic (VLSI) Arrays for Relational Database Operations.
Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data, 1980

Design of Special-Purpose VLSI Chips: Example and Opinions.
Proceedings of the 7th Annual Symposium on Computer Architecture, 1980

1979
Locking Policies: Safety and Freedom from Deadlock
Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979

1978
All Algebraic Functions Can Be Computed Fast.
J. ACM, 1978

Fast Algorithms for Manipulating Formal Power Series.
J. ACM, 1978

On the Average Number of Maxima in a Set of Vectors and Applications.
J. ACM, 1978

A Concurrent Database Manipulation Problem: Binary Search Trees (Abstract).
Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

1977
Fast Algorithms for Partial Fraction Decomposition.
SIAM J. Comput., 1977

The Complexity of Parallel Evaluation of Linear Recurrences.
J. ACM, 1977

Sorting on a Mesh-Connected Parallel Computer.
Commun. ACM, 1977

An Efficient Parallel Garbage Collection System and Its Correctness Proof
Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1976
New Algorithms and Lower Bounds for the Parallel Evaluation of Certain Rational Expressions and Recurrences.
J. ACM, 1976

1975
On Finding the Maxima of a Set of Vectors.
J. ACM, 1975

The Complexity of Parallel Evaluation of Linear Recurrence
Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975

1974
Optimal Order of One-Point and Multipoint Iteration.
J. ACM, 1974

New Algorithms and Lower Bounds for the Parallel Evaluation of Certain Rational Expressions
Proceedings of the 6th Annual ACM Symposium on Theory of Computing, April 30, 1974

On the Computational Complexity of Finding the Maxima of a Set of Vectors
Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974

1973
A Bound on the Multiplicative Efficiency of Iteration.
J. Comput. Syst. Sci., 1973

A New Upper Bound on the Complexity of Derivative Evaluation.
Inf. Process. Lett., 1973

The Computational Complexity of Algebraic Numbers
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973

1972
A Bound on the Multiplication Efficiency of Iteration
Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972


  Loading...