UPPAAL Тігана є продовженням UPPAAL [BDL04] і реалізує перший ефективний на льоту алгоритм розв'язання гри, засновані на приурочений гру автоматів по відношенню до досяжності і безпеки властивостей.Хоча приурочений гри давно було відомо, що...
UProxy це проксі-сервер для UDP протоколів. UProxy був спочатку розроблений, щоб дозволити користувачам грати в Unreal Tournament матчів по Інтернету на комп'ютерах, які поділяють модемне з'єднання.UProxy також може бути використаний будь-який...
програмний код і державна програма відразу ж оновлюються в одному кроці.Це не потрібно нескінченно чекати стані спокою програми. Працює алгоритм може бути оновлена переправі її виконання і відновив з іншої точки (не обов'язково початок) іншого...
вискочка з відкритим вихідним кодом прямою заміною для добре відомо, але застарілим initd (також відомий як System V ініціалізації та / або SBIN / ініціалізації демона) програмного забезпечення, призначеного для запуску certains послуги і завдань в...
Upstartx є графічна програма з відкритим вихідним кодом для перевірки вискочка послуги демонів легше в дистрибутивах Linux Debian-заснованих.Для того, щоб правильно виконати, Upstartx потрібне програмне забезпечення Upstart. Він може бути використаний в...
Uptime є розширення GNOME Shell, яка буде відображати час безвідмовної роботи комп'ютера в області стану GNOME-х років.Щоб встановити це розширення, яке ви повинні GNOME Shell встановлений або кориці. . Однак, майте на увазі, що це не був перевірений...
Uptime Індикатор розширення GNOME Shell, яка буде відображати час безвідмовної роботи системи в області стану GNOME & NBSP; панель.Щоб встановити це розширення, яке ви повинні GNOME Shell встановлений або кориці. . Однак, майте на увазі, що це не був...
Uptimed є безвідмовної роботи демон (записує ваші найкращі готовності та відмовостійкості).Uptimed проект був створений Робертом Джоном Капер, але тепер підтримується мною, тому що Роберт перевантажені роботою.Замість того щоб використовувати файл PID,...
UPX (короткий з Ultimate Packer для виконуваних файлів) є вільним, відкритим вихідним кодом, розширюваний, портативний, і програмне забезпечення високої продуктивності командного рядка, написаної в портативному порядок байтів нейтральною C ++, які можуть...
URandR є GUI (графічний користувальницький інтерфейс), щоб RandR 1.2 написано в PyGTK. Він охоплює RandR 1,2 основні функціональні і прагне зробити конфігурацію мультиголівковий якомога простіше для недосвідчених користувачів.Випадки...
