Dépassement d'entier

vignette|Le vol 501 d'Ariane 5 en 1996 s'est soldé par sa destruction en raison d'un dépassement d'entier. Un dépassement d'entier (integer overflow) est, en informatique, une condition qui se produit lorsqu'une opération mathématique produit une valeur numérique supérieure à celle représentable dans l'espace de stockage disponible. Par exemple, l'ajout d'une unité au plus grand nombre pouvant être représenté entraîne un dépassement d'entier. Le dépassement d'entier porte le numéro CWE-190 dans la nomenclature Common Weakness Enumeration. Le dépassement d'entier le plus célèbre de ces dernières années est très probablement celui qui causa la destruction de la fusée Ariane 5, lors de son vol inaugural, le . Origine Le nombre de bits d'un espace de stockage détermine la valeur maximale qui peut y être représentée. Les nombres de bits des espaces de stockage les plus courants et les valeurs maximales associées sont : : 8 bits : valeur maximum représentable = 28 - 1 = 255 ;

À 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.

Publications associées (9)

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés (37)

Concepts associés

Chargement

Cours associés (22)

Cours associés

Chargement

Séances de cours associées (35)

Séances de cours associées

Chargement

Constructive Training Methods for Feedforward Neural Networks with Binary Weights

Frédéric Aviolat

Quantization of the parameters of a Perceptron is a central problem in hardware implementation of neural networks using a numerical technology. A neural model with each weight limited to a small integer range will require little surface of silicon. Moreover, according to Occam's razor principle, better generalization abilities can be expected from a simpler computational model. The price to pay for these benefits lies in the difficulty to train these kind of networks. This paper proposes essentially two new ideas for constructive training algorithms, and demonstrates their efficiency for the generation of feedforward networks composed of Boolean threshold gates with discrete weights. A proof of the convergence of these algorithms is given. Some numerical experiments have been carried out and the results are presented in terms of the size of the generated networks and of their generalization abilities.

1996

Chargement

A low power 2.4 GHz front end with MEMS lattice based channel filtering at RF

Christian Enz, Aravind Prasad Heragu Singaiyengar

In this work, a sub sampling receiver front end at 2.4 GHz with high Q filtering to perform channel selection at RF is presented. A low power solution for channel selection directly at RF is proposed in this work using pseudo-self-biased inverter amplifier with a BAW resonator lattice as a load to realize high selectivity. This work focusses on the Bluetooth LE standard, however the front-end can be used for any protocol standards for radios working at 2.4 GHz. A low power BAW based digitally controlled oscillator (DCO) is used as a reference to a LC PLL to perform channel selection. An integer divided version of the BAW DCO signal is used as clock for the sub-sampler to down-convert the selected channel from super-high IF to baseband in quadrature. The proposed architecture is designed in 0.18μm CMOS process and validated using ELDO-RF simulations. © 2012 IEEE.

2012

Chargement

Attacks on the birational permutation signature schemes

Jacques Stern, Serge Vaudenay

Shamir (1993) presented a family of cryptographic signature schemes based on birational permutations of the integers modulo a large integer N of unknown factorization. These schemes are attractive because of the low computational requirements, both for signature generation and signature verification. However, the two schemes presented in Shamir's paper are weak. We show how to break the first scheme, by first reducing it algebraically to the earlier Ong-Schnorr-Shamir signature scheme (1984), and then applying the Pollard (1987) solution to that scheme. We then show some attacks on the second scheme. These attacks give ideas which can be applied to schemes in this general family

1993

Chargement

Entier (informatique)

En informatique, un entier est un type de donnée qui représente un sous-ensemble fini de nombres entiers relatifs. On utilise aussi le terme type de données entières (integral type data). Un type de

Bug (informatique)

vignette|upright=1|Le Mac triste : écran indiquant un code erreur sur les premières versions du MacIntosh d'Apple. En informatique, un bug (prononcé en français : ) ou bogue est un défaut de concepti

Arithmétique multiprécision

L'arithmétique multiprécision désigne l'ensemble des techniques mises en œuvre pour manipuler dans un programme informatique des nombres (entiers, rationnels, ou flottants principalement) de taille ar

CS-108: Practice of object-oriented programming

Les étudiants perfectionnent leurs connaissances en Java et les mettent en pratique en réalisant un projet de taille conséquente. Ils apprennent à utiliser et à mettre en œuvre les principaux types de collections (listes, ensembles, tables associatives), et examinent quelques patrons de conception.

EE-336: Electronic circuits and systems

Ce cours présente l'analyse et la conception des circuits et systèmes électroniques sous forme discrète et intégrée. L'accent est mis sur les applications dans le domaine des télécommunications.

COM-301: Computer security

This is an introductory course to computer security and privacy. Its goal is to provide students with means to reason about security and privacy problems, and provide them with tools to confront them.