UPPAAL TIGA est une extension de UPPAAL [BDL04] et il met en œuvre le premier algorithme on-the-fly efficace pour résoudre des jeux basés sur chronométré automates de jeu par rapport à joignabilité et de sécurité des propriétés.Bien que les jeux...
UProxy est un proxy pour les protocoles UDP. UProxy a été initialement conçu pour permettre aux utilisateurs de jouer des matchs Unreal Tournament sur Internet sur les ordinateurs partageant une connexion commutée.UProxy pourrait également être utilisé...
Le code du programme et de l'état du programme sont immédiatement mis à jour en une seule étape.Il ne est pas nécessaire d'attendre indéfiniment un état du programme de repos. Un algorithme de marche peut être mis à jour en cours de route son...
Upstart est une open source solution de remplacement pour le bien connu, mais obsolète initd (également connu sous le nom System V initialisation ou / sbin / init démon) logiciel conçu pour démarrer les services de certains et des tâches au cours du...
Upstartx est une application graphique open source pour le contrôle de services démon parvenus plus facilement sur les distributions Linux basées sur Debian.Afin de fonctionner correctement, le logiciel nécessite Upstartx Upstart. Il peut être utilisé...
Uptime est une extension GNOME Shell qui affichera la disponibilité de l'ordinateur dans la zone d'état de la GNOME.Pour installer cette extension, vous devez avoir installé GNOME Shell ou cannelle. . Cependant, gardez à l'esprit qu'il...
Uptime indicateur est une extension GNOME Shell qui affiche la disponibilité du système dans la zone d'état de la GNOME & nbsp; panneau.Pour installer cette extension, vous devez avoir installé GNOME Shell ou cannelle. . Cependant, gardez à...
uptimed est un démon de disponibilité (enregistre vos meilleurs taux de disponibilité).Uptimed projet a été créé par Robert John Kaper, mais est désormais maintenu par moi parce que Robert est submergé par le travail.Au lieu d'utiliser un fichier de...
UPX (court de Ultimate Packer pour les exécutables) est un logiciel gratuit, open source, extensible, portable, et le logiciel en ligne de commande haute performance écrit en portable endian neutre C ++ qui peut être utilisé pour emballer les fichiers...
URandR est un GUI (interface utilisateur graphique) pour RandR 1.2 écrit en PyGTK. Il couvre RandR 1.2 fonctionnalités de base et vise à rendre la configuration multiécran aussi facile que possible pour les utilisateurs inexpérimentés.Les cas...
