UPPAAL ТИГА является продолжением UPPAAL [BDL04] и реализует первый эффективный на лету алгоритм решения игры, основанные на приурочен игру автоматов по отношению к достижимости и безопасности свойств.Хотя приурочен игры давно было известно, что разрешима...
UProxy является прокси-сервер для UDP протоколов. UProxy был первоначально разработан, чтобы позволить пользователям играть в Unreal Tournament матчей по Интернету на компьютерах, разделяющих модемное соединение.UProxy также может быть использован любой...
Программный код и государственная программа сразу же обновляются в одном шаге.Это не нужно бесконечно ждать состоянии покоя программы. Работающий алгоритм может быть обновлена переправе ее исполнение и возобновляется с другой точки (не обязательно...
выскочка с открытым исходным кодом прямой заменой для хорошо известно, но устаревшим initd (также известный как System V инициализации и / или SBIN / инициализации демона) программного обеспечения, предназначенного для запуска certains услуги и задач в...
Upstartx это графическое приложение с открытым исходным кодом для проверки выскочка услуги демонов легче в дистрибутивах Linux Debian-основанных.Для того, чтобы правильно выполнить, Upstartx требует программного обеспечения Upstart. Он может быть...
, проведённое на сайте является расширение GNOME Shell, которая будет отображать время безотказной работы компьютера в области состояния гном "с.Чтобы установить это расширение, которое вы должны GNOME Shell установлен или корица. . Однако, имейте в виду,...
, проведённое на сайте Индикатор является расширение GNOME Shell, которая будет отображать время безотказной работы системы в области состояния в GNOME & NBSP; панель.Чтобы установить это расширение, которое вы должны GNOME Shell установлен или корица. ....
Uptimed является безотказной работы демона (входит ваши лучшие uptimes).Uptimed проект был создан Робертом Джоном Капер, но теперь поддерживается мной, потому что Роберт перегружены работой.Вместо того чтобы использовать файл PID, чтобы сеансы друг от...
UPX (короткое от Ultimate Packer для исполняемых файлов) является свободным, открытым исходным кодом, расширяемый, портативный, и программное обеспечение высокопроизводительных командной строки написаны в портативных Endian нейтральный C ++, которые могут...
URandR представляет собой графический интерфейс (графический интерфейс пользователя), чтобы RandR 1.2 написано в PyGTK. Он охватывает RandR 1,2 основные функциональные и стремится сделать конфигурацию Мультиголовочный как можно проще для неопытных...
