Concept

Erreur off-by-one

An off-by-one error or off-by-one bug (known by acronyms OBOE, OBO, OB1 and OBOB) is a logic error that involves a numerical value incorrectly bigger or smaller by one. It often occurs in computer programming when a loop iterates one time too many or too few. Such problem arises, for instance, when a programmer writes non-strict inequality (≤) in a terminating condition where strict inequality (

Source officielle

https://fr.wikipedia.org/wiki/Erreur_off-by-one

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Séances de cours associées (9)

Pointeurs et tableaux: Comprendre la taille en C

Explique la taille de l'opérateur en C, en se concentrant sur son utilisation avec des pointeurs et des tableaux, et met en évidence les pièges et les erreurs courants dans son application.

Pointeur Arithmétique: Comprendre la gestion de la mémoire en C

Explique l'arithmétique du pointeur en C, en se concentrant sur la manipulation de la mémoire et les pièges courants.

Opérations courantes d'array en Java

Couvre les opérations de tableau courant en Java, y compris l'affichage, l' itération, l'accès et la détermination de la taille du tableau.

Afficher plus

Publications associées (1)

On Verified Scala for STIX File System Embedded Code using Stainless

We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification system to formally prove properties of such Scala program, and 2) a source-to-source translator to map Scala to C code. We have adapted the Stainless verification system to support constructs for describing embedded software (more machine integer types and

2022

Concepts associés (1)

Array (data type)

In computer science, array is a data type that represents a collection of elements (values or variables), each selected by one or more indices (identifying keys) that can be computed at run time during program execution. Such a collection is usually called an array variable or array value. By analogy with the mathematical concepts vector and matrix, array types with one and two indices are often called vector type and matrix type, respectively. More generally, a multidimensional array type can be called a tensor type, by analogy with the physical concept, tensor.

Graph Chat

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.

Source officielle

https://fr.wikipedia.org/wiki/Erreur_off-by-one

À propos de ce résultat

Séances de cours associées (9)

Pointeurs et tableaux: Comprendre la taille en C

Explique la taille de l'opérateur en C, en se concentrant sur son utilisation avec des pointeurs et des tableaux, et met en évidence les pièges et les erreurs courants dans son application.

Pointeur Arithmétique: Comprendre la gestion de la mémoire en C

Explique l'arithmétique du pointeur en C, en se concentrant sur la manipulation de la mémoire et les pièges courants.

Opérations courantes d'array en Java

Couvre les opérations de tableau courant en Java, y compris l'affichage, l' itération, l'accès et la détermination de la taille du tableau.

Afficher plus

Publications associées (1)

On Verified Scala for STIX File System Embedded Code using Stainless

2022

Concepts associés (1)

Array (data type)

Notebooks associés (9)

Designing FIR Filters Using the Parks-McClellan Algorithm

The Parks-McClellan Filter Design Method[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

The Parks-McClellan (PM) algorithm is a clever application of advanced polynomial fitting techniques to the problem of FIR filter design. In this notebook we will explore the key ideas behind the method by considering the design of a simple Type-I lowpass filter. NOTE: This notebook uses interactive widgets. If the interactive controls do not work or show up, please fo

Calculation and plotting of some important quantities relative to the electron s properties in a conventional TEM

::: {role="main"} ::: {.jp-Cell .jp-MarkdownCell .jp-Notebook-cell} ::: {.jp-Cell-inputWrapper tabindex="0"} ::: {.jp-Collapser .jp-InputCollapser .jp-Cell-inputCollapser} ::: ::: {.jp-InputArea .jp-Cell-inputArea} ::: {.jp-InputPrompt .jp-InputArea-prompt} ::: ::: {.jp-RenderedHTMLCommon .jp-RenderedMarkdown .jp-MarkdownOutput mime-type="text/markdown"} A typical TEM works with acceleration voltages between 80 and 300 kV ::: ::: ::: ::: ::: {.jp-Cell .jp-CodeCell .jp-Notebook-cell .jp-mod-noOutputs} ::

Modeling and Analysis of a PN-Junction in Inhomogeneous Semiconductors.

In [1]: import matplotlib.pyplot as plt import matplotlib.ticker as mtick import numpy as np import ipywidgets as widgets import scipy.integrate as integrate from ipywidgets import interact, fixed from scipy.interpolate import interp1d from textwrap import dedent from bokeh.io import push_notebook, show, output_notebook, output_file, curdoc from bokeh.plotting import figure from bokeh.layouts import column, row from bokeh.themes import built_in_themes from bokeh.models import Range1d, BasicTickFormatter, L

Tight-Binding Approximation for 2D Lattices: Square, Triangular, Lieb, and Honeycomb

In [1]: import numpy as np import matplotlib.pyplot as plt

from future import print_function

from ipywidgets import interact, interactive, fixed, interact_manual import ipywidgets as widgets %matplotlib inline In [2]: def band(nkl,kpoints,ham): :param k: wave number nk=32 # Define the position of the original lattice #klines=np.zeros((nkl-1,nk)) n=0 d=np.size(ham([0.0,0.0]),1) evk=np.zeros((nknkl-nk-1,d)) lenk=np.zeros((nknkl-nk-1,d)) for i in range(0,nkl-1)

Band Structure Investigation of Monolayer and Bilayer Graphene Using the Tight Binding Model

In [1]: import matplotlib.pyplot as plt import numpy as np from mpl_toolkits import mplot3d import itertools %matplotlib widget Band Structure of Mono and Bilayer Graphene[1]¶ If you have questions about this notebook, e-mail Oleg Malanyuk (oleg.malanyuk@epfl.ch) The purpose of this notebook is to investigate the band model of Mono and Bilayer graphene modeled with tight binding model. Tight binding model for monolayer graphene[2]¶ Monolayer graphene is a sheet of carbons aranged in a he

Afficher plus

Notebooks associés (9)

Designing FIR Filters Using the Parks-McClellan Algorithm

The Parks-McClellan Filter Design Method[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

Calculation and plotting of some important quantities relative to the electron s properties in a conventional TEM

Modeling and Analysis of a PN-Junction in Inhomogeneous Semiconductors.

Tight-Binding Approximation for 2D Lattices: Square, Triangular, Lieb, and Honeycomb

In [1]: import numpy as np import matplotlib.pyplot as plt

from future import print_function

Band Structure Investigation of Monolayer and Bilayer Graphene Using the Tight Binding Model

Afficher plus