Synthèse logiqueEn électronique, la synthèse logique (RTL synthesis) est la traduction d'une forme abstraite de description du comportement d'un circuit (voir Register Transfer Level) en sa réalisation concrète sous forme de portes logiques. Le point de départ peut être un langage de description de matériel comme VHDL ou Verilog, un schéma logique du circuit. D'autres sources sont venues s'additionner depuis les années 2010, comme l'utilisation de la programmation en OpenCL. Le point d'arrivée peut être un code objet pour un CPLD ou FPGA ou la création d'un ASIC.
Idiome de programmationEn programmation informatique, un idiome ou patron d'implémentation est un moyen standard d'exprimer une construction courante dans un ou plusieurs langages de programmation. Un idiome peut exprimer une tâche simple, un algorithme, ou une structure de données qui peuvent faire partie ou non des fonctionnalités intégrées au langage. Le patron d'implémentation propose une solution propre à un langage pour des détails d'implémentation tandis que le patron de conception propose une solution générale à un problème récurrent dans la conception de logiciels.
Langage graphiquevignette|Script du programme "Hello, world!" dans le langage de programmation graphique Scratch Un langage de programmation graphique ou visuel est un langage de programmation dans lequel les programmes sont écrits par assemblage d'éléments graphiques. Sa syntaxe concrète est composée de symboles graphiques et de textes, qui sont disposés spatialement pour former des programmes. De nombreux langages visuels se basent sur les notions « de boîtes et de flèches » : les boîtes (ou d'autres d'objets) sont traitées comme des entités, reliées par des flèches ou des lignes qui représentent des relations.
Procédure civileLa procédure civile est l'ensemble des règles relatives à l'organisation d'une action en justice devant une juridiction civile. Elle s'entend aussi de toutes les démarches à entreprendre pour saisir une juridiction civile. La procédure civile est en général régie par un . Il existe différents principes procéduraux s'opposant : Maxime des débats : chaque partie est obligée de prouver les faits qu'elle avance et les parties maîtrisent l'objet du litige ; Maxime inquisitoire : les faits et les preuves sont établis par le juge, qui a ainsi une certaine maîtrise sur la définition du litige.
Langage de scriptUn langage de script est un langage de programmation interprété qui permet de manipuler les fonctionnalités d'un système informatique configuré pour fournir à l'interpréteur de ce langage un environnement et une interface qui déterminent les possibilités de celui-ci. Le langage de script peut alors s'affranchir des contraintes des commandes de bas niveau — prises en charge par l'intermédiaire de l'interface — et bénéficier d'une syntaxe de haut niveau.
Code cycliqueEn mathématiques et en informatique, un code cyclique est un code correcteur linéaire. Ce type de code possède non seulement la capacité de détecter les erreurs, mais aussi de les corriger sous réserve d'altérations modérées. Les mathématiques sous-jacentes se fondent sur la théorie des corps finis, et en particulier les extensions de Galois ainsi que les polynômes. Les codes cycliques, encore appelés contrôles de redondance cyclique (CRC), correspondent à une large famille de codes, on peut citer par exemple le code de Hamming, les codes BCH ou le code de Reed-Solomon.
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.
Code (information)vignette|redresse|Code morse international. En sciences et techniques, notamment en informatique et en théorie de l'information, un code est une règle de transcription qui, à tout symbole d'un jeu de caractères (alphabet source) assigne de manière univoque un caractère ou une chaîne de caractères pris dans un jeu de caractères éventuellement différent (alphabet cible). Un exemple est le code morse qui établit une relation entre lettres de l'alphabet latin et des séquences de sons courts et longs.
Tableau (structure de données)En informatique, un tableau est une structure de données représentant une séquence finie d'éléments auxquels on peut accéder efficacement par leur position, ou indice, dans la séquence. C'est un type de conteneur que l'on retrouve dans un grand nombre de langages de programmation. Dans les langages à typage statique (comme C, Java et OCaml), tous les éléments d’un tableau doivent être du même type. Certains langages à typage dynamique (tels APL et Python) permettent des tableaux hétérogènes.
Synthèse en phase solideLa synthèse en phase solide, appelée parfois synthèse supportée sur phase solide, est une méthode de synthèse chimique utilisée notamment pour la synthèse de peptides. Elle a été inventée par Robert Bruce Merrifield dans les années 1950-60, ce qui lui a valu d'obtenir le prix Nobel de chimie 1984. Le principe de la synthèse en phase solide repose sur l'utilisation d'une matrice solide à laquelle on vient lier de façon chimique les molécules que l'on souhaite faire réagir, par l'utilisation notamment de liaisons covalentes.
