Browse data: Reference Materials
From Thermodynamics of Computation
Reference Materials > Reference group :
Computer Science Engineering to Address Energy Costs or
Logically Reversible Computing
Click on one or more items below to narrow your results.
Author:
Showing below up to 183 results in range #1 to #183.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)
- Kevin J. Nowka, Gary D. Carpenter, Eric W. MacDonald, Hung C. Ngo, Bishop C. Brock, Koji I. Ishii, Tuyet Y. Nguyen, Jeffrey L. Burns A 32-bit powerPC system-on-a-chip with support for dynamic voltage scaling and dynamic frequency scaling IEEE Journal of Solid-State Circuits 37, 1441-1447 (2002)
- A 96 × 64 intelligent digital pixel array with extended binary stochastic arithmetic ,
- Andrea Arcuri, Lionel Briand A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering Software Testing Verification and Reliability 24, 219-250 (2014)
- A Note on Bennett’s Time-Space Tradeoff for Reversible Computation ,
- ... A Relaxed Min-Sum LDPC Decoder With Simplified Check Nodes ,
- A Survey of Techniques for Approximate Computing ,
- Kalyanmoy Deb, Amrit Pratap, Sameer Agarwal, T. Meyarivan A fast and elitist multiobjective genetic algorithm: NSGA-II IEEE Transactions on Evolutionary Computation 6, 182-197 (2002)
- A fast quantum mechanical algorithm for database search ,
- A multidimensional filter algorithm for nonlinear equations and nonlinear least-squares ,
- Gregory J. Chaitin, Jacob T. Schwartz A note on monte carlo primality tests and algorithmic information theory Communications on Pure and Applied Mathematics 31, 521-527 (1978)
- A reconfigurable stochastic architecture for highly reliable computing ,
- Armin Alaghi, John P. Hayes A spectral transform approach to stochastic circuits Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors , 315-321 (2012)
- Peng Li, Weikang Qian, David J. Lilja A stochastic reconfigurable architecture for fault-tolerant computation with sequential logic Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors , 303-308 (2012)
- Da Zhang, Hui Li A stochastic-based FPGA controller for an induction motor drive with integrated neural network algorithms IEEE Transactions on Industrial Electronics 55, 551-561 (2008)
- Pinar Korkmaz, Bilge E.S. Akgul, Krishna V. Palem, Lakshmi N. Chakrapani Advocating noise as an agent for ultra-low energy computing: Probabilistic complementary metal-oxide-semiconductor devices and their characteristics Japanese Journal of Applied Physics, Part 1: Regular Papers and Short Notes and Review Papers 45, 3307-3316 (2006)
- An analysis of selected computer interchange color spaces ,
- Weikang Qian, Xin Li, Marc D. Riedel, Kia Bazargan, David J. Lilja An architecture for fault-tolerant computation with stochastic logic IEEE Transactions on Computers 60, 93-105 (2011)
- Zhengya Zhang, Venkat Anantharam, Martin J. Wainwright, Borivoje Nikolić An efficient 10GBASE-T ethernet LDPC decoder design with low error floors IEEE Journal of Solid-State Circuits 45, 843-855 (2010)
- An introduction to thermodynamics and statistical mechanics ,
- O. Sarbishei, K. Radecka Analysis of precision for scaling the intermediate variables in fixed-point arithmetic circuits IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD , 739-745 (2010)
- Xuanhua Li, Donald Yeung Application-level correctness and its impact on fault tolerance Proceedings - International Symposium on High-Performance Computer Architecture , 181-192 (2007)
- ApproxMA: Approximate Memory Access for Dynamic Precision Scaling ,
- Jie Han, Michael Orshansky Approximate computing: An emerging paradigm for energy-efficient design Proceedings - 2013 18th IEEE European Test Symposium, ETS 2013 , (2013)
- Young Chul Kim, Michael A. Shanblatt Architecture and Statistical Model of a Pulse-Mode Digital Multilayer Neural Network IEEE Transactions on Neural Networks 6, 1109-1118 (1995)
- Saed G Younis, Jr. Thomas F Knight Asymptotically Zero Energy Computing Split-Level Charge Recovery Logic International Workshop on Low Power Design , 177-182 (1994)
- Best-effort computing: Re-thinking parallel software and hardware ,
- P. K. Gupta, R. Kumaresan Binary Multiplication with PN Sequences IEEE Transactions on Acoustics, Speech, and Signal Processing 36, 603-606 (1988)
- Calculating source line level energy information for Android applications ,
- K. K. Likharev Classical and quantum limitations on energy consumption in computation International Journal of Theoretical Physics 21, 311-326 (1982)
- Chingren Lee, Jenq Kuen Lee, Ting Ting Hwang, Shi Chun Tsai Compiler optimization on instruction scheduling for low power Proceedings of the International Symposium on System Synthesis 2000-January, 55-60 (2000)
- Peng Li, David J. Lilja, Weikang Qian, Kia Bazargan, Marc D. Riedel Computation on stochastic bit streams digital image processing case studies IEEE Transactions on Very Large Scale Integration (VLSI) Systems 22, 449-462 (2014)
- Computational Complexity of Probabilistic Turing Machines ,
- Computational complexity: a modern approach ,
- Computing with Noisy Information ,
- Edward Fredkin, Tommaso Toffoli Conservative logic International Journal of Theoretical Physics 21, 219-253 (1982)
- Continuous time controllers using digital programmable devices ,
- Coordination languages and their significance ,
- Pavel Saviankou, Michael Knobloch, Anke Visser, Bernd Mohr Cube v4: From performance report explorer to performance analysis tool Procedia Computer Science 51, 1343-1352 (2015)
- A. F. Chalmers Curie's principle British Journal for the Philosophy of Science 21, 133-148 (1970)
- Pierre Delforge, Josh Whitney Data Center Efficiency Assessment Natural Resources Defense Council (NRDC) , 35 (2014)
- Melvin A. Breuer, Sandeep K. Gupta, T. M. Mak Defect and error tolerance in the presence of massive numbers of defects IEEE Design and Test of Computers 21, 216-227 (2004)
- Ali Naderi, Shie Mannor, Mohamad Sawan, Warren J. Gross Delayed stochastic decoding of LDPC codes IEEE Transactions on Signal Processing 59, 5617-5626 (2011)
- Demons, Engines and the Second Law ,
- Jia Lee, Rui Long Yang, Kenichi Morita Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements Theoretical Computer Science 460, 78-88 (2012)
- Designing logic circuits for probabilistic computation in the presence of noise ,
- Dynamo: Amazon’s Highly Available Key-value Store ,
- Hyungmin Cho, Larkhoon Leem, Subhasish Mitra ERSA: Error resilient system architecture for probabilistic applications IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 31, 546-558 (2012)
- Yossi Rubner, Carlo Tomasi, Leonidas J. Guibas Earth mover's distance as a metric for image retrieval International Journal of Computer Vision 40, 99-121 (2000)
- Efficient randomized pattern-matching algorithms ,
- Laszlo B. Kish End of Moore's law: Thermal (noise) death of integration in micro and nano electronics Physics Letters, Section A: General, Atomic and Solid State Physics 305, 144-149 (2002)
- Krishna V. Palem Energy Aware Computing Through Probabilistic Switching: A Study of Limits IEEE Transactions on Computers 54, 1123-1137 (2005)
- Krishna V. Palem Energy aware computing through probabilistic switching: A study of limits IEEE Transactions on Computers 54, 1123-1137 (2005)
- Energy-Efficient Sensing with the Low Power, Energy Aware Processing (LEAP) Architecture ,
- Enhancing server availability and security through failure-oblivious computing ,
- Eon: A Language and Runtime System for Perpetual Systems ,
- Ethernet: distributed packet switching for local computer networks ,
- Evidence based psychotherapy : special case or special pleading? ,
- Evolving Patches for Software Repair ,
- Alexei O. Orlov, Ravi K. Kummamuru, Rajagopal Ramasubramaniam, Geza Toth, Craig S. Lent, Gary H. Bernstein, Gregory L. Snider Experimental demonstration of a latch in clocked quantum-dot cellular automata Applied Physics Letters 78, 1625-1627 (2001)
- Xuanhua Li, Donald Yeung Exploiting Soft Computing for Increased Fault Tolerance Workshop on Architectural Support for Gigascale Integration , (2006)
- Armin Alaghi, John P. Hayes Exploiting correlation in stochastic circuit design 2013 IEEE 31st International Conference on Computer Design, ICCD 2013 , 39-46 (2013)
- Frank R. Kschischang, Brendan J. Frey, Hans Andrea Loeliger Factor graphs and the sum-product algorithm IEEE Transactions on Information Theory 47, 498-519 (2001)
- Finite Automata and Their Decision Problems ,
- Fitness Distance Correlation as a Measure of Problem Difficulty for Genetic Algorithms ,
- Michael Orlov, Moshe Sipper Flight of the FINCH through the java wilderness IEEE Transactions on Evolutionary Computation 15, 166-182 (2011)
- Carlos Alvarez, Jesús Corbal, Mateo Valero Fuzzy Memoization for Floating-Point Multimedia Applications IEEE Transactions on Computers 54, 922-927 (2005)
- P. Jeavons, D. A. Cohen, J. Shawe-Taylor Generating Binary Sequences for Stochastic Computing IEEE Transactions on Information Theory 40, 716-720 (1994)
- Brad L Miller, David E Goldberg Genetic Algorithms, Tournament Selection, and the Effects of Noise Complex Systems 9, 193-212 (1995)
- John R. Koza Genetic programming as a means for programming computers by natural selection Statistics and Computing 4, 87-112 (1994)
- Growth in Data Center Electricity use 2005 to 2010 ,
- Ralph C. Merkle, K. Eric Drexler Helical logic Nanotechnology 7, 325-339 (1996)
- Zhou Wang, Alan Conrad Bovik, Hamid Rahim Sheikh, Eero P. Simoncelli Image quality assessment: From error visibility to structural similarity IEEE Transactions on Image Processing 13, 600-612 (2004)
- Jane W.S. Liu, Wei Kuan Shih, Kwei Jay Lin, Jen Yao Chung Imprecise Computations Proceedings of the IEEE 82, 83-94 (1994)
- Jason Mars, Lingjia Tang, Kevin Skadron, Mary Lou Soffa, Robert Hundt Increasing utilization in modern warehouse-scale computers using Bubble-Up IEEE Micro 32, 88-99 (2012)
- Inexact Preconditioned Conjugate Gradient Method with Inner-Outer Iteration ,
- Emil M. Petriu, Lichen Zhao, Sunil R. Das, Voicu Z. Groza, Aurel Cornell Instrumentation applications of multibit random-data representation IEEE Transactions on Instrumentation and Measurement 52, 175-181 (2003)
- Introduction to the Theory of Computation ,
- Rolf Landauer Irreversibility and Heat Generation in the Computing Process 5, 183-191 (1961)
- Iterative decoding using stochastic computation ,
- Learning to learn by gradient descent by gradient descent ,
- Westley Weimer, Zachary P. Fry, Stephanie Forrest Leveraging program equivalence for adaptive program repair: Models and first results 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings , 356-366 (2013)
- Logical Reversibility of Computation ,
- Peng Li, David J. Lilja, Weikang Qian, Marc D. Riedel, Kia Bazargan Logical computation on stochastic bit streams with linear finite-state machines IEEE Transactions on Computers 63, 1474-1486 (2014)
- Logical reversibility ,
- James D. Meindl Low Power Microelectronics: Retrospect and Prospect Proceedings of the IEEE 83, 619-635 (1995)
- William C. Athas, J. Svensson, Jeffrey G. Koller, Nestoras Tzartzanis, Ying Chin Chou Low-Power Digital Systems Based on Adiabatic-Switching Principles IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2, 398-407 (1994)
- Low-density parity-check codes ,
- Vaibhav Gupta, Debabrata Mohapatra, Anand Raghunathan, Kaushik Roy Low-power digital signal processing using approximate adders IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 32, 124-137 (2013)
- Managing performance vs. accuracy trade-offs with loop perforation ,
- John Timler, Craig S. Lent Maxwell's demon and quantum-dot cellular automata Journal of Applied Physics 94, 1050-1060 (2003)
- Minimization of functions having Lipschitz-continuous first partial derivatives ,
- Minimum Description Length Induction , Bayesianism , and Kolmogorov Complexity 1 Introduction ,
- Modeling readability to improve unit tests ,
- Natively Probabilistic Computation ,
- Near Shannon limit performance of low density parity check codes ,
- Michael R. Benoit, Carolyn G. Conant, Cristian Ionescu-Zanetti, Michael Schwartz, A. Matin New device for high-throughput viability screening of flow biofilms Applied and Environmental Microbiology 76, 4136-4142 (2010)
- Amith Singhee, Rob A. Rutenbar Novel algorithms for fast statistical analysis of scaled circuits Lecture Notes in Electrical Engineering 46 LNEE, 1-191 (2009)
- Numerical Methods for Scientists and Engineers ,
- ON SIMULTANEOUS RESOURCE BOUNDS. ,
- On Non-Functional Requirements ,
- ... On Some New Families of Almost Difference Sets Constructed From Cyclotomic Classes of Order 12 ,
- Claire Kenyon, Valerie King On boolean decision trees with faulty nodes Random Structures & Algorithms 5, 453-464 (1994)
- Christos H. Papadimitriou On the complexity of the parity argument and other inefficient proofs of existence Journal of Computer and System Sciences 48, 498-532 (1994)
- On the computational power of DNA ,
- On the dynamical theory of gases ,
- René Alt, Jean Luc Lamotte, Svetoslav Markov On the solution to numerical problems using stochastic arithmetic 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN 2006, Conference Post-Proceedings , 6-13 (2006)
- Lingjia Tang, Jason Mars, Xiao Zhang, Robert Hagmann, Robert Hundt, Eric Tune Optimizing Google's warehouse scale computers: The NUMA experience Proceedings - International Symposium on High-Performance Computer Architecture , 188-197 (2013)
- Paul D. Hovland, Lois C. McInnes Parallel simulation of compressible flow using automatic differentiation and PETSc Parallel Computing 27, 503-519 (2001)
- Eckart Zitzler, Lothar Thiele, Marco Laumanns, Carlos M. Fonseca, Viviane Grunert Da Fonseca Performance assessment of multiobjective optimizers: An analysis and review IEEE Transactions on Evolutionary Computation 7, 117-132 (2003)
- Pin: building customized program analysis tools with dynamic instrumentation ,
- Polynomial time algorithms for discrete logarithms and factoring on a quantum computer ,
- Post-compiler software optimization for reducing energy ,
- Power Modeling and Characterization of Computing Devices: A Survey ,
- Power- constrained CMOS scaling limits ,
- Xin Sui, Andrew Lenharth, Donald S. Fussell, Keshav Pingali Proactive Control of Approximate Programs ACM SIGARCH Computer Architecture News 44, 607-621 (2016)
- Probabilistic Accuracy Bounds for Fault-Tolerant Computations that Discard Tasks ,
- Probabilistic CMOS Technology: A Survey and Future Directions ,
- Jacob T. Schwartz Probabilistic algorithms for verification of polynomial identities Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 72 LNCS, 200-215 (1979)
- Profile Guided Compiler Optimizations ,
- Profile guided code positioning ,
- Svilen Kanev, Juan Pablo Darago, Kim Hazelwood, Parthasarathy Ranganathan, Tipp Moseley, Gu Yeon Wei, David Brooks Profiling a Warehouse-Scale Computer IEEE Micro 36, 54-59 (2016)
- Takashi Ito, Shinji Okazaki Pushing the limits of lithography Nature 406, 1027-1031 (2000)
- Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer ,
- Richard P. Feynman Quantum mechanical computers Foundations of Physics 16, 507-531 (1986)
- Sergio T. Ribeiro Random-Pulse Machines IEEE Transactions on Electronic Computers EC-16, 261-276 (1967)
- Minakshi Sanadhya, M. Vinoth Kumar Recent Development in Efficient Adiabatic Logic Circuits and Power Analysis with CMOS Logic Procedia Computer Science 57, 1299-1307 (2015)
- Reducing Energy Consumption Using Genetic Improvement ,
- Representations and operators for improving evolutionary software repair ,
- Response of macrophyte communities to flow regulation in mountain streams ,
- ... Reverse Update: A Consistent Policy Update Scheme for Software-Defined Networking ,
- Reversibility for efficient computing ,
- Tetsuo Yokoyama Reversible Computation and Reversible Programming Languages Electronic Notes in Theoretical Computer Science 253, 71-81 (2010)
- Reversible Simulation of Irreversible Computation by Pebble Games ,
- R. C. Merkle Reversible electronic logic using switches Nanotechnology 4, 21-40 (1993)
- Klaus Jörn Lange, Pierre McKenzie, Alain Tapp Reversible space equals deterministic space Journal of Computer and System Sciences 60, 354-367 (2000)
- Yury Oleynik, Michael Gerndt, Joseph Schuchart, Per Gunnar Kjeldsberg, Wolfgang E. Nagel Run-time exploitation of application dynamism for energy-efficient exascale computing (READEX) Proceedings - IEEE 18th International Conference on Computational Science and Engineering, CSE 2015 , 347-351 (2015)
- SAGE: Self-Tuning Approximation for Graphics Engines ,
- SEEDS: a software engineer's energy-optimization decision support framework ,
- Fabio Frustaci, Mahmood Khayatzadeh, David Blaauw, Dennis Sylvester, Massimo Alioto SRAM for error-tolerant applications with dynamic energy-quality management in 28 nm CMOS IEEE Journal of Solid-State Circuits 50, 1310-1323 (2015)
- Miguel A. Ferreira, Eric Hoekstra, Bo Merkus, Bram Visser, Joost Visser Seflab: A lab for measuring software energy footprints 2013 2nd International Workshop on Green and Sustainable Software, GREENS 2013 - Proceedings , 30-37 (2013)
- Piero P. Bonissone Soft computing: the convergence of emerging reasoning technologies Soft Computing - A Fusion of Foundations, Methodologies and Applications 1, 6-18 (1997)
- Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping ,
- Shih Lien Lu Speeding up processing with approximation circuits Computer 37, 67-73 (2004)
- W. J. Poppelbaum Statistical Processors Advances in Computers 14, 187-230 (1976)
- Stochastic Implementation of LDPC Decoders ,
- Jeffrey A. Dickson, Robert D. McLeod, Howard C. Card Stochastic arithmetic implementations of neural networks with in situ learning IEEE International Conference on Neural Networks - Conference Proceedings 1993-January, 711-716 (1993)
- Stochastic circuits for real-time image-processing applications ,
- Stochastic computation ,
- Stochastic computational models for accurate reliability evaluation of logic circuits ,
- Stochastic computing ,
- Naman Saraf, Kia Bazargan, David J. Lilja, Marc D. Riedel Stochastic functions using sequential logic 2013 IEEE 31st International Conference on Computer Design, ICCD 2013 , 507-510 (2013)
- Stochastic implementation of motor controllers ,
- Bradley D. Brown, Howard C. Card Stochastic neural computation I: Computational elements IEEE Transactions on Computers 50, 891-905 (2001)
- Stochastic pluse coded arithmetic ,
- Hans Jacobson, Pradip Bose, Zhigang Hu, Alper Buyuktosunoglu, Victor Zyuban, Rick Eickemeyer, Lee Eisen, John Griswell, Doug Logan, Balaram Sinharoy, Joel Tendier Stretching the limits of clock-gating efficiency in server-class processors Proceedings - International Symposium on High-Performance Computer Architecture , 238-242 (2005)
- Warehouse-scale Machines, Luiz Barroso, Urs Hölzle The Datacenter as a Computer Morgan & Claypool Publishers (May 2009) 24, 156 (2013)
- The Datacenter as a Computer:An Introduction to the Design of Warehouse-Scale Machines ,
- The Fundamental Physical Limits of Computation ,
- Claire Le Goues, Neal Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar Devanbu, Stephanie Forrest, Westley Weimer The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs IEEE Transactions on Software Engineering 41, 1236-1256 (2015)
- The PARSEC benchmark suite: Characterization and architectural implications ,
- Sameer S. Shende, Allen D. Malony The TAU parallel performance system International Journal of High Performance Computing Applications 20, 287-311 (2006)
- Paul Benioff The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines Journal of Statistical Physics 22, 563-591 (1980)
- Peter Bauer, Alan Thorpe, Gilbert Brunet The quiet revolution of numerical weather prediction Nature 525, 47-55 (2015)
- The rendering equation ,
- Weikang Qian, Marc D. Riedel The synthesis of robust polynomial arithmetic with stochastic logic Proceedings - Design Automation Conference , 648-653 (2008)
- Charles H. Bennett The thermodynamics of computation-a review International Journal of Theoretical Physics 21, 905-940 (1982)
- Harry Buhrman, John Tromp, Paul Vitányi Time and space bounds for reversible simulation Journal of Physics A: Mathematical and General 34, 6821-6830 (2001)
- Time/Space Trade-Offs for Reversible Computation ,
- Eric Cheng, Shahrzad Mirkhani, Lukasz G. Szafaryn, Chen Yong Cher, Hyungmin Cho, Kevin Skadron, Mircea R. Stan, Klas Lilja, Jacob A. Abraham, Pradip Bose, Subhasish Mitra Tolerating Soft Errors in Processor Cores Using CLEAR (Cross-Layer Exploration for Architecting Resilience) IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37, 1839-1852 (2018)
- Alexandru Paler, Armin Alaghi, Ilia Polian, John P. Hayes Tomographic testing and validation of probabilistic circuits Proceedings - 16th IEEE European Test Symposium, ETS 2011 , 63-68 (2011)
- Saeed Sharifi Tehrani, Ali Naderi, Guy Armand Kamendje, Shie Mannor, Warren J. Gross Tracking forecast memories for stochastic decoding Journal of Signal Processing Systems 63, 117-127 (2011)
- Smita Krishnaswamy, Igor L. Markov, John P. Hayes Tracking uncertainty with probabilistic logic circuit testing IEEE Design and Test of Computers 24, 312-321 (2007)
- Weikang Qian, Marc D. Riedel, Hongchao Zhou, Jehoshua Bruck Transforming probabilities with combinational logic IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 30, 1279-1292 (2011)
- Zhixi Yang, Jie Han, Fabrizio Lombardi Transmission gate-based approximate adders for inexact computing Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2015 , 145-150 (2015)
- R. Clausius Ueber die bewegende Kraft der Wärme und die Gesetze, welche sich daraus für die Wärmelehre selbst ableiten lassen Annalen der Physik 155, 368-397 (1850)
- Ludwig Boltzmann Ueber die mechanischen Analogien des zweiten Hauptsatzes der Thermodynamik Journal fur die Reine und Angewandte Mathematik 1887, 201-212 (1887)
- Ultra low-energy computing via probabilistic algorithms and devices: CMOS device primitives and the energy-probability relationship ,
- Uncertain: A First-Order Type for Uncertain Data ,
- Understanding Energy Behaviors of Thread Management Constructs ,
- Weikang Qian, Marc D. Riedel, Ivo Rosenberg Uniform approximation and Bernstein polynomials with coefficients in the unit interval European Journal of Combinatorics 32, 448-463 (2011)
- Using Early Phase Termination to Eliminate Load Imbalances at Barrier Synchronization Points ,
- Pohua P. Chang, Scott A. Mahlke, Wen‐Mei W. Hwu Using profile information to assist classic code optimizations Software: Practice and Experience 21, 1301-1321 (1991)
- Yesterday, my program worked. Today, it does not. Why? ,