Augmenting Expensive Functions in Macsyma with Lookup Tables

Abstract

Tabulating the corresponding inputs and outputs to computer function reduces recomputation to a simple table lookup. This idea has been used by the symbolic algebra systems Maple and SMP, but to a much lesser degree in Macsyma. The authors report on some experiments which test this idea for certain critical functions in Macsyma. Although the idea holds some promise, some alleged performance improvements may merely represent redistribution of accounting costs. In many cases performance was degraded. This report explains why. Keywords: Computer program verification.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 27, 1987
Accession Number
ADA197643

Entities

People

  • Carl G. Ponder
  • Richard J. Fateman
  • S. L. Graham

Organizations

  • University of California, Berkeley

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Applied Mathematics
  • California
  • Classification
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Databases
  • Hash Tables
  • Numbers
  • Real Numbers
  • Security
  • Side Effects
  • System Software

Readers

  • Calculus or Mathematical Analysis
  • Parallel and Distributed Computing.
  • Systems Analysis and Design