TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 CONT

A model checker is a piece of software that exhaustively checks if the system satisfies [a given] property by visiting each relevant state of the system model.  3, record 1, English, - model%20checker

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 DEF

Dispositif permettant l'exploration d'un modèle.  1, record 1, French, - explorateur%20de%20mod%C3%A8le

Record number: 1, Textual support number: 1 OBS

explorateur de modèle : terme et définition publiés au Journal officiel de la République française le 1er janvier 2013.  2, record 1, French, - explorateur%20de%20mod%C3%A8le

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 DEF

A type of slip-resistant floor plate with a distinctive raised pattern that is used for walkways and platforms.  7, record 2, English, - checkered%20plate

Record number: 2, Textual support number: 1 CONT

Checkered plate, also known as chequer plate or tread plate, is a type of metal sheet with a regular pattern of raised diamonds/rhombus or raised lines on one side, with the opposite side being blank and flat. The texture on the checker metal sheet provides traction on the surface, which makes it ideal for no-slip walkways, ramps and stairs.  4, record 2, English, - checkered%20plate

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 CONT

La tôle larmée en acier a de multiples applications telles que la fabrication de planchers antidérapants, de marches d'escaliers ou passerelles, passages inclinés, et tout autre domaine d'activité propre à la décoration de bâtiments ou wagons, à la ferronnerie comme la réalisation de garde-corps.  4, record 2, French, - t%C3%B4le%20gaufr%C3%A9e

Record number: 2, Textual support number: 2 CONT

La tôle larmée (aussi appelée tôle striée) correspond à un type de tôle dans laquelle sont incrustés des motifs en forme de damiers ou de larmes. Ces motifs recouvrent 20 à 30 % de la surface et vont apporter à la tôle des propriétés antidérapantes quel que soit le milieu où celle-ci sera installée (environnement humide, gras, sec).  5, record 2, French, - t%C3%B4le%20gaufr%C3%A9e

Record 2,  Textual support,  Spanish

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 CONT

Apart from procedural advice on how to fight the virus problem, the book also contains the source code of two anti-virus programs : a pattern checker... and a fingerprinting program... Both are written in "C"... and can be used as practical anti-virus tools.  3, record 4, English, - antivirus%20tool

Record number: 4, Textual support number: 1 OBS

A generic name for any of the physical means employed in the fight against computer viruses.  4, record 4, English, - antivirus%20tool

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 CONT

Outre les conseils concernant la lutte contre les virus, cet ouvrage contient le code source de deux programmes antivirus: un vérificateur de configuration [...] et un programme «empreintes digitales» [...] Tous deux sont écrits en langage «C» [...] et peuvent être utilisés efficacement comme outils antivirus.  2, record 4, French, - outil%20antivirus

Record number: 4, Textual support number: 1 OBS

Terme générique regroupant tous les moyens concrets utilisés dans la lutte antivirus.  3, record 4, French, - outil%20antivirus

Record 4,  Textual support,  Spanish

Record 5,  Textual support,  English

Record number: 5, Textual support number: 1 CONT

A drawing checker is an algorithm that receives as input a geometric structure and a predicate stating a property that should hold for the structure. The task of the checker is to verify whether the structure satisfies or not the given property. … Checking is especially relevant in the graph drawing context.  1, record 5, English, - drawing%20checker

Record 5,  Textual support,  French

Record number: 5, Textual support number: 1 CONT

Au niveau le plus bas, il s'agit de dessiner les transistors pour créer des portes logiques, en respectant les règles de dessin imposées par la technologie (succession de photolithogravures). Les outils utilisés sont des éditeurs graphiques, ou des éditeurs symboliques (qui font des tassements automatiques), des vérificateurs de dessins (qui contrôlent que les règles technologiques sont respectées), des extracteurs (qui déduisent la fonction logique à partir du dessin), des simulateurs électriques (qui utilisent des modèles physiques des transistors pour simuler et vérifier le fonctionnement logique).  1, record 5, French, - v%C3%A9rificateur%20de%20dessins

Record 5,  Textual support,  Spanish

Record 6,  Textual support,  English

Record number: 6, Textual support number: 1 DEF

Software that proofreads by comparing each word in a text file to a dictionary, then marks and/or indicates misspelled words.  8, record 6, English, - spelling%20checker

Record number: 6, Textual support number: 1 CONT

On finding a word not known to it the spelling checker may suggest alternative spellings and ask if the word is to be added to the dictionary. Spelling checkers cannot of course detect errors that are themselves valid words, while their attempts to find alternatives to proper names can be distinctly amusing.  9, record 6, English, - spelling%20checker

Record number: 6, Textual support number: 1 OBS

Not to be confused with the spelling dictionary against which the spellchecker checks the spelling of words.  10, record 6, English, - spelling%20checker

Record number: 6, Textual support number: 2 OBS

spelling checker; spellchecker : terms standardized by ISO and CSA.  11, record 6, English, - spelling%20checker

Record 6,  Textual support,  French

Record number: 6, Textual support number: 1 DEF

Programme de correction orthographique, possédant un fichier dictionnaire de base, auquel s'ajoutent d'éventuels lexiques définis par l'utilisateur.  8, record 6, French, - v%C3%A9rificateur%20d%27orthographe

Record number: 6, Textual support number: 1 OBS

Il présente l'avantage, en cas d'erreur détectée, de proposer des solutions de substitution. Il devient rapidement indispensable à tout utilisateur de traitement de texte.  8, record 6, French, - v%C3%A9rificateur%20d%27orthographe

Record number: 6, Textual support number: 2 OBS

Ne pas confondre avec le dictionnaire orthographique déjà en mémoire.  9, record 6, French, - v%C3%A9rificateur%20d%27orthographe

Record number: 6, Textual support number: 3 OBS

vérificateur d'orthographe; logiciel vérificateur d'orthographe : termes normalisés par l'ISO et la CSA.  10, record 6, French, - v%C3%A9rificateur%20d%27orthographe

Record 6,  Textual support,  Spanish

Record number: 6, Textual support number: 1 DEF

Programa informático integrado en un sistema de tratamiento de textos que permite identificar y corregir los errores ortográficos.  1, record 6, Spanish, - corrector%20ortogr%C3%A1fico

Record 7,  Textual support,  English

Record number: 7, Textual support number: 1 CONT

Nikon F2 [...] battery checker.  1, record 7, English, - battery%20checker

Record 7,  Textual support,  French

Record number: 7, Textual support number: 1 CONT

Nikon F2 [...] 1. testeur de piles du Photomic.  1, record 7, French, - testeur%20de%20piles

Record 7,  Textual support,  Spanish

Record 8,  Textual support,  English

Record number: 8, Textual support number: 1 CONT

Even though there is no set policy when it comes to meal charges and meal checking, there is a set structure involved in charging people. This structure begins with the hiring of the meal checker, whose job description reads that they "... must monitor food line at meals in Dining Hall, check students on meal plan and bonafide guests. Receive payments from others. Maintain record of cash sales and turn in cash receipt. Keep count of meals served. "  1, record 8, English, - meal%20checker

Record 8,  Textual support,  French

Record 8,  Textual support,  Spanish

Record 9,  Textual support,  English

Record number: 9, Textual support number: 1 OBS

WhiteSmoke is the most comprehensive grammar checker in the world today. While it comprises several writing tools, such as a dictionary, a thesaurus and ready-made letter templates, its core feature is its advanced grammar checker.  1, record 9, English, - WhiteSmoke

Record 9,  Textual support,  French

Record 9,  Textual support,  Spanish

Record 10,  Textual support,  English

Record number: 10, Textual support number: 1 CONT

Chamber checker. This tough yellow plastic flag slips into the chamber. Close the bolt on it, and it clearly shows your rifle's range-safe status(shown separately and installed).  1, record 10, English, - chamber%20checker

Record 10,  Textual support,  French

Record number: 10, Textual support number: 1 OBS

Source : Gendarmerie royale du Canada.  1, record 10, French, - bloque%2Dculasse

Record 10,  Textual support,  Spanish

Record 14,  Textual support,  English

Record number: 14, Textual support number: 1 OBS

Not to be confused with the spelling checker which designates software that proofreads text by checking the accuracy of each word against the spellings of a spelling dictionary held in memory.  2, record 14, English, - spelling%20dictionary

Record 14,  Textual support,  French

Record number: 14, Textual support number: 1 OBS

Ne pas confondre avec le correcteur d'orthographe qui est un logiciel de relecture vérifiant l'orthographe d'un texte saisi dans le dictionnaire orthographique déjà en mémoire.  2, record 14, French, - dictionnaire%20orthographique

Record 14,  Textual support,  Spanish

Record 15,  Textual support,  English

Record number: 15, Textual support number: 1 OBS

Rules/refereeing.  3, record 15, English, - controller

Record number: 15, Textual support number: 2 OBS

"Controller" and "checker" are both terms used in cycling, while "checker" is used in equestrian sports and "controller" is used in gymnastics and other sports.  4, record 15, English, - controller

Record 15,  Textual support,  French

Record number: 15, Textual support number: 1 OBS

Règlements/arbitrage.  1, record 15, French, - contr%C3%B4leur

Record number: 15, Textual support number: 2 OBS

Les termes «contrôleur» et «contrôleuse» s'utilisent dans la gymnastique et les autres sports tandis que «vérificateur» et «vérificatrice» s'emploient pour les sports équestres.  4, record 15, French, - contr%C3%B4leur

Record 15,  Textual support,  Spanish

Record number: 15, Textual support number: 1 OBS

"Inspector" se emplea para el ciclismo.  2, record 15, Spanish, - controlador

Record 16,  Textual support,  English

Record number: 16, Textual support number: 1 CONT

Passwd+ is a proactive password checker.  1, record 16, English, - proactive%20password%20checker

Record 16,  Textual support,  French

Record number: 16, Textual support number: 1 CONT

Passwd+ est un vérificateur de mots de passe proactif.  1, record 16, French, - v%C3%A9rificateur%20de%20mots%20de%20passe%20proactif

Record 16,  Textual support,  Spanish

Record 17,  Textual support,  English

Record number: 17, Textual support number: 1 CONT

Passwd+ is a proactive password checker. Passwd+ provides enhanced logging and audit capabilities. Passwd+ is a replacement for the passwd program on UNIX systems. Passwd+ prevents users from selecting weak passwords.  1, record 17, English, - Passwd

Record 17,  Textual support,  French

Record number: 17, Textual support number: 1 CONT

Passwd+ est un vérificateur de mots de passe proactif. Passwd+ comprend des fonctions d'enregistrement et de vérification évoluées. Passwd+ remplace le programme passwd dans les systèmes Unix. Passwd+ empêche les utilisateurs de choisir des mots de passe faibles.  1, record 17, French, - Passwd

Record 17,  Textual support,  Spanish

Record 18,  Textual support,  English

Record number: 18, Textual support number: 1 DEF

A data validation to determine that all words comply with predefined spelling rules.  1, record 18, English, - spelling%20check

Record number: 18, Textual support number: 1 OBS

See ISO/IEC 2382-23 : 1994 for the definition of spelling checker in the context of text editing in information processing.  1, record 18, English, - spelling%20check

Record number: 18, Textual support number: 2 OBS

Terms and definition standardized by ISO.  2, record 18, English, - spelling%20check

Record 18,  Textual support,  French

Record number: 18, Textual support number: 1 DEF

Validation des données servant à déterminer si tous les mots sont conformes aux règles d'orthographe prédéfinies.  1, record 18, French, - contr%C3%B4le%20de%20l%27orthographe

Record number: 18, Textual support number: 1 OBS

Pour la définition de correcteur orthographique dans le contexte de l'édition de texte et du traitement de l'information, voir l'ISO/CEI 2382-23:1994.  1, record 18, French, - contr%C3%B4le%20de%20l%27orthographe

Record number: 18, Textual support number: 2 OBS

Termes et définition normalisés par l'ISO.  2, record 18, French, - contr%C3%B4le%20de%20l%27orthographe

Record 18,  Textual support,  Spanish

Record 19,  Textual support,  English

Record number: 19, Textual support number: 1 DEF

Externally operated device, sometimes incorporated in a mechanical level gauge, by which a sudden movement may be imparted in the tape in order to ensure that it moves freely. [Definition standardized by ISO.]  1, record 19, English, - operation%20checker

Record number: 19, Textual support number: 1 OBS

operation checker : term standardized by ISO.  2, record 19, English, - operation%20checker

Record 19,  Textual support,  French

Record number: 19, Textual support number: 1 DEF

Dispositif à commande externe, équipant parfois un jaugeur mécanique, qui permet d'imprimer un mouvement brusque au ruban afin de s'assurer qu'il se déplace librement. [Définition normalisée par l'ISO.]  1, record 19, French, - dispositif%20de%20contr%C3%B4le%20du%20fonctionnement

Record number: 19, Textual support number: 1 OBS

dispositif de contrôle du fonctionnement : terme normalisé par l'ISO.  2, record 19, French, - dispositif%20de%20contr%C3%B4le%20du%20fonctionnement

Record 19,  Textual support,  Spanish

Record 20,  Textual support,  English

Record number: 20, Textual support number: 1 DEF

Flat nail head marked with checker or grid design on top.  1, record 20, English, - checkered%20head

Record 20,  Textual support,  French

Record 20,  Textual support,  Spanish

Record 21,  Textual support,  English

Record number: 21, Textual support number: 1 DEF

Group of perforated or spaced bricks on which the checker bricks of the regenerator rest.  1, record 21, English, - rider%20bricks

Record 21,  Textual support,  French

Record number: 21, Textual support number: 1 DEF

Ensemble de briques ajourées ou échancrées sur lesquelles repose l'empilage des régénérateurs.  1, record 21, French, - grille

Record 21,  Textual support,  Spanish

Record 22,  Textual support,  English

Record number: 22, Textual support number: 1 CONT

An early and very successful game-playing program is Arthur Samuel' s(1967) checker player.  2, record 22, English, - game%20program

Record 22,  Textual support,  French

Record 22,  Textual support,  Spanish

Record 23,  Textual support,  English

Record number: 23, Textual support number: 1 CONT

Apart from procedural advice on how to fight the virus problem, the book also contains the source code of two anti-virus programs : a pattern checker... and a fingerprinting program.... Both are written in "C"... and can be used as practical anti-virus tools.  1, record 23, English, - fingerprinting%20program

Record 23,  Textual support,  French

Record number: 23, Textual support number: 1 CONT

Outre les conseils concernant la lutte contre les virus, cet ouvrage contient le code source de deux programmes antivirus: un vérificateur de configuration (...), et un programme «empreintes digitales» (...) Tous deux sont écrits en langage «C» (...) et peuvent être utilisés efficacement comme outils antivirus.  1, record 23, French, - programme%20empreintes%20digitales

Record 23,  Textual support,  Spanish

Record 24,  Textual support,  English

Record number: 24, Textual support number: 1 CONT

Any [virus] pattern checker relying on the pattern produced by the first sequence of instructions... would not recognise the mutated sequence.... Sometimes the mutations of an existing virus will be so extensive that the virus will bear little resemblance to the original.  1, record 24, English, - mutated%20sequence

Record 24,  Textual support,  French

Record number: 24, Textual support number: 1 CONT

Tout programme recherchant la configuration produite par la première séquence d'instructions (...) ne reconnaîtrait pas la séquence mutée (...) Parfois, les mutations d'un virus existant sont si importantes que le virus ne ressemble plus du tout à sa forme initiale.  1, record 24, French, - s%C3%A9quence%20mut%C3%A9e

Record 24,  Textual support,  Spanish

Record 25,  Textual support,  English

Record number: 25, Textual support number: 1 CONT

Pattern-checking programs rely on searching for a pattern known to exist within a virus. If a maliciously inclined person wanted to release a version of the virus which would not be recognised by the pattern checker, he could either change the order of instructions which are not dependent or implement the same effect using different instructions.  1, record 25, English, - pattern%2Dchecking%20program

Record 25,  Textual support,  French

Record number: 25, Textual support number: 1 CONT

Les programmes de recherche de configurations recherchent un virus d'après une configuration connue. Une personne malveillante désirant diffuser une version du virus ne pouvant être reconnue par le programme de recherche pourrait soit changer l'ordre des instructions non dépendantes soit obtenir le même effet au moyen d'instructions différentes.  1, record 25, French, - programme%20de%20recherche%20de%20configuration

Record 25,  Textual support,  Spanish

Record 26,  Textual support,  English

Record number: 26, Textual support number: 1 DEF

Aetech's compiler for writing Ada code for military programs on personal computers : it is an integrated color Ada programming support environment with pop-up windows, a language-sensitive editor and a syntax checker.  1, record 26, English, - Integer%20Ada

Record 26,  Textual support,  French

Record 26,  Textual support,  Spanish

Record 27,  Textual support,  English

Record number: 27, Textual support number: 1 CONT

When a teacher suggests that a student paper be revised, the student returns to the computer, on which the paper was written, calls up the file, and begins to invoke all the available utilities used in revision, including the spell checker, the thesaurus, and grammar guide.  2, record 27, English, - thesaurus

Record 27,  Textual support,  French

Record number: 27, Textual support number: 1 DEF

Répertoire de termes synonymes, antonymes et connexes généralement présentés selon un ordre raisonné.  1, record 27, French, - dictionnaire%20analogique

Record number: 27, Textual support number: 1 OBS

Le pluriel THESAURI, quoique assez fréquent, n'est pas recommandé par le Comité.  1, record 27, French, - dictionnaire%20analogique

Record 27,  Textual support,  Spanish

Record 28,  Textual support,  English

Record number: 28, Textual support number: 1 OBS

stamp checker : Term officially approved by the Postal Mechanization Terminology Standardization Committee.  2, record 28, English, - stamp%20checker

Record 28,  Textual support,  French

Record number: 28, Textual support number: 1 OBS

vérificateur de circuit de détection : Terme uniformisé par le comité d'uniformisation de la terminologie de la mécanisation postale.  2, record 28, French, - v%C3%A9rificateur%20de%20circuit%20de%20d%C3%A9tection

Record 28,  Textual support,  Spanish

Record 29,  Textual support,  English

Record number: 29, Textual support number: 1 OBS

A good stick checker can often steal the puck and quickly begin an offensive attack, without taking himself out of the play.  2, record 29, English, - stick%20check

Record 29,  Textual support,  French

Record number: 29, Textual support number: 1 CONT

Celui qui réalise une bonne mise en échec avec le bâton, peut souvent dérober la rondelle et commencer rapidement une offensive sans se retirer du jeu.  2, record 29, French, - mise%20en%20%C3%A9chec%20avec%20le%20b%C3%A2ton

Record 29,  Textual support,  Spanish

Record 30,  Textual support,  English

Record number: 30, Textual support number: 1 OBS

gauge checker(track)  2, record 30, English, - gauge%20checker

Record 30,  Textual support,  French

Record number: 30, Textual support number: 1 OBS

mesureur d'écartement (voie)  1, record 30, French, - mesureur%20d%27%C3%A9cartement

Record 30,  Textual support,  Spanish

Record 31,  Textual support,  English

Record number: 31, Textual support number: 1 OBS

the checker approaches the puck carrier from behind, when he is close enough he lifts the puck carrier's stick in the air then quickly as possible, he brings his stick downward and pulls the puck away.  1, record 31, English, - lift%20the%20stick%20check

Record 31,  Textual support,  French

Record number: 31, Textual support number: 1 OBS

celui qui effectue la mise en échec s'approche du porteur de la rondelle par derrière. Lorsqu'il est suffisamment près de lui, il soulève le bâton du porteur de la rondelle. Puis aussi rapidement que possible il redescend son bâton et retire la rondelle.  1, record 31, French, - mise%20en%20%C3%A9chec%20avec%20soul%C3%A8vement%20du%20b%C3%A2ton

Record 31,  Textual support,  Spanish

Record 32,  Textual support,  English

Record number: 32, Textual support number: 1 OBS

In the defensive end they are responsible for defending the middle as well as half of the area by the blueline. In the offensive end they are the forecheckers, and if we check with 2, then the offensive forward is the first checker and the half offensive forward is the second.  1, record 32, English, - half%20offensive%20forward

Record 32,  Textual support,  French

Record number: 32, Textual support number: 1 OBS

A l'extrémité défensive ils ont la responsabilité de défendre le centre, autant que la moitié de la zone de l'autre côté de la ligne bleue. En zone offensive, ils exécutent la mise en échec avant; si nous effectuons de la mise en échec à deux, alors l'avant offensif en prend l'initiative et l'avant semi-offensif vient en second lieu.  1, record 32, French, - avant%20semi%2Doffensif

Record number: 32, Textual support number: 2 OBS

D'après un expert, "semi" est un calque de l'anglais "semi". On retrouve "semi" partout dans les textes mais c'est "demi" qui est le bon terme à utiliser dans ce cas-ci.  2, record 32, French, - avant%20semi%2Doffensif

Record 32,  Textual support,  Spanish

Record 33,  Textual support,  English

Record number: 33, Textual support number: 1 OBS

In the defensive end they are responsible for defending the middle as well as half of the area by the blueline. In the offensive end they are the forecheckers, and if we check with 2, then the offensive forward is the first checker and the half offensive forward is the second.  1, record 33, English, - offensive%20forward

Record 33,  Textual support,  French

Record number: 33, Textual support number: 1 OBS

A l'extrémité défensive ils ont la responsabilité de défendre le centre, autant que la moitié de la zone de l'autre côté de la ligne bleue. En zone offensive, ils exécutent la mise en échec avant; si nous effectuons de la mise en échec à deux, alors l'avant offensif en prend l'initiative et l'avant semi-offensif vient en second lieu.  1, record 33, French, - avant%20offensif

Record 33,  Textual support,  Spanish