Préfixe binaire

Les préfixes binaires sont souvent utilisés lorsqu’on a affaire à de grandes quantités d’octets. Ils sont dérivés, tout en étant différents, des préfixes du Système international d'unités (kilo-, méga-, giga- et ainsi de suite). La raison d’être de ces préfixes binaires est d’éviter la confusion de valeur avec les préfixes SI. Du fait que les capacités de mémoires d’ordinateurs sont des puissances de deux ou des multiples de telles puissances, l’utilisation de puissances de = 210 comme préfixes pour de telles capacités et, de façon dérivée, pour toutes les tailles de programmes et de supports informatiques, est venue naturellement aux informaticiens. Le problème est que les premiers informaticiens n’ont pas éprouvé le besoin d’inventer de nouveaux préfixes ; ils ont simplement utilisé les préfixes SI en changeant légèrement leur valeur (par exemple kilo → au lieu de . L’habitude en est ensuite restée. Si l’erreur ainsi faite est faible pour les premières capacités mémoires qui s’

À 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 (1)

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés (32)

Concepts associés

Chargement

Cours associés (3)

Cours associés

Chargement

Séances de cours associées (4)

Séances de cours associées

Chargement

Abstractions for Type-Level Programming

Olivier Eric Paul Blanvillain

Over the past decade, the Scala community has shown great interest in using type-level programming to obtain additional type safety.Unfortunately, the lack of support from the Scala compiler has been a barrier to the adoption of that technique, notably due to its negative impact on compilation times.In this thesis, we present three techniques for type-level programming in Scala.First, we explain the status quo, implicits, and show how we can divert them from their intended use to write ad hoc type-level programs.Second, we propose a generalization of Scala's singleton types, which adds the ability to manipulate term-level programs at the type level.Third, we introduce match types, a type-level equivalent of pattern matching, which we implemented in the Scala~3 compiler.Throughout this dissertation, we demonstrate the practicality of our newly introduced techniques, by the means of case studies and examples.Our performance evaluation shows that our new techniques outperform the status quo in terms of binary sizes and compilation times.

EPFL2022

Chargement

Byte

Le byte (prononcé ), ou multiplet en français, est la plus petite unité « logiquement » adressable par un programme sur un ordinateur. Aujourd’hui, le besoin d'une structure commune pour le partage

Préfixes du Système international d'unités

Les préfixes du Système international d'unités simplifient la manipulation des valeurs numériques de grandeurs physiques qui sont beaucoup plus petites ou beaucoup plus grandes que l'unité du Système

Data-rate units

In telecommunications, data-transfer rate is the average number of bits (bitrate), characters or symbols (baudrate), or data blocks per unit time passing through a communication link in a data-trans

COM-406: Foundations of Data Science

We discuss a set of topics that are important for the understanding of modern data science but that are typically not taught in an introductory ML course. In particular we discuss fundamental ideas and techniques that come from probability, information theory as well as signal processing.

CS-550: Formal verification

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and the practice behind them.

COM-404: Information theory and coding

The mathematical principles of communication that govern the compression and transmission of data and the design of efficient methods of doing so.