Publication

On Sound Compilation of Reals

Publications associées (41)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

On Sound Compilation of Reals

Graph Chatbot

Chattez avec Graph Search

Inexact accurate partitioned algorithms for fluid-structure interaction problems with finite elasticity in haemodynamics

Pipelined Numerical Integration on Reduced Accuracy Architectures for Power System Transient Simulations

Verification methodology for plasma simulations and application to a scrape-off layer turbulence code

Verification methodology for plasma simulations and application to a scrape-off layer turbulence code

An alternate point-wise scheme for Electric Field Integral Equations

On the Generation of Precise Fixed-Point Expressions

Synthesis of Fixed-Point Programs

Polar Codes: Robustness of the Successive Cancellation Decoder with Respect to Quantization

Certifying Solutions for Numerical Constraints

On the Automatic Computation of Error Bounds for Solutions of Nonlinear Equations

Verification methodology for plasma simulations and application to a scrape-off layer turbulence code

Inexact accurate partitioned algorithms for fluid-structure interaction problems with finite elasticity in haemodynamics

Polar Codes: Robustness of the Successive Cancellation Decoder with Respect to Quantization

An alternate point-wise scheme for Electric Field Integral Equations

Pipelined Numerical Integration on Reduced Accuracy Architectures for Power System Transient Simulations

Verification methodology for plasma simulations and application to a scrape-off layer turbulence code

On the Generation of Precise Fixed-Point Expressions

Certifying Solutions for Numerical Constraints

Synthesis of Fixed-Point Programs

On the Automatic Computation of Error Bounds for Solutions of Nonlinear Equations