Kurt Keutzer

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

Scaling Vision-Language Models with Sparse Mixture of Experts.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

CSQ: Growing Mixed-Precision Quantization Scheme with Bi-level Continuous Sparsification.

[BibT_eX]

[DOI]

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Open-Vocabulary Point-Cloud Object Detection without 3D Annotation.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

NoisyQuant: Noisy Bias-Enhanced Post-Training Activation Quantization for Vision Transformers.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

A Review of Single-Source Deep Unsupervised Visual Domain Adaptation.

[BibT_eX]

[DOI]

Sanjit A. Seshia

IEEE Trans. Neural Networks Learn. Syst., 2022

Emotional Semantics-Preserved and Feature-Aligned CycleGAN for Visual Emotion Adaptation.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2022

Affective Image Content Analysis: Two Decades Review and New Perspectives.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 2022

Analysis of Quantization on MLP-based Vision Models.

[BibT_eX]

[DOI]

Lingran Zhao

Zhen Dong

CoRR, 2022

Prior Knowledge-Guided Attention in Self-Supervised Vision Transformers.

[BibT_eX]

[DOI]

CoRR, 2022

Open-Vocabulary 3D Detection via Image-level Class and Debiased Cross-modal Contrastive Learning.

[BibT_eX]

[DOI]

CoRR, 2022

The ArtBench Dataset: Benchmarking Generative Models with Artworks.

[BibT_eX]

[DOI]

CoRR, 2022

Domain-Adaptive Text Classification with Structured Knowledge from Unlabeled Data.

[BibT_eX]

[DOI]

CoRR, 2022

UnrealNAS: Can We Search Neural Architectures with Unreal Data?

[BibT_eX]

[DOI]

CoRR, 2022

Cross-Domain Object Detection with Mean-Teacher Transformer.

[BibT_eX]

[DOI]

CoRR, 2022

Hessian-Aware Pruning and Optimal Neural Implant.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2022

Self-Supervised Pretraining Improves Self-Supervised Pretraining.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2022

K-LITE: Learning Transferable Visual Models with External Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

A Fast Post-Training Pruning Framework for Transformers.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Squeezeformer: An Efficient Transformer for Automatic Speech Recognition.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Learned Token Pruning for Transformers.

[BibT_eX]

[DOI]

Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

Domain-Adaptive Text Classification with Structured Knowledge from Unlabeled Data.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Prototype-Voxel Contrastive Learning for LiDAR Point Cloud Panoptic Segmentation.

[BibT_eX]

[DOI]

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Staged Training for Transformer Language Models.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2022

How Much Can CLIP Benefit Vision-and-Language Tasks?

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

Integer-Only Zero-Shot Quantization for Efficient Speech Recognition.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2022

MTTrans: Cross-domain Object Detection with Mean Teacher Transformer.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2022, 2022

Image2Point: 3D Point-Cloud Understanding with 2D Image Pretrained Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2022, 2022

PreTraM: Self-supervised Pre-training via Connecting Trajectory and Map.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2022, 2022

Invariant Information Bottleneck for Domain Generalization.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Applying Text Analytics to the Mind-section Literature of the Tibetan Tradition of the Great Perfection.

[BibT_eX]

[DOI]

Ravi Krishna

Norman Mu

ACM Trans. Asian Low Resour. Lang. Inf. Process., 2021

Emotion Recognition From Multiple Modalities: Fundamentals and methodologies.

[BibT_eX]

[DOI]

IEEE Signal Process. Mag., 2021

MADAN: Multi-source Adversarial Domain Aggregation Network for Domain Adaptation.

[BibT_eX]

[DOI]

Int. J. Comput. Vis., 2021

Differentiable NAS Framework and Application to Ads CTR Prediction.

[BibT_eX]

[DOI]

CoRR, 2021

Multi-source Few-shot Domain Adaptation.

[BibT_eX]

[DOI]

CoRR, 2021

Learned Token Pruning for Transformers.

[BibT_eX]

[DOI]

CoRR, 2021

Invariant Information Bottleneck for Domain Generalization.

[BibT_eX]

[DOI]

CoRR, 2021

Image2Point: 3D Point-Cloud Understanding with Pretrained 2D ConvNets.

[BibT_eX]

[DOI]

CoRR, 2021

MLPruning: A Multilevel Structured Pruning Framework for Transformer-based Models.

[BibT_eX]

[DOI]

CoRR, 2021

Q-ASR: Integer-only Zero-shot Quantization for Efficient Speech Recognition.

[BibT_eX]

[DOI]

CoRR, 2021

A Survey of Quantization Methods for Efficient Neural Network Inference.

[BibT_eX]

[DOI]

CoRR, 2021

Improving Context-Based Meta-Reinforcement Learning with Self-Supervised Trajectory Contrastive Learning.

[BibT_eX]

[DOI]

CoRR, 2021

Hessian-Aware Pruning and Optimal Neural Implant.

[BibT_eX]

[DOI]

CoRR, 2021

Curriculum CycleGAN for Textual Sentiment Domain Adaptation with Multiple Sources.

[BibT_eX]

[DOI]

Proceedings of the WWW '21: The Web Conference 2021, 2021

NovelD: A Simple yet Effective Exploration Criterion.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Annotation-Efficient Untrimmed Video Action Recognition.

[BibT_eX]

[DOI]

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

Scene-aware Learning Network for Radar Object Detection.

[BibT_eX]

[DOI]

Zangwei Zheng

Xiangyu Yue

Proceedings of the ICMR '21: International Conference on Multimedia Retrieval, 2021

You Only Group Once: Efficient Point-Cloud Processing with Token Representation and Relation Inference Module.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

HAWQ-V3: Dyadic Neural Network Quantization.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

I-BERT: Integer-only BERT Quantization.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

Region Similarity Representation Learning.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Visual Transformers: Where Do Transformers Really Belong in Vision Models?

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Cross-Domain Sentiment Classification with Contrastive Learning and Mutual Information Maximization.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2021

CoDeNet: Efficient Deployment of Input-Adaptive Object Detection on Embedded FPGAs.

[BibT_eX]

[DOI]

Proceedings of the FPGA '21: The 2021 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Virtual Event, USA, February 28, 2021

HAO: Hardware-aware Neural Architecture Optimization for Efficient Inference.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2021

What's Hidden in a One-layer Randomly Weighted Transformer?

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Prototypical Cross-Domain Self-Supervised Learning for Few-Shot Unsupervised Domain Adaptation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

SelfAugment: Automatic Augmentation Policies for Self-Supervised Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

Learning Invariant Representations and Risks for Semi-Supervised Domain Adaptation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

Reservoir Transformers.

[BibT_eX]

[DOI]

Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

ePointDA: An End-to-End Simulation-to-Real Domain Adaptation Framework for LiDAR Point Cloud Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

ADAHESSIAN: An Adaptive Second Order Optimizer for Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Fast LSTM by dynamic decomposition on cloud and distributed systems.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2020

Reservoir Transformer.

[BibT_eX]

[DOI]

CoRR, 2020

BeBold: Exploration Beyond the Boundary of Explored Regions.

[BibT_eX]

[DOI]

CoRR, 2020

Cross-Domain Sentiment Classification with In-Domain Contrastive Learning.

[BibT_eX]

[DOI]

CoRR, 2020

FBWave: Efficient and Scalable Neural Vocoders for Streaming Text-To-Speech on the Edge.

[BibT_eX]

[DOI]

CoRR, 2020

HAWQV3: Dyadic Neural Network Quantization.

[BibT_eX]

[DOI]

CoRR, 2020

Multi-Agent Collaboration via Reward Attribution Decomposition.

[BibT_eX]

[DOI]

CoRR, 2020

Evaluating Self-Supervised Pretraining Without Using Labels.

[BibT_eX]

[DOI]

CoRR, 2020

Rethinking Distributional Matching Based Domain Adaptation.

[BibT_eX]

[DOI]

CoRR, 2020

CoDeNet: Algorithm-hardware Co-design for Deformable Convolution.

[BibT_eX]

[DOI]

CoRR, 2020

Visual Transformers: Token-based Image Representation and Processing for Computer Vision.

[BibT_eX]

[DOI]

CoRR, 2020

ADAHESSIAN: An Adaptive Second Order Optimizer for Machine Learning.

[BibT_eX]

[DOI]

CoRR, 2020

Rethinking Batch Normalization in Transformers.

[BibT_eX]

[DOI]

CoRR, 2020

MADAN: Multi-source Adversarial Domain Aggregation Network for Domain Adaptation.

[BibT_eX]

[DOI]

CoRR, 2020

Multi-source Domain Adaptation in the Deep Learning Era: A Systematic Survey.

[BibT_eX]

[DOI]

CoRR, 2020

Train Large, Then Compress: Rethinking Model Size for Efficient Training and Inference of Transformers.

[BibT_eX]

[DOI]

CoRR, 2020

SqueezeWave: Extremely Lightweight Vocoders for On-device Speech Synthesis.

[BibT_eX]

[DOI]

CoRR, 2020

Boundary thickness and robustness in learning models.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

HAWQ-V2: Hessian Aware trace-Weighted Quantization of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Emotion-Based End-to-End Matching Between Image and Music in Valence-Arousal Space.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Checkmate: Breaking the Memory Wall with Optimal Tensor Rematerialization.

[BibT_eX]

[DOI]

Proceedings of Machine Learning and Systems 2020, 2020

PowerNorm: Rethinking Batch Normalization in Transformers.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

Train Big, Then Compress: Rethinking Model Size for Efficient Training and Inference of Transformers.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

Large Batch Optimization for Deep Learning: Training BERT in 76 minutes.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

SqueezeBERT: What can computer vision teach NLP about efficient neural networks?

[BibT_eX]

[DOI]

Proceedings of SustaiNLP: Workshop on Simple and Efficient Natural Language Processing, 2020

SqueezeSegV3: Spatially-Adaptive Convolution for Efficient Point-Cloud Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

ZeroQ: A Novel Zero Shot Quantization Framework.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

PyHessian: Neural Networks Through the Lens of the Hessian.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

Multi-Source Distilling Domain Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

An End-to-End Visual-Audio Attention Network for Emotion Recognition in User-Generated Videos.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Q-BERT: Hessian Based Ultra Low Precision Quantization of BERT.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Inefficiency of K-FAC for Large Batch Size Training.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Fast Deep Neural Network Training on Distributed Systems and Cloud TPUs.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2019

Personalized Emotion Recognition by Personality-Aware High-Order Learning of Physiological Signals.

[BibT_eX]

[DOI]

ACM Trans. Multim. Comput. Commun. Appl., 2019

Co-design of deep neural nets and neural net accelerators for embedded vision applications.

[BibT_eX]

[DOI]

IBM J. Res. Dev., 2019

Domain-Aware Dynamic Networks.

[BibT_eX]

[DOI]

CoRR, 2019

HAWQ-V2: Hessian Aware trace-Weighted Quantization of Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

ANODEV2: A Coupled Neural ODE Evolution Framework.

[BibT_eX]

[DOI]

CoRR, 2019

Large-batch training for LSTM and beyond.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2019

Multi-source Domain Adaptation for Semantic Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

ANODEV2: A Coupled Neural ODE Framework.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Algorithm-hardware Co-design for Deformable Convolution.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Energy Efficient Machine Learning and Cognitive Computing, 2019

PDANet: Polarity-consistent Deep Attention Network for Fine-grained Visual Emotion Regression.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Conference on Multimedia, 2019

LATTE: Accelerating LiDAR Point Cloud Annotation via Sensor Fusion, One-Click Annotation, and Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

ANODE: Unconditionally Accurate Memory-Efficient Gradients for Neural ODEs.

[BibT_eX]

[DOI]

Amir Gholaminejad

George Biros

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

SqueezeSegV2: Improved Model Structure and Unsupervised Domain Adaptation for Road-Object Segmentation from a LiDAR Point Cloud.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

Fast LSTM Inference by Dynamic Decomposition on Cloud Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Data Mining, 2019

Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization Without Accessing Target Domain Data.

[BibT_eX]

[DOI]

Xiangyu Yue

Yang Zhang

Sicheng Zhao

Boqing Gong

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

HAWQ: Hessian AWare Quantization of Neural Networks With Mixed-Precision.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

Synetgy: Algorithm-hardware Co-design for ConvNet Accelerators on Embedded FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2019

Trust Region Based Adversarial Attack on Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

FBNet: Hardware-Aware Efficient ConvNet Design via Differentiable Neural Architecture Search.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

CycleEmotionGAN: Emotional Semantic Consistency Preserved CycleGAN for Adapting Image Emotions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact?

[BibT_eX]

[DOI]

IEEE Des. Test, 2018

Parameter Re-Initialization through Cyclical Batch Size Schedules.

[BibT_eX]

[DOI]

CoRR, 2018

Mixed Precision Quantization of ConvNets via Differentiable Neural Architecture Search.

[BibT_eX]

[DOI]

CoRR, 2018

Large batch size training of neural networks with adversarial training and second-order information.

[BibT_eX]

[DOI]

CoRR, 2018

Unsupervised Domain Adaptation: from Simulation Engine to the RealWorld.

[BibT_eX]

[DOI]

CoRR, 2018

Integrated Model, Batch, and Domain Parallelism in Training Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, 2018

Hessian-based Analysis of Large Batch Training and Robustness to Adversaries.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

EmotionGAN: Unsupervised Domain Adaptation for Learning Discrete Probability Distributions of Image Emotions.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Multimedia Conference on Multimedia Conference, 2018

A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Conference on Multimedia Retrieval, 2018

A Novel Domain Adaptation Framework for Medical Image Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2018

Affective Image Content Analysis: A Comprehensive Survey.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Counterexample-Guided Data Augmentation.

[BibT_eX]

[DOI]

Sanjit A. Seshia

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

SqueezeSeg: Convolutional Neural Nets with Recurrent CRF for Real-Time Road-Object Segmentation from 3D LiDAR Point Cloud.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

ImageNet Training in Minutes.

[BibT_eX]

[DOI]

Proceedings of the 47th International Conference on Parallel Processing, 2018

Regret Minimization for Partially Observable Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Peter H. Jin

Sergey Levine

Proceedings of the 6th International Conference on Learning Representations, 2018

Spatially Parallel Convolutions.

[BibT_eX]

[DOI]

Peter H. Jin

Boris Ginsburg

Proceedings of the 6th International Conference on Learning Representations, 2018

Shift: A Zero FLOP, Zero Parameter Alternative to Spatial Convolutions.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

SqueezeNext: Hardware-Aware Neural Network Design.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2018

2017

Integrated Model and Data Parallelism in Training Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2017

Keynote: Small Neural Nets Are Beautiful: Enabling Embedded Systems with Small Deep-Neural-Network Architectures.

[BibT_eX]

[DOI]

CoRR, 2017

Shallow Networks for High-accuracy Road Object-detection.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems, 2017

SqueezeDet: Unified, Small, Low Power Fully Convolutional Neural Networks for Real-Time Object Detection for Autonomous Driving.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017

Small neural nets are beautiful: enabling embedded systems with small deep-neural-network architectures.

[BibT_eX]

[DOI]

Proceedings of the Twelfth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion, 2017

Boda: A Holistic Approach for Implementing Neural Network Computations.

[BibT_eX]

[DOI]

Ali Jannesari

Proceedings of the Computing Frontiers Conference, 2017

2016

Technology Mapping.

[BibT_eX]

[DOI]

Encyclopedia of Algorithms, 2016

A Metaprogramming and Autotuning Framework for Deploying Deep Learning Applications.

[BibT_eX]

[DOI]

Ali Jannesari

CoRR, 2016

How to scale distributed deep learning?

[BibT_eX]

[DOI]

CoRR, 2016

SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and <1MB model size.

[BibT_eX]

[DOI]

CoRR, 2016

If I could only design one circuit ...: technical perspective.

[BibT_eX]

[DOI]

Commun. ACM, 2016

Boda-RTC: Productive generation of portable, efficient code for convolutional neural networks on mobile computing platforms.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Wireless and Mobile Computing, 2016

FireCaffe: Near-Linear Acceleration of Deep Neural Network Training on Compute Clusters.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Conference on Computer Vision and Pattern Recognition, 2016

2015

Convolutional Monte Carlo Rollouts in Go.

[BibT_eX]

[DOI]

Peter H. Jin

CoRR, 2015

DeepLogo: Hitting Logo Recognition with the Deep Neural Network Hammer.

[BibT_eX]

[DOI]

CoRR, 2015

Audio-Based Multimedia Event Detection with DNNs and Sparse Sampling.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM on International Conference on Multimedia Retrieval, 2015

libHOG: Energy-Efficient Histogram of Oriented Gradient Computation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2014

Scalable multimedia content analysis on parallel platforms using python.

[BibT_eX]

[DOI]

ACM Trans. Multim. Comput. Commun. Appl., 2014

DenseNet: Implementing Efficient ConvNet Descriptor Pyramids.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Hardware/software codesign for mobile speech recognition.

[BibT_eX]

[DOI]

Proceedings of the INTERSPEECH 2013, 2013

Communication-minimizing 2D convolution in GPU registers.

[BibT_eX]

[DOI]

Phitchaya Mangpo Phothilimthana

Proceedings of the IEEE International Conference on Image Processing, 2013

Three Fingered Jack: Tackling Portability, Performance, and Productivity with Auto-Parallelized Python.

[BibT_eX]

[DOI]

Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

Measuring the gap between programmable and fixed-function accelerators: A case study on speech recognition.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Hot Chips 25 Symposium (HCS), 2013

2012

Fast ℓ1-SPIRiT Compressed Sensing Parallel Imaging MRI: Scalable Parallel Implementation and Clinically Feasible Runtime.

[BibT_eX]

[DOI]

IEEE Trans. Medical Imaging, 2012

Accelerating Value-at-Risk estimation on highly parallel architectures.

[BibT_eX]

[DOI]

Matthew F. Dixon

Jike Chong

Concurr. Comput. Pract. Exp., 2012

A Predictive Model for Solving Small Linear Algebra Problems in GPU Registers.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

clSpMV: A Cross-Platform OpenCL SpMV Framework on GPUs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Supercomputing, 2012

Automatic generation of application-specific accelerators for FPGAs from python loop nests.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

2011

A Special Section on Multicore Parallel CAD: Algorithm Design and Programming.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2011

Guest Editors' Introduction: Parallelism on the Desktop.

[BibT_eX]

[DOI]

Victor Pankratius

Wolfram Schulte

IEEE Softw., 2011

A parallel region based object recognition system.

[BibT_eX]

[DOI]

Tasneem G. Brutch

Proceedings of the IEEE Workshop on Applications of Computer Vision (WACV 2011), 2011

Copperhead: compiling an embedded data parallel language.

[BibT_eX]

[DOI]

Michael Garland

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Efficient Parallel CKY Parsing on GPUs.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Parsing Technologies, 2011

Practical parallel imaging compressed sensing MRI: Summary of two years of experience in accelerating body MRI of pediatric patients.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2011

Communication-Avoiding QR Decomposition for GPUs.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Long term video segmentation through pixel level spectral clustering on GPUs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Computer Vision Workshops, 2011

Considerations When Evaluating Microprocessor Platforms.

[BibT_eX]

[DOI]

Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism, 2011

Fast speaker diarization using a high-level scripting language.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Workshop on Automatic Speech Recognition & Understanding, 2011

PALLAS: Mapping Applications onto Manycore.

[BibT_eX]

[DOI]

Proceedings of the Multiprocessor System-on-Chip - Hardware Design and Tool Integration., 2011

2010

Ubiquitous Parallel Computing from Berkeley, Illinois, and Stanford.

[BibT_eX]

[DOI]

IEEE Micro, 2010

Parallel computing with patterns and frameworks.

[BibT_eX]

[DOI]

XRDS, 2010

Efficient manycore CHMM speech recognition for audiovisual and multistream data.

[BibT_eX]

[DOI]

Proceedings of the INTERSPEECH 2010, 2010

Exploring recognition network representations for efficient speech inference on highly parallel platforms.

[BibT_eX]

[DOI]

Proceedings of the INTERSPEECH 2010, 2010

Parallel BFS graph traversal on images using structured grid.

[BibT_eX]

[DOI]

Tasneem G. Brutch

Proceedings of the International Conference on Image Processing, 2010

Dense Point Trajectories by GPU-Accelerated Large Displacement Optical Flow.

[BibT_eX]

[DOI]

Thomas Brox

Proceedings of the Computer Vision, 2010

2009

ACM Transactions on Design Automation of Electronic Systems (TODAES) special section call for papers: Parallel CAD: Algorithm design and programming.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2009

Parallel scalability in speech recognition.

[BibT_eX]

[DOI]

Christopher J. Hughes

Yen-Kuang Chen

Wonyong Sung

IEEE Signal Process. Mag., 2009

A view of the parallel computing landscape.

[BibT_eX]

[DOI]

Commun. ACM, 2009

Acceleration of market value-at-risk estimation.

[BibT_eX]

[DOI]

Matthew Dixon

Jike Chong

Proceedings of the 2nd Workshop on High Performance Computational Finance, 2009

A fully data parallel WFST-based large vocabulary continuous speech recognition on a graphics processing unit.

[BibT_eX]

[DOI]

Proceedings of the INTERSPEECH 2009, 2009

Image feature extraction for mobile processors.

[BibT_eX]

[DOI]

Mark Murphy

Hong Wang

Proceedings of the 2009 IEEE International Symposium on Workload Characterization, 2009

Scalable HMM based inference engine in large vocabulary continuous speech recognition.

[BibT_eX]

[DOI]

Christopher J. Hughes

Wonyong Sung

Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 2009

Efficient, high-quality image contour detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE 12th International Conference on Computer Vision, ICCV 2009, Kyoto, Japan, September 27, 2009

Optimizing the use of GPU memory in applications with large data sets.

[BibT_eX]

[DOI]

Nadathur Satish

Proceedings of the 16th International Conference on High Performance Computing, 2009

2008

Technology Mapping.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008

The Concurrency Challenge.

[BibT_eX]

[DOI]

Wen-mei W. Hwu

Timothy G. Mattson

IEEE Des. Test Comput., 2008

Fast support vector machine training and classification on graphics processors.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning, 2008

Architecting parallel programs.

[BibT_eX]

[DOI]

Joel R. Phillips

Michael Wrinn

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors.

[BibT_eX]

[DOI]

Nadathur Satish

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Reinventing EDA with manycore processors.

[BibT_eX]

[DOI]

Proceedings of the 45th Design Automation Conference, 2008

Parallelizing CAD: a timely research agenda for EDA.

[BibT_eX]

[DOI]

Proceedings of the 45th Design Automation Conference, 2008

2007

Efficient Parallelization of H.264 Decoding with Macro Block Level Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, 2007

A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multiprocessors.

[BibT_eX]

[DOI]

Nadathur Satish

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Megatrends and EDA 2017.

[BibT_eX]

Francine Bacchini

Gregory S. Spirakis

Juan Antonio Carballo

Proceedings of the 44th Design Automation Conference, 2007

Closing the Power Gap between ASIC and Custom - Tools and Techniques for Low Power Design.

[BibT_eX]

[DOI]

Springer, ISBN: 978-0-387-25763-1, 2007

2005

Linear programming for sizing, Vth and Vdd assignment.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Symposium on Low Power Electronics and Design, 2005

An FPGA-based Soft Multiprocessor System for IPv4 Packet Forwarding.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), 2005

Soft multiprocessor systems for network applications (abstract only).

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGDA 13th International Symposium on Field Programmable Gate Arrays, 2005

Closing the power gap between ASIC and custom: an ASIC perspective.

[BibT_eX]

[DOI]

Proceedings of the 42nd Design Automation Conference, 2005

Using minimal minterms to represent programmability.

[BibT_eX]

[DOI]

Scott J. Weber

Chandramouli Visweswariah

Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2005

An automated exploration framework for FPGA-based soft multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2005

2004

NP-Click: A Productive Software Development Approach for Network Processors.

[BibT_eX]

[DOI]

IEEE Micro, 2004

Developing a Flexible Interface for RapidIO, Hypertransport, and PCI-Express.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 2004

Is statistical timing statistically significant?

[BibT_eX]

[DOI]

Proceedings of the 41th Design Automation Conference, 2004

EDA: this is serious business.

[BibT_eX]

[DOI]

Proceedings of the 41th Design Automation Conference, 2004

Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2004

Static Crosstalk-Noise Analysis - For Deep Sub-Micron Digital Designs.

[BibT_eX]

[DOI]

Springer, ISBN: 978-1-4020-8091-3, 2004

Closing the Gap Between ASIC and Custom - Tools and Techniques for High-Performance ASIC Design.

[BibT_eX]

[DOI]

Springer, ISBN: 978-1-4020-7113-3, 2004

2003

Minimization of dynamic and static power through joint assignment of threshold voltages and sizing optimization.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003

Low Power Multiplication Algorithm for Switching Activity Reduction through Operand Decomposition.

[BibT_eX]

[DOI]

Masayuki Ito

Proceedings of the 21st International Conference on Computer Design (ICCD 2003), 2003

Comparing Analytical Modeling with Simulation for Network Processors: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

Programming challenges in network processor deployment.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Compilers, 2003

Mapping Concurrent Applications onto Architectural Platforms.

[BibT_eX]

[DOI]

Andrew Mihal

Proceedings of the Networks on Chip, 2003

2002

Impact of spatial intrachip gate length variability on theperformance of high-speed digital circuits.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002

Developing Architectural Platforms: A Disciplined Approach.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2002

Minimum-power retiming for dual-supply CMOS circuits.

[BibT_eX]

[DOI]

Farhana Sheikh

Andreas Kuehlmann

Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, 2002

From blind certainty to informed uncertainty.

[BibT_eX]

[DOI]

Michael Orshansky

Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, 2002

On convergence of switching windows computation in presence of crosstalk noise.

[BibT_eX]

[DOI]

Proceedings of 2002 International Symposium on Physical Design, 2002

From ASIC to ASIP: The Next Design Discontinuity.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002

Refining switching window by time slots for crosstalk noise calculation.

[BibT_eX]

[DOI]

Yuji Kukimoto

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Design Tools for Application Specific Embedded Processors.

[BibT_eX]

[DOI]

Wei Qin

Subramanian Rajagopalan

Proceedings of the Embedded Software, Second International Conference, 2002

Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant?

[BibT_eX]

[DOI]

Proceedings of the 39th Design Automation Conference, 2002

A general probabilistic framework for worst case timing analysis.

[BibT_eX]

[DOI]

Michael Orshansky

Proceedings of the 39th Design Automation Conference, 2002

2001

OCCOM-efficient computation of observability-based code coveragemetrics for functional verification.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

Functional vector generation for HDL models using linearprogramming and Boolean satisfiability.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

Impact of small process geometries on microarchitectures in systems on a chip.

[BibT_eX]

[DOI]

Proc. IEEE, 2001

Limitations and challenges of computer-aided design technology for CMOS VLSI.

[BibT_eX]

[DOI]

Proc. IEEE, 2001

Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits?

[BibT_eX]

[DOI]

Mukul R. Prasad

Philip Chong

J. Electron. Test., 2001

Coverage Metrics for Functional Validation of Hardware Designs.

[BibT_eX]

[DOI]

Serdar Tasiran

IEEE Des. Test Comput., 2001

Scripting for EDA Tools: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Symposium on Quality of Electronic Design (ISQED 2001), 2001

A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Computer Design (ICCD 2001), 2001

Bus Encoding to Prevent Crosstalk Delay.

[BibT_eX]

[DOI]

Bret M. Victor

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design.

[BibT_eX]

[DOI]

Proceedings of the 38th Design Automation Conference, 2001

A Quick Safari Through the Reconfiguration Jungle.

[BibT_eX]

[DOI]

Proceedings of the 38th Design Automation Conference, 2001

Achieving 550Mhz in an ASIC Methodology.

[BibT_eX]

[DOI]

Borivoje Nikolic

Proceedings of the 38th Design Automation Conference, 2001

2000

A global wiring paradigm for deep submicron design.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

System-level design: orthogonalization of concerns andplatform-based design.

[BibT_eX]

[DOI]

Jan M. Rabaey

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

Impact of Systematic Spatial Intra-Chip Gate Length Variability on Performance of High-Speed Digital Circuits.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

Switching Window Computation for Static Timing Analysis in Presence of Crosstalk Noise.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

Miller Factor for Gate-Level Coupling Delay Calculation.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

Closing the gap between ASIC and custom: an ASIC perspective.

[BibT_eX]

[DOI]

Proceedings of the 37th Conference on Design Automation, 2000

1999

A text-compression-based method for code size minimization in embedded systems.

[BibT_eX]

[DOI]

Stan Y. Liao

ACM Trans. Design Autom. Electr. Syst., 1999

Rethinking Deep-Submicron Circuit Design.

[BibT_eX]

[DOI]

Computer, 1999

Getting to the bottom of deep submicron II: a global wiring paradigm.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Physical Design, 1999

The MARCO/DARPA Gigascale Silicon Research Center.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Computer Design, 1999

Towards true crosstalk noise analysis.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Why is ATPG Easy?

[BibT_eX]

[DOI]

Mukul R. Prasad

Philip Chong

Proceedings of the 36th Conference on Design Automation, 1999

Panel: Cell Libraries - Build vs. Buy; Static vs. Dynamic.

[BibT_eX]

[DOI]

Proceedings of the 36th Conference on Design Automation, 1999

HW and SW in Embedded System Design: Loveboat, Shipwreck, or Ships Passing in the Night.

[BibT_eX]

[DOI]

Raul Camposano

Jerry Fiddler

Jim Lansford

Proceedings of the 36th Conference on Design Automation, 1999

1998

A new viewpoint on code generation for directed acyclic graphs.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 1998

Code density optimization for embedded DSP processors using data compression techniques.

[BibT_eX]

[DOI]

Stan Y. Liao

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

Code Optimization Techniques in Embedded DSP Microprocessors.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 1998

An algorithmic approach to optimizing fault coverage for BIST logic synthesis.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1998, 1998

Getting to the bottom of deep submicron.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification.

[BibT_eX]

[DOI]

Proceedings of the 35th Conference on Design Automation, 1998

Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 35th Conference on Design Automation, 1998

1997

Estimation of average switching activity in combinational logic circuits using symbolic simulation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

The future of logic synthesis and physical design in deep-submicron process geometries.

[BibT_eX]

[DOI]

Narendra V. Shenoy

Proceedings of the 1997 International Symposium on Physical Design, 1997

Challenges in CAD for the One Million Gate FPGA.

[BibT_eX]

[DOI]

Proceedings of the 1997 ACM/SIGDA Fifth International Symposium on Field Programmable Gate Arrays, 1997

1996

Storage Assignment to Decrease Code Size.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1996

Addendum to "Synthesis of robust delay-fault testable circuits: Theory".

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996

Mobile Communications: Demands on VLSI Technology, Design and CAD.

[BibT_eX]

[DOI]

Anantha P. Chandrakasan

Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996

What is the state of the art in commercial EDA tools for low power?

[BibT_eX]

[DOI]

Olivier Coudert

Ramsey W. Haddad

Proceedings of the 1996 International Symposium on Low Power Electronics and Design, 1996

An observability-based code coverage metric for functional simulation.

[BibT_eX]

[DOI]

Abhijit Ghosh

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

The Need for Formal Methods for Integrated Circuit Design.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

Synthesis of hazard-free asynchronous circuits with bounded wire delays.

[BibT_eX]

[DOI]

Luciano Lavagno

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995

Synthesis for testability techniques for asynchronous circuits.

[BibT_eX]

[DOI]

Luciano Lavagno

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995

Instruction selection using binate covering for code size optimization.

[BibT_eX]

[DOI]

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

A Design and Validation System for Asynchronous Circuits.

[BibT_eX]

[DOI]

Peter Vanbekbergen

Albert R. Wang

Proceedings of the 32st Conference on Design Automation, 1995

1994

Verification of asynchronous interface circuits with bounded wire delays.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 1994

Certified timing verification and the transition delay of a logic circuit.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1994

Event suppression: improving the efficiency of timing simulation for synchronous digital circuits.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994

Challenges in code generation for embedded processors.

[BibT_eX]

Proceedings of the Code Generation for Embedded Processors [Dagstuhl Workshop, Dagstuhl, Germany, August 31, 1994

Hardware-Software Co-Design and ESDA.

[BibT_eX]

[DOI]

Proceedings of the 31st Conference on Design Automation, 1994

1993

Analysis and Design of Regular Structures for Robust Dynamic Fault Testability.

[BibT_eX]

[DOI]

Michael J. Bryan

VLSI Design, 1993

Statistical timing analysis of combinational logic circuits.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1993

Computation of floating mode delay in combinational circuits: practice and implementation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

Computation of floating mode delay in combinational circuits: theory and algorithms.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

Delay-fault test generation and synthesis for testability under a standard scan design methodology.

[BibT_eX]

[DOI]

Kwang-Ting Cheng

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

Path-delay-fault testability properties of multiplexor-based networks.

[BibT_eX]

[DOI]

Pranav Ashar

Integr., 1993

Gate-Delay-Fault Testability Properties of Multiplexor-Based Networks.

[BibT_eX]

[DOI]

Pranav Ashar

Formal Methods Syst. Des., 1993

A synthesis-based test generation and compaction algorithm for multifaults.

[BibT_eX]

[DOI]

J. Electron. Test., 1993

What is the Next Big Productivity Boost for Designers? (Panel Abstract).

[BibT_eX]

[DOI]

Proceedings of the 30th Design Automation Conference. Dallas, 1993

1992

On properties of algebraic transformations and the synthesis of multifault-irredundant circuits.

[BibT_eX]

[DOI]

Gary D. Hachtel

Reily M. Jacoby

Christopher R. Morrison

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

Estimation of power dissipation in CMOS combinational circuits using Boolean function manipulation.

[BibT_eX]

[DOI]

Jacob K. White

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

Validatable nonrobust delay-fault testable circuits via logic synthesis.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

Synthesis of robust delay-fault-testable circuits: practice.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

Synthesis of robust delay-fault-testable circuits: theory.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

Necessary and sufficient conditions for hazard-free robust transistor stuck-open-fault testability in multilevel networks.

[BibT_eX]

[DOI]

Michael J. Bryan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

Statistical Timing Analysis of Combinational Circuits.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

On average power dissipation and random pattern testability of CMOS combinational logic networks.

[BibT_eX]

[DOI]

Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, 1992

Estimation of Average Switching Activity in Combinational and Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the 29th Design Automation Conference, 1992

1991

Is redundancy necessary to reduce delay?

[BibT_eX]

[DOI]

Alexander Saldanha

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991

A unified approach to the synthesis of fully testable sequential machines.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991

An automata-theoretic approach to behavioral equivalence.

[BibT_eX]

[DOI]

Integr., 1991

Recent progress in synthesis for testability.

[BibT_eX]

[DOI]

Abhijit Ghosh

Proceedings of the 9th IEEE VLSI Test Symposium (VTS'91), 1991

The Need for Formal Verification in Hardware Design and What Formal Verification Has Not Done for Me Lately.

[BibT_eX]

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

A Partial Enhanced-Scan Approach to Robust Delay-Fault Test Generation for Sequential Circuits.

[BibT_eX]

[DOI]

Kwang-Ting Cheng

Proceedings of the Proceedings IEEE International Test Conference 1991, 1991

Design Verfication and Reachability Analysis Using Algebraic Manipulation.

[BibT_eX]

[DOI]

A. S. Krishnakumar

Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

Delay Computation in Combinational Logic Circuits: Theory and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Algorithms for Synthesis of Hazard-Free Asynchronous Circuits.

[BibT_eX]

[DOI]

Luciano Lavagno

Proceedings of the 28th Design Automation Conference, 1991

Robust Delay-Fault Test Generation and Synthesis for Testability Under A Standard Scan Design Methodology.

[BibT_eX]

[DOI]

Kwang-Ting Cheng

Proceedings of the 28th Design Automation Conference, 1991

1990

Design of integrated circuits fully testable for delay-faults and multifaults.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1990, 1990

Testability-Preserving Circuit Transformations.

[BibT_eX]

[DOI]

Michael J. Bryan

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990

Impact and Evaluation of Competing Implementation Media for ASIC's (Panel Abstract).

[BibT_eX]

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

Synthesis and Optimization Procedures for Robustly Delay-Fault Testable Combinational Logic Circuits.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

1989

Addendum to 'A kernel-finding state assignment algorithm for multi-level logic'.

[BibT_eX]

[DOI]

Wayne H. Wolf

Janaki Akella

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989

On properties of algebraic transformation and the multifault testability of multilevel logic.

[BibT_eX]

[DOI]

Gary D. Hachtel

Reily M. Jacoby

Christopher R. Morrison

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

Boolean minimization and algebraic factorization procedures for fully testable sequential machines.

[BibT_eX]

[DOI]

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

Three Competing Design Methodologies for ASIC's: Architectual Synthesis, Logic Synthesis, Logic Synthesis and Module Generation.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1988

Anatomy of a Hardware Compiler.

[BibT_eX]

[DOI]

Wayne H. Wolf

Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

A Kernel-Finding State Assignment Algorithm for Multi-Level Logic.

[BibT_eX]

[DOI]

Wayne H. Wolf

Janaki Akella

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1987

DAGON: Technology Binding and Local Optimization by DAG Matching.

[BibT_eX]

[DOI]