UPPAAL TIGA ist eine Erweiterung des UPPAAL [BDL04] und es führt die erste effiziente on-the-fly-Algorithmus zur Lösung Spiele, basierend auf zeitgesteuerten Spielautomaten in Bezug auf Erreichbarkeit und Sicherheitseigenschaften.Obwohl zeitgesteuerte...
UProxy ist ein Proxy für UDP-Protokolle. UProxy wurde ursprünglich entwickelt, um Benutzern zu spielen Unreal Tournament Spiele über das Internet auf Computern teilen eine DFÜ-Verbindung.UProxy könnte auch durch jede Client-Server-Anwendung, die das...
Der Programmcode und die Programmzustand werden sofort in einem Schritt aktualisiert.Es ist nicht erforderlich, um auf unbestimmte Zeit eine Ruheprogrammzustand zu warten. Ein laufender Algorithmus Midstream seine Ausführung aktualisiert werden und aus...
Upstart ist ein Open Source-Ersatz für den bekannten, aber veraltet initd Software entwickelt, um certains Leistungen und Aufgaben während des Startvorgangs von einem Linux-Betriebs starten (auch als System-V-init oder / sbin / init-Daemon bekannt)...
Upstartx ist ein Open-Source-Grafikanwendung zur Kontrolle Emporkömmling Daemons einfacher auf Debian-basierten Linux-Distributionen.Um richtig zu laufen, Upstartx erfordert die Upstart-Software. Es kann in Ubuntu und anderen Linux-Betriebssystemen, die...
Uptime ist ein GNOME-Shell-Erweiterung, die die Betriebszeit des Computers in die GNOME Statusbereich angezeigt wird.Um diese Erweiterung zu installieren, müssen Sie GNOME Shell installiert oder Zimt. . Aber denken Sie daran, dass es nicht mit Zimt...
Uptime-Anzeige ist ein GNOME-Shell-Erweiterung, die die Betriebszeit des Systems im Statusbereich des GNOME & nbsp anzeigt; Panel.Um diese Erweiterung zu installieren, müssen Sie GNOME Shell installiert oder Zimt. . Aber denken Sie daran, dass es nicht...
uptimed ist eine Betriebszeit-Daemon (protokolliert die beste Laufzeiten).Uptimed Projekt wurde von Robert John Kaper erstellt, aber wird jetzt von mir erhalten, weil Robert wird von der Arbeit überfordert.Anstelle der Verwendung eines PID-Datei, um...
UPX (Ultimate Packer Kurz für ausführbare Dateien) ist ein freies, Open Source, ausziehbar, portable und leistungsstarke Befehlszeilen Software in tragbaren Endian neutrale C ++, die verwendet werden, um ausführbare Dateien zu packen...
URandR ist ein GUI (Graphical User Interface), um RandR 1.2 in PyGTK geschrieben. Es deckt RandR 1.2 Grundfunktionen und zielt darauf ab, Mehrkopf Konfiguration so einfach wie möglich für unerfahrene Anwender zu...
