UPPAAL TIGA è un'estensione di UPPAAL [BDL04] e implementa la prima efficiente algoritmo di on-the-fly per risolvere giochi basati su automi gioco a tempo rispetto alla raggiungibilità e sicurezza proprietà.Anche se partite a tempo per una lunga sono...
UProxy è un proxy per protocolli UDP. UProxy è stato inizialmente progettato per consentire agli utenti di giocare Unreal Tournament corrisponde su Internet su computer che condividono una connessione dial-up.UProxy potrebbe essere utilizzato anche da...
Il codice di programma e lo stato del programma vengono aggiornati immediatamente in un unico passaggio.Non è necessario attendere indefinitamente uno stato quiescente programma. Un algoritmo in esecuzione può essere aggiornato midstream sua esecuzione e...
Upstart è un open source rimpiazzo per il ben noto, ma deprecato initd (noto anche come System V init o / sbin / init daemon) software progettato per avviare i servizi e le attività certains durante il processo di avvio di un operativo Linux Sistema,...
Upstartx è un'applicazione grafica open source per il controllo dei servizi demone upstart più facilmente su distribuzioni Linux basate su Debian.Per funzionare correttamente, Upstartx richiede il software Upstart. Può essere utilizzato in Ubuntu e...
Uptime è un'estensione GNOME Shell che visualizza uptime del computer nella zona di stato s 'GNOME.Per installare questa estensione è necessario avere installato GNOME Shell o cannella. . Tuttavia, tenere presente che non è stato testato con...
Indicatore Uptime è un'estensione GNOME Shell che visualizza uptime del sistema nell'area di stato della GNOME & nbsp; del pannello.Per installare questa estensione è necessario avere installato GNOME Shell o cannella. . Tuttavia, tenere presente...
Uptimed è un daemon uptime (registra i tuoi migliori tempi di attività).Progetto Uptimed è stato creato da Robert John Kaper ma ora è gestito da me, perché Robert è sopraffatto dal lavoro.Invece di utilizzare un file pid per mantenere sessioni l'uno...
UPX (Ultimate Packer da breve per gli eseguibili) è un libero, open source, estensibile, portatile e software da riga di comando ad alte prestazioni scritto in endian neutro portatile C ++ che può essere utilizzato per il confezionamento di file...
URandR è una GUI (graphical user interface) per RandR 1.2 scritto in PyGTK. Copre RandR 1.2 funzionalità di base e mira a rendere la configurazione multihead il più semplice possibile per gli utenti inesperti.Casi...
