来自专业的译者、企业、网页和免费的翻译库。
for best results, a battery should be tested under similar conditions as used in the field. quicksort™ by cadex achieves this through a technology referred to as electrochemical dynamic response.
quicksortmc de cadex permet de le faire grâce à une technologie intitulée réponse dynamique électrochimique.
hoare's most significant work has been in the following areas: his sorting and selection algorithm (quicksort and quickselect), hoare logic, the formal language communicating sequential processes (csp) used to specify the interactions between concurrent processes, structuring computer operating systems using the monitor concept, and the axiomatic specification of programming languages.
ses contributions les plus significatives sont : le célèbre algorithme de tri quicksort et l'algorithme de sélection quickselect, la logique de hoare, le langage formel communicating sequential processes (csp) utilisé pour spécifier l’interaction entre des processus concurrents, structuration des systèmes d'exploitation d'ordinateurs par l'introduction du concept de moniteur, et la spécification formelle de langages de programmation.