Application of Symbolic Approach to the Bernstein Expansion for Program Analysis and Optimization

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Programming and computer software

• Publication date

  2004-05-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1023/B:PACS.0000029581.97227.42
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• CoST: Contrastive Learning of Disentangled Seasonal-Trend Representations for Time Series Forecasting

  2022cited by this paper
• Robust arithmetic for multivariate Bernstein-form polynomials

  2000cited by this paper
• Application of Bernstein Expansion to the Solution of Control Problems

  2000cited by this paper
• Cache-conscious structure layout

  1999cited by this paper
• Dynamically discovering likely program invariants to support program evolution

  1999cited by this paper
• Nonlinear and Symbolic Data Dependence Testing

  1998cited by this paper
• The Data Parallel Programming Model

  1996cited by this paper
• The Data Parallel Programming Model

  1996cited by this paper
• Simplifying Polynominal Constraints Over Integers to Make Dependence Analysis More Precise

  1994cited by this paper

• Bounding the Range of a Sum of Multivariate Rational Functions

  2023cites this paper
• Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two Polynomials

  2020cites this paper
• Parameter synthesis for polynomial biological models

  2014cites this paper
• Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion

  2012cites this paper
• Analysis of parametric biological models with non-linear dynamics

  2012cites this paper
• Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion

  2009cites this paper