TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 CONT

In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever.  2, record 1, English, - halting%20problem

Record number: 1, Textual support number: 2 CONT

All resolution search strategies are subject to a version of the halting problem, for search is not guaranteed to terminate unless there actually is a proof.  3, record 1, English, - halting%20problem

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 CONT

En théorie de la calculabilité, le problème de l'arrêt est le problème de décision qui détermine, à partir d'une description d'un programme informatique et d'une entrée, si le programme s'arrête avec cette entrée ou non.  3, record 1, French, - probl%C3%A8me%20de%20l%27arr%C3%AAt

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 DEF

A wire mesh or liquid network, heated and set in a cold storage facility floor to prevent freezing should water be spilled onto the floor.  3, record 2, English, - heating%20mat

Record number: 2, Textual support number: 1 CONT

AMS No-Dig Ltd was involved in an unusual project-halting and then reversing the destructive effect of frost heave at a major cold store in England's East Midlands. The problem began when the store reduced its operating temperatures in line with new legislation. This reduction proved too much for the existing glycol heating mat which stopped working and then froze. With no insulation, the ground beneath the cold store also froze and frost heave set in.  1, record 2, English, - heating%20mat

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 DEF

Dispositif de chauffage constitué de résistances électriques ou de tubes de liquide chauffé montés en réseau et insérés dans le sol d'une chambre froide pour éviter qu'il ne gèle.  2, record 2, French, - nappe%20chauffante

Record 2,  Textual support,  Spanish