We are extremely proud of the continued confidence placed in us by HAL.
Once your account is created, you can log in to HAL.
Une fois le compte activé, vous pouvez vous connecter.
Some problems have resulted in reports filed on the HAL repository.
Certains problèmes ont donné lieu à des rapports déposés sur une archive HAL.
HAL signals come in two variants, bits and numbers.
Il y a deux variantes de signaux de HAL, bits et nombres.
I don't want you locking me out there like HAL.
Je veux pas que tu m'enfermes dehors, façon HAL.
The transfer is carried out when the deposit is put online in HAL.
Le transfert est réalisé au moment de la mise en ligne sur HAL.
HAL, give me a system status report, please.
Hal, je veux un rapport sur l'état des systèmes.
Halcmd is a command line tool for manipulating the HAL.
Halcmd est un outil en ligne de commande pour manipuler HAL.
The real power of HAL is that you can change things.
La réelle puissance de HAL est de permettre de modifier les choses.
However, HAL can do more than just configure hardware drivers.
Cependant, HAL peut faire beaucoup plus que configurer les pilotes du matériel.
This is equivalent to hooking virtual scope probes to the HAL.
C'est équivalent à brancher les sondes virtuelles du scope à HAL.
One tab lists all the pins currently defined in the HAL.
Un onglet liste toutes les pins actuellement définies dans HAL.
HAL metadata is available in this format in the portal.
Les métadonnées de HAL sont disponibles sous ce format dans le portail.