default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICCAD 2020: San Diego, CA, USA
- IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020. IEEE 2020
- Zhiyuan Chen, Yufei Ma, Zhongfeng Wang:
Optimizing Stochastic Computing for Low Latency Inference of Convolutional Neural Networks. 90:1-90:7 - Nitthilan Kanappan Jayakodi, Janardhan Rao Doppa, Partha Pratim Pande:
SETGAN: Scale and Energy Trade-off GANs for Image Applications on Mobile Platforms. 23:1-23:9 - Xiaotian Dai
, Shuai Zhao, Yu Jiang, Xun Jiao, Xiaobo Sharon Hu, Wanli Chang:
Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks. 99:1-99:9 - Kunal Agrawal, Sanjoy K. Baruah, Zhishan Guo, Jing Li:
The Safe and Effective Application of Probabilistic Techniques in Safety-Critical Systems. 24:1-24:9 - Jinjun Xiong, Huamin Chen:
Challenges for Building a Cloud Native Scalable and Trustable Multi-tenant AIoT Platform. 26:1-26:8 - Florian Klemme, Jannik Prinz, Victor M. van Santen, Jörg Henkel, Hussam Amrouch:
Modeling Emerging Technologies using Machine Learning: Challenges and Opportunities. 15:1-15:9 - Bing Li, Ying Wang, Yiran Chen:
HitM: High-Throughput ReRAM-based PIM for Multi-Modal Neural Networks. 105:1-105:7 - Gyuyoung Park, Myoungsoo Jung:
Automatic-SSD: Full Hardware Automation over New Memory for High Performance and Energy Efficient PCIe Storage Cards. 57:1-57:9 - Ying Zhu, Grace Li Zhang, Bing Li, Xunzhao Yin, Cheng Zhuo, Huaxi Gu, Tsung-Yi Ho, Ulf Schlichtmann:
Countering Variations and Thermal Effects for Accurate Optical Neural Networks. 152:1-152:7 - Yibo Lin:
GPU Acceleration in VLSI Back-end Design: Overview and Case Studies. 168:1-168:4 - Sheng-Chun Kao, Tushar Krishna:
GAMMA: Automating the HW Mapping of DNN Models on Accelerators via Genetic Algorithm. 44:1-44:9 - Hari Govind V. K., Grigory Fedyukovich, Arie Gurfinkel:
Word Level Property Directed Reachability. 107:1-107:9 - Sheng-Hao Wang, Yen-Jong Chen, Ting-Chi Wang, Oscar Chen:
An Algorithm for Rule-based Layout Pattern Matching. 33:1-33:8 - Yi-Chen Chang, Hongjia Li, Olivia Chen, Yanzhi Wang, Nobuyuki Yoshikawa, Tsung-Yi Ho:
ASAP: An Analytical Strategy for AQFP Placement. 134:1-134:7 - Qi Sun, Arjun Ashok Rao, Xufeng Yao, Bei Yu, Shiyan Hu:
Counteracting Adversarial Attacks in Autonomous Driving. 83:1-83:7 - Duy Thanh Nguyen, Changhong Min, Nhut-Minh Ho, Ik-Joon Chang:
DRAMA: An Approximate DRAM Architecture for High-performance and Energy-efficient Deep Training System. 47:1-47:8 - Mark Po-Hung Lin, Hao-Yu Chi, Abhishek Patyal, Zheng-Yao Liu, Jun-Jie Zhao, Chien-Nan Jimmy Liu, Hung-Ming Chen:
Achieving Analog Layout Integrity through Learning and Migration Invited Talk. 55:1-55:8 - Xuanxiang Huang, Haipeng Che, Liangda Fang, Qingliang Chen, Quanlong Guan, Yuhui Deng, Kaile Su:
Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. 131:1-131:9 - Joseph Sweeney, Marijn J. H. Heule, Lawrence T. Pileggi:
Modeling Techniques for Logic Locking. 80:1-80:9 - Adam Issa, Valeriy Sukharev, Farid N. Najm:
Electromigration Checking Using a Stochastic Effective Current Model. 5:1-5:8 - Chengmo Yang, Patrick Cronin, Agamyrat Agambayev, Sule Ozev, A. Enis Çetin, Alex Orailoglu:
A Crowd-Based Explosive Detection System with Two-Level Feedback Sensor Calibration. 8:1-8:9 - Stefanos Laskaridis, Stylianos I. Venieris, Hyeji Kim, Nicholas D. Lane:
HAPI: Hardware-Aware Progressive Inference. 91:1-91:9 - Ecenur Ustun, Chenhui Deng, Debjit Pal, Zhijing Li, Zhiru Zhang:
Accurate Operation Delay Prediction for FPGA HLS Using Graph Neural Networks. 87:1-87:9 - Debapriya Basu Roy, Tim Fritzmann, Georg Sigl:
Efficient Hardware/Software Co-Design for Post-Quantum Crypto Algorithm SIKE on ARM and RISC-V based Microcontrollers. 35:1-35:9 - Nayoung Choi, Jaeha Kim:
Modeling and Simulation of NAND Flash Memory Sensing Systems with Cell-to-Cell Vth Variations. 52:1-52:8 - Hyein Shin, Myeonggu Kang, Lee-Sup Kim:
A Thermal-aware Optimization Framework for ReRAM-based Deep Neural Network Acceleration. 102:1-102:9 - Yukui Luo, Xiaolin Xu:
A Quantitative Defense Framework against Power Attacks on Multi-tenant FPGA. 64:1-64:9 - Mohamed Baker Alawieh, Wei Ye, David Z. Pan:
Re-examining VLSI Manufacturing and Yield through the Lens of Deep Learning : (Invited Talk). 12:1-12:8 - Bentian Jiang, Jingsong Chen, Jinwei Liu, Lixin Liu, Fangzhou Wang, Xiaopeng Zhang, Evangeline F. Y. Young:
CU.POKer: Placing DNNs on Wafer-Scale Al Accelerator with Optimal Kernel Sizing. 142:1-142:9 - Chih-Jen Hsu, Chi-An Wu, Ching-Yi Huang, Kei-Yong Khoo:
ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk. 68:1-68:4 - Xing Huang, Youlin Pan, Grace Li Zhang, Bing Li, Wenzhong Guo, Tsung-Yi Ho, Ulf Schlichtmann:
PathDriver: A Path-Driven Architectural Synthesis Flow for Continuous-Flow Microfluidic Biochips. 29:1-29:8 - Ilias Giechaskiel, Jakub Szefer:
Information Leakage from FPGA Routing and Logic Elements. 63:1-63:9 - Chao Zhang, Khaled Abdelaal, Angel Chen, Xinhui Zhao, Wujie Wen, Xiaochen Guo:
ECC Cache: A Lightweight Error Detection for Phase-Change Memory Stuck-At Faults. 59:1-59:9 - Xiao Shi, Hao Yan, Chuwen Li, Jianli Chen, Longxing Shi, Lei He:
A Non-Gaussian Adaptive Importance Sampling Method for High-Dimensional and Multi-Failure-Region Yield Analysis. 7:1-7:8 - Han Zhou, Wentian Jin, Sheldon X.-D. Tan:
GridNet: Fast Data-Driven EM-Induced IR Drop Prediction and Localized Fixing for On-Chip Power Grid Networks. 160:1-160:9 - Mahabubul Alam, Abdullah Ash-Saki, Junde Li, Anupam Chattopadhyay, Swaroop Ghosh:
Noise Resilient Compilation Policies for Quantum Approximate Optimization Algorithm. 155:1-155:7 - Seyed Milad Ebrahimipour, Behnam Ghavami, Hamid Mousavi, Mohsen Raji, Zhenman Fang, Lesley Shannon:
Aadam: A Fast, Accurate, and Versatile Aging-Aware Cell Library Delay Model using Feed-Forward Neural Network. 31:1-31:9 - Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Uniformly Sampling Traces of a Transition System. 108:1-108:9 - Haeyoung Kim, Jinjae Lee, Derry Pratama, Asep Muhamad Awaludin, Howon Kim, Donghyun Kwon:
RIMI: Instruction-level Memory Isolation for Embedded Systems on RISC-V. 34:1-34:9 - Saransh Gupta, Justin Morris, Mohsen Imani, Ranganathan Ramkumar, Jeffrey Yu, Aniket Tiwari, Baris Aksanli, Tajana Simunic Rosing:
THRIFTY: Training with Hyperdimensional Computing across Flash Hierarchy. 27:1-27:9 - Tonmoy Dhar, Kishor Kunal, Yaguang Li, Yishuang Lin, Meghna Madhusudan, Jitesh Poojary, Arvind K. Sharma, Steven M. Burns, Ramesh Harjani, Jiang Hu, Parijat Mukherjee, Soner Yaldiz, Sachin S. Sapatnekar:
The ALIGN Open-Source Analog Layout Generator: v1.0 and Beyond (Invited talk). 54:1-54:2 - Sujit Kumar Muduli, Gourav Takhar, Pramod Subramanyan:
HyperFuzzing for SoC Security Validation. 106:1-106:9 - Kai-Chuan Yang, Tao-Chun Yu, Shao-Yun Fang, Teng-Yuan Cheng, Yang-Chun Liu, Cindy Chin-Fang Shen:
Meshed Stack Via Design Considering Complicated Design Rules with Automatic Constraint Generation. 149:1-149:8 - Xiaopeng Zhang, James P. Shiely, Evangeline F. Y. Young:
Layout Pattern Generation and Legalization with Generative Learning Models. 32:1-32:9 - Yeonhong Park, Seung Yul Lee, Hoon Shin, Jun Heo, Tae Jun Ham, Jae W. Lee:
Unlocking Wordline-level Parallelism for Fast Inference on RRAM-based DNN Accelerator. 103:1-103:9 - Hung-Ming Chen, Chia-Lin Hu, Kang-Yu Chang, Alexandra Küster, Yu-Hsien Lin, Po-Shen Kuo, Wei-Tung Chao, Bo-Cheng Lai, Chien-Nan Liu, Shyh-Jye Jou:
On EDA Solutions for Reconfigurable Memory-Centric AI Edge Applications. 127:1-127:8 - Elbruz Ozen, Alex Orailoglu:
Just Say Zero: Containing Critical Bit-Error Propagation in Deep Neural Networks With Anomalous Feature Suppression. 75:1-75:9 - Zizheng Guo, Tsung-Wei Huang, Yibo Lin:
GPU-Accelerated Static Timing Analysis. 147:1-147:9 - Yi-Chen Lu, Siddhartha Nath, Sai Surya Kiran Pentapati, Sung Kyu Lim:
A Fast Learning-Driven Signoff Power Optimization Framework. 161:1-161:9 - Francesco Regazzoni, Shivam Bhasin, Amir Alipour, Ihab Alshaer, Furkan Aydin, Aydin Aysu, Vincent Beroulle, Giorgio Di Natale, Paul D. Franzon, David Hély, Naofumi Homma, Akira Ito, Dirmanto Jap, Priyank Kashyap, Ilia Polian, Seetal Potluri, Rei Ueno, Elena-Ioana Vatajelu, Ville Yli-Mäyry:
Machine Learning and Hardware security: Challenges and Opportunities -Invited Talk-. 141:1-141:6 - Xiaoxuan Yang, Bonan Yan, Hai Li, Yiran Chen:
ReTransformer: ReRAM-based Processing-in-Memory Architecture for Transformer Acceleration. 92:1-92:9 - Yu-Chou Lin, Jie-Hong R. Jiang:
Mining Biochemical Circuits from Enzyme Databases via Boolean Reasoning. 86:1-86:9 - Yanqing Zhang, Haoxing Ren, Brucek Khailany:
Opportunities for RTL and Gate Level Simulation using GPUs (Invited Talk). 166:1-166:5 - Parnian Mokri, Mark Hempstead:
Early-stage Automated Accelerator Identification Tool for Embedded Systems with Limited Area. 115:1-115:8 - Qiaochu Zhang, Shiyu Su, Juzheng Liu, Mike Shuo-Wei Chen:
CEPA: CNN-based Early Performance Assertion Scheme for Analog and Mixed-Signal Circuit Simulation. 118:1-118:9 - Haowen Fang, Zaidao Mei, Amar Shrestha, Ziyi Zhao, Yilan Li, Qinru Qiu:
Encoding, Model, and Architecture: Systematic Optimization for Spiking Neural Network in FPGAs. 62:1-62:9 - Cunxi Yu:
FlowTune: Practical Multi-armed Bandits in Boolean Optimization. 130:1-130:9 - Hadi Mardani Kamali, Kimia Zamiri Azar, Houman Homayoun, Avesta Sasan:
InterLock: An Intercorrelated Logic and Routing Locking. 78:1-78:9 - Mateus Fogaça, Eder Monteiro, Marcelo Danigno, Isadora Oliveira, Paulo F. Butzen, Ricardo Reis:
Contributions to OpenROAD from Abroad: Experiences and Learnings : Invited Paper. 113:1-113:8 - Shengwen Liang, Cheng Liu, Ying Wang, Huawei Li, Xiaowei Li:
DeepBurning-GL: an Automated Framework for Generating Graph Neural Network Accelerators. 72:1-72:9 - Wen-Hsiang Chang, Li-Yi Lin, Yu-Guang Chen, Mango C.-T. Chao:
Power Distribution Network Generation for Optimizing IR-Drop Aware Timing. 146:1-146:9 - Hyungjun Kim, Hyunmyung Oh, Jae-Joon Kim:
Energy-efficient XNOR-free In-Memory BNN Accelerator with Input Distribution Regularization. 94:1-94:9 - Weiguang Liu, Jinhua Cui, Junwei Liu, Laurence T. Yang:
MLCache: A Space-Efficient Cache Scheme based on Reuse Distance and Machine Learning for NVMe SSDs. 58:1-58:9 - Selma Saidi, Dirk Ziegenbein, Jyotirmoy V. Deshmukh, Rolf Ernst:
EDA for Autonomous Behavior Assurance. 81:1-81:3 - Jianli Chen, Iris Hui-Ru Jiang, Jinwook Jung, Andrew B. Kahng, Victor N. Kravets, Yih-Lang Li, Shih-Ting Lin, Mingyu Woo:
DATC RDF-2020: Strengthening the Foundation for Academic Research in IC Physical Design. 71:1-71:6 - Hao Chen, Keren Zhu, Mingjie Liu, Xiyuan Tang, Nan Sun, David Z. Pan:
Toward Silicon-Proven Detailed Routing for Analog and Mixed-Signal Circuits. 18:1-18:8 - Hao Geng, Haoyu Yang, Lu Zhang, Jin Miao, Fan Yang, Xuan Zeng, Bei Yu:
Hotspot Detection via Attention-based Deep Layout Metric Learning. 16:1-16:8 - Yih-Lang Li, Shih-Ting Lin, Shinichi Nishizawa, Hidetoshi Onodera:
MCell: Multi-Row Cell Layout Synthesis with Resource Constrained MAX-SAT Based Detailed Routing. 157:1-157:8 - Mahmood Azhar Qureshi, Arslan Munir:
NeuroMAX: A High Throughput, Multi-Threaded, Log-Based Accelerator for Convolutional Neural Networks. 45:1-45:9 - Qi Liu, Wujie Wen, Yanzhi Wang:
Concurrent Weight Encoding-based Detection for Bit-Flip Attack on Neural Network Accelerators. 37:1-37:8 - Jingsong Chen, Jian Kuang, Guowei Zhao, Dennis J.-H. Huang, Evangeline F. Y. Young:
PROS: A Plug-in for Routability Optimization applied in the State-of-the-art commercial EDA tool using deep learning. 17:1-17:8 - Saurabh Dash, Saibal Mukhopadhyay:
Hessian-Driven Unequal Protection of DNN Parameters for Robust Inference. 76:1-76:9 - Chung-Kuan Cheng, Chia-Tung Ho, Daeyeal Lee, Dongwon Park:
A Routability-Driven Complimentary-FET (CFET) Standard Cell Synthesis Framework using SMT. 158:1-158:8 - Xuan-Xue Huang, Hsien-Chia Chen, Sheng-Wei Wang, Iris Hui-Ru Jiang, Yih-Chih Chou, Cheng-Hong Tsai:
Dynamic IR-Drop ECO Optimization by Cell Movement with Current Waveform Staggering and Machine Learning Guidance. 156:1-156:9 - Fan Zhang, Miao Hu:
CCCS: Customized SPICE-level Crossbar-array Circuit Simulator for In-Memory Computing. 136:1-136:8 - Yi-Hsiang Lai, Hongbo Rong, Size Zheng, Weihao Zhang, Xiuping Cui, Yunshan Jia, Jie Wang, Brendan Sullivan, Zhiru Zhang, Yun Liang, Youhui Zhang, Jason Cong, Nithin George, Jose Alvarez, Christopher J. Hughes, Pradeep Dubey:
SuSy: A Programming Model for Productive Construction of High-Performance Systolic Arrays on FPGAs. 73:1-73:9 - Tirthak Patel, Devesh Tiwari:
DisQ: A Novel Quantum Output State Classification Method on IBM Quantum Computers using OpenPulse. 139:1-139:9 - Sarah Amir, Domenic Forte:
Adaptable and Divergent Synthetic Benchmark Generation for Hardware Security. 49:1-49:9 - Ting-Ru Lin, Massoud Pedram:
Retiming for High-performance Superconductive Circuits with Register Energy Minimization. 85:1-85:9 - Bentian Jiang, Lixin Liu, Yuzhe Ma, Hang Zhang, Bei Yu, Evangeline F. Y. Young:
Neural-ILT: Migrating ILT to Neural Networks for Mask Printability and Complexity Co-optimization. 20:1-20:9 - Shanshi Huang, Hongwu Jiang, Xiaochen Peng, Wantong Li, Shimeng Yu:
XOR-CIM: Compute-In-Memory SRAM Architecture with Embedded XOR Encryption. 77:1-77:6 - Feng Wang, Liren Zhu, Jiaxi Zhang, Lei Li, Yang Zhang, Guojie Luo:
Dual-Output LUT Merging during FPGA Technology Mapping. 132:1-132:9 - Juzheng Liu, Mohsen Hassanpourghadi, Qiaochu Zhang, Shiyu Su, Mike Shuo-Wei Chen:
Transfer Learning with Bayesian Optimization-Aided Sampling for Efficient AMS Circuit Modeling. 119:1-119:9 - Navyata Gattu, Mohammad Nasim Imtiaz Khan, Asmit De, Swaroop Ghosh:
Power Side Channel Attack Analysis and Detection. 65:1-65:7 - Tyler Sorensen, Aninda Manocha, Esin Tureci, Marcelo Orenes-Vera, Juan L. Aragón, Margaret Martonosi:
A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration. 97:1-97:9 - Yen-Ting Lin, Jie-Hong R. Jiang, Victor N. Kravets:
Symbolic Uniform Sampling with XOR Circuits. 129:1-129:9 - Yinhe Han, Yuxin Yang, Xiaoming Chen, Shiqi Lian:
DaDu Series - Fast and Efficient Robot Accelerators. 165:1-165:8 - Sumit K. Mandal, Anish Krishnakumar, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras:
Performance Analysis of Priority-Aware NoCs with Deflection Routing under Traffic Congestion. 42:1-42:9 - Yuan Xie:
Foreword. 5 - Mahdi Nazemi, Amirhossein Esmaili, Arash Fayyazi, Massoud Pedram:
SynergicLearning: Neural Network-Based Feature Extraction for Highly-Accurate Hyperdimensional Learning. 89:1-89:9 - Tsung-Wei Huang:
A General-purpose Parallel and Heterogeneous Task Programming System for VLSI CAD. 169:1-169:2 - Mohamed Shalan, Tim Edwards:
Building OpenLANE: A 130nm OpenROAD-based Tapeout- Proven Flow : Invited Paper. 110:1-110:6 - Chuangtao Chen, Sen Yang, Weikang Qian, Mohsen Imani, Xunzhao Yin, Cheng Zhuo:
Optimally Approximated and Unbiased Floating-Point Multiplier with Runtime Configurability. 121:1-121:9 - Yanqing Zhang, Haoxing Ren, Ben Keller, Brucek Khailany:
Problem C: GPU Accelerated Logic Re-simulation : (Invited Talk). 70:1-70:4 - Qilin Zheng, Xingchen Li, Zongwei Wang, Guangyu Sun, Yimao Cai, Ru Huang, Yiran Chen, Hai Li:
MobiLattice: A Depth-wise DCNN Accelerator with Hybrid Digital/Analog Nonvolatile Processing-In-Memory Block. 104:1-104:9 - Hengyi Liang, Zhilu Wang, Ruochen Jiao, Qi Zhu:
Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees. 101:1-101:9 - Alberto Marchisio, Andrea Massa, Vojtech Mrazek, Beatrice Bussolino, Maurizio Martina, Muhammad Shafique:
NASCaps: A Framework for Neural Architecture Search to Optimize the Accuracy and Hardware Efficiency of Convolutional Capsule Networks. 114:1-114:9 - Thomas Grurl, Jürgen Fuß, Robert Wille:
Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams. 140:1-140:7 - Jorge Castro-Godínez, Julián Mateus-Vargas, Muhammad Shafique, Jörg Henkel:
AxHLS: Design Space Exploration and High-Level Synthesis of Approximate Accelerators using Approximate Functional Units and Analytical Models. 117:1-117:9 - Kai-Shun Hu, Ming-Jen Yang, Tao-Chun Yu, Guan-Chuen Chen:
ICCAD-2020 CAD contest in Routing with Cell Movement : Invited Talk. 69:1-69:4 - Wenqin Huangfu, Krishna T. Malladi, Shuangchen Li, Peng Gu, Yuan Xie:
NEST: DIMM based Near-Data-Processing Accelerator for K-mer Counting. 28:1-28:9 - Debdeep Mukhopadhyay:
Faultless to a Fault? The Case of Threshold Implementations of Crypto-systems vs Fault Template Attacks. 66:1-66:9 - Alexandre Truppel, Tsun-Ming Tseng, Ulf Schlichtmann:
PSION 2: Optimizing Physical Layout of Wavelength-Routed ONoCs for Laser Power Reduction. 43:1-43:9 - Ying Wang, Mengdi Wang, Bing Li, Huawei Li, Xiaowei Li:
A Many-Core Accelerator Design for On-Chip Deep Reinforcement Learning. 46:1-46:7 - Florian Klemme, Yogesh Singh Chauhan, Jörg Henkel, Hussam Amrouch:
Cell Library Characterization using Machine Learning for Design Technology Co-Optimization. 162:1-162:9 - Tianyu Wang, Wenbin Zhu, Qun Ma, Zhaoyan Shen, Zili Shao:
ABACUS: Address-partitioned Bloom filter on Address Checking for UniquenesS in IoT Blockchain. 10:1-10:7 - Sujan K. Gonugondla, Ameya D. Patil, Naresh R. Shanbhag:
SWIPE: Enhancing Robustness of ReRAM Crossbars for In-memory Computing. 93:1-93:9 - Jinwoo Kim, Gauthaman Murali, Pruek Vanna-Iampikul, Edward Lee, Daehyun Kim, Arjun Chaudhuri, Sanmitra Banerjee, Krishnendu Chakrabarty, Saibal Mukhopadhyay, Sung Kyu Lim:
RTL-to-GDS Design Tools for Monolithic 3D ICs. 126:1-126:8 - Dewen Zeng, Weiwen Jiang, Tianchen Wang, Xiaowei Xu, Haiyun Yuan, Meiping Huang, Jian Zhuang, Jingtong Hu, Yiyu Shi:
Towards Cardiac Intervention Assistance: Hardware-aware Neural Architecture Exploration for Real-Time 3D Cardiac Cine MRI Segmentation. 40:1-40:8 - An-Jie Shih, Shao-Yun Fang, Yi-Yu Liu:
Guiding Template Design for Lamellar DSA with Multiple Patterning and Self-Aligned Via Process. 21:1-21:6 - Kecheng Yang, Ashikahmed Bhuiyan, Zhishan Guo:
F2VD: Fluid Rates to Virtual Deadlines for Precise Mixed-Criticality Scheduling on a Varying-Speed Processor. 100:1-100:9