Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
MacOSmacOS (auparavant Mac OS X – , puis OS X) est un système d’exploitation partiellement propriétaire développé et commercialisé par Apple depuis , dont la version la plus récente est macOS Ventura () pour la version actuelle lancée le 24 octobre 2022 et macOS Monterey (12) lancée le 25 octobre 2021 pour le grand public. Avec iOS, iPadOS, watchOS et tvOS, il fait partie des systèmes d'exploitation d'Apple. macOS est le successeur de Mac OS Classic, la principale série des systèmes d'exploitation d'Apple depuis .
High-level synthesisHigh-level synthesis (HLS), sometimes referred to as C synthesis, electronic system-level (ESL) synthesis, algorithmic synthesis, or behavioral synthesis, is an automated design process that takes an abstract behavioral specification of a digital system and finds a register-transfer level structure that realizes the given behavior. Synthesis begins with a high-level specification of the problem, where behavior is generally decoupled from low-level circuit mechanics such as clock-level timing.
Partage de fichiers en pair-à-pairUn partage de fichiers en pair-à-pair (en anglais peer-to-peer - P2P) est un réseau informatique logiciel, destiné à partager des fichiers entre plusieurs ordinateurs interconnectés par Internet, chaque internaute pouvant être serveur et client d’un autre internaute. Ils forment ainsi des « pairs ». L'avantage technique essentiel du système par rapport à un chargement centralisé est le suivant : plus un contenu a de demandeurs sur un serveur central, plus celui-ci est encombré.
Palm OSPalm OS (aussi connu sous le nom de Garnet OS) est un système d'exploitation embarqué développé initialement par U.S. Robotics Corp., propriétaire de la société Palm Computing, Inc. à partir de 1995, pour des PDA (assistants personnels numériques) en 1996. L'interface utilisateur graphique de Palm OS est prévue pour être utilisée avec un écran tactile. Il est fourni avec une suite d'applications de base pour gestionnaire d'informations personnelles. Plus tard les versions de cet OS ont été améliorées pour fonctionner sur des Smartphones.
Mac OS 8Mac OS 8 est le nom donné à la huitième révision majeure du système d'exploitation des ordinateurs Macintosh de la marque Apple. Pour la première fois il est nommé « Mac OS » (pour Macintosh Operating System), bien plus attrayant que les précédentes dénominations « Système » (ex. : Système 7). Apple ayant en effet décidé de rattraper les erreurs du Système 7 (à savoir : bugs à répétition avec les mises à jour 7.5, matériel non ou mal pris en charge, ...) en faisant disparaître tout ce qui avait trait à son prédécesseur.
Client-serveurLe protocole ou environnement client–serveur désigne un mode de transmission d'information (souvent à travers un réseau) entre plusieurs programmes ou processus : l'un, qualifié de client, envoie des requêtes ; l'autre, qualifié de serveur, attend les requêtes des clients et y répond. Le serveur offre ici un service au client. Par extension, le client désigne souvent l'ordinateur sur lequel est exécuté le logiciel client, et le serveur, l'ordinateur sur lequel est exécuté le logiciel serveur.
Strong and weak typingIn computer programming, one of the many ways that programming languages are colloquially classified is whether the language's type system makes it strongly typed or weakly typed (loosely typed). However, there is no precise technical definition of what the terms mean and different authors disagree about the implied meaning of the terms and the relative rankings of the "strength" of the type systems of mainstream programming languages.
Prêt entre particuliersLe prêt entre particuliers, également crédit communautaire (en anglais peer-to-peer lending, P2P lending ou parfois aussi social lending) est une activité financière qui consiste en des prêts d'argent entre particuliers, sous la forme de remise de fonds avec engagement de remboursement. Ce système proche de celui du microcrédit développé par Muhammad Yunus, prix Nobel de la paix, a pour but de permettre à toute personne désireuse de prêter ou d’emprunter de le faire directement entre particuliers, avec ou sans intermédiaires bancaires.
P-code machineIn computer programming, a p-code machine (portable code machine) is a virtual machine designed to execute p-code (the assembly language or machine code of a hypothetical central processing unit (CPU)). This term is applied both generically to all such machines (such as the Java virtual machine (JVM) and MATLAB precompiled code), and to specific implementations, the most famous being the p-Machine of the Pascal-P system, particularly the UCSD Pascal implementation, among whose developers, the p in p-code was construed to mean pseudo more often than portable, thus pseudo-code meaning instructions for a pseudo-machine.
