Package Descriptions for Ubuntu

Browsing French translation

  1. Series lunar
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
85739 → 85748 of 141378 results First • • • Last
85739.
These are the Perl5 module for interfacing with the Mon system monitoring package. It is intended to be used in conjunction with the mon 1.2.x server. Currently only the client interface is implemented, but more things like special logging routines and persistent monitors are being considered.
 
Description
Il s’agit des modules de Perl[nbsp]5 d’interfaçage avec le paquet de surveillance de système, Mon. Ils sont prévus pour fonctionner en conjonction avec le serveur mon[nbsp]1.2.x. Actuellement, seule l’interface du client est implémentée, mais d’autres choses que les routines propres à la connexion et les contrôles continuels sont à l’étude.
Translated by Michael Vogt
Located in Package: mon-client
85740.
"mon" is a tool for monitoring the availability of services. More information can be found at http://www.kernel.org/software/mon/
 
Description
«[nbsp]mon[nbsp]» est un outil pour suivre la disponibilité de services. Plus d’informations sont disponibles sur http://www.kernel.org/software/mon/.
Translated by Michael Vogt
Located in Package: mon-client
85741.
contributed tools, monitors and alert for mon
 
Summary
(no translation yet)
Located in Package: mon-contrib
85742.
mon-contrib is the mon /contrib archive. It contains user-submitted add-ons to mon, which are not included in the main mon distribution.
 
Description
(no translation yet)
Located in Package: mon-contrib
85743.
Most submissions are not checked by the archive maintainers for quality and some may not work, or work how you expect them to (most are quite good, though).
 
Description
(no translation yet)
Located in Package: mon-contrib
85744.
If you have something to contribute, either a new submission or a patch to another contrib'ed item, great! Please read the contrib guidelines to speed up the inclusion of your submission in the archives.
 
Description
(no translation yet)
Located in Package: mon-contrib
85745.
theorem prover based on automata
 
Summary
démonstration automatique de théorèmes
Translated by Michael Vogt
Located in Package: mona
85746.
MONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyses the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counter-example.
 
Description
MONA est un outil pour traduire des formules de logiques WS1S ou WS2S dans des automates avec un nombre fini d'état représentés par des diagrammes de décision binaire (BDD). Les formules peuvent exprimer des modèles de recherche, des propriétés temporelles de systèmes réactifs, des contraintes d’analyse d’arbre,[nbsp]etc. MONA analyse aussi l’automate résultant de la compilation et détermine si la formule est valable ou non, et si elle ne l’est pas, crée un contre-exemple.
Translated by Michael Vogt
Located in Package: mona
85747.
Documentation is available from the MONA website http://www.brics.dk/mona/.
 
Description
La documentation est disponible sur le site web de MONA, http://www.brics.dk/mona/.
Translated by Michael Vogt
Located in Package: mona
85748.
Monado command-line utility
 
Summary
(no translation yet)
Located in Package: monado-cli
85739 → 85748 of 141378 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: 4E4F, Abdoulaye, Alban CLERGEOT, Alban V, Alexandre Croteau, Alexandre Franke, Anne017, Anthony Diep, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Ash26, Aurélien James, Aurélien Ribeiro, Babey, Baptiste Fontaine, Benitron, Berenger Okei, Bernos Guillaume, Bonsoir, Borni DHIFI, Bruno, Bruno Avet, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Céline MARIN, Darry, David Futcher, David Racine, Eglantine Schmitt, Enrico Rosina, Florent (LSc), Gautier, Gaëtan Petit, Geoffrey, Glyca, Grégoire Markey, GuiMol, Gwab, Havok Novak, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jenny B, Jerod212, Joachim R., Jonathan Pasquier, Julien, Julien Henry, JurisZombie, Kafi, Kolibry, Ktux, L'Africain, Laurent N, Laurent Thibaud, Lentdormi, Louis Dubois, Louis Moureaux, Lucas Bayol, Maeda, Marot Célestin, Max, Maxence BOTHOREL, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Robin, Nissar Chababy, OUBRAIM Rachid, Olivier Copetto, Olivier FAYOLLE, Olivier Vopat, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul FEUVRAUX, Paulvirtuel, Philippe, Pier-Luc Ducharme, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Plank, Quentin Dorveaux, Quentin Santander, Remiweb, Romain, Roms, Rémi Berthoz, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, St3ph, Stanislas Michalak, Steve Langasek, Stéphane V, Sylvhem, Sylvie Gallet, Tarek, Teo Tedoldi, Teromene, Thomas, Thomas Quaglio, Thomas.M, Titanet, Tubuntu, Valentin Lorentz, William, YannUbuntu, Yayel, Yohann, Youcef PhnixLord, Yvan Arnaud, Yvance77, _Syzygy_, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bpascal123, calvin, clappier, clement62910, dhorne, dpl29, electroluth, elyr, fabkzo, flobe, gerard, gfds, gisele perreault, grosvalpin, hamelin, idon'thaveaname, jdt37b, jean-bernard marcon, jlla, joel, judejude, kidpaddle, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, marcus, michel_95, moberch, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, shunesburg69, slurbe, stagelll, thenasa, titouan le folgoc, utybo, vincent dumont, vmerlet, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.