partitionner
Étymologie
[modifier le wikicode]- De partition.
Verbe
[modifier le wikicode]partitionner \paʁ.ti.sjɔ.ne\ transitif 1er groupe (voir la conjugaison)
- (Informatique, Mathématiques) Découper en une partition.
L'algorithme de McCluskey partitionne les monômes ayant un même nombre de variables en classes ou sous-ensembles de monômes de même rang (ou nombre de variables directes).
— (Automatisme, volume 19, page 297, 1974)Dans le spout, les données sont transformées en tuples, l'équivalent Storm des lignes d'une table. Ces tuples sont partitionnés en lots et chaque lot est envoyé à un ou plusieurs bolts répartis sur le cluster.
— (Juvénal Chokogoue, Maîtrisez l'utilisation des technologies Hadoop: Initiation à l'écosystème Hadoop, Éditions Eyrolles, 2018, page 313)
Vocabulaire apparenté par le sens
[modifier le wikicode]
partitionner figure dans le recueil de vocabulaire en français ayant pour thème : partie (méréologie).
Prononciation
[modifier le wikicode]- France (Lyon) : écouter « partitionner [Prononciation ?] »
- Vosges (France) : écouter « partitionner [Prononciation ?] »
- Somain (France) : écouter « partitionner [Prononciation ?] »
