UPPAAL TIGA merupakan perpanjangan dari UPPAAL [BDL04] dan menerapkan pertama efisien algoritma on-the-fly untuk memecahkan game berbasis pada permainan waktunya automata sehubungan dengan reachability dan keamanan properti.Meskipun game waktunya lama...
UProxy adalah proxy untuk protokol UDP. UProxy awalnya dirancang untuk memungkinkan pengguna untuk memainkan Unreal Tournament cocok melalui Internet pada komputer berbagi koneksi dial up.UProxy juga bisa digunakan oleh aplikasi client-server yang...
Kode program dan program negara diperbarui segera dalam satu langkah.Hal ini tidak perlu menunggu tanpa batas waktu untuk program negara diam. Algoritma berjalan dapat diperbarui tengah jalan pelaksanaannya dan kembali dari titik yang berbeda (belum tentu...
Upstart merupakan open source drop-in pengganti terkenal, namun usang initd (juga dikenal sebagai Sistem V init atau / sbin / init daemon) software yang dirancang untuk memulai layanan certains dan tugas selama proses boot dari operasi Linux sistem,...
Upstartx adalah aplikasi grafis open source untuk memeriksa layanan daemon pemula lebih mudah pada distribusi Linux berbasis Debian.Dalam rangka untuk berjalan dengan baik, Upstartx membutuhkan software Upstart. Hal ini dapat digunakan di Ubuntu dan OS...
Uptime adalah ekstensi GNOME Shell yang akan menampilkan uptime komputer di area status GNOME 's.Untuk menginstal ekstensi ini, Anda harus memiliki GNOME Shell diinstal atau Cinnamon. . Namun, perlu diingat bahwa belum diuji dengan Cinnamon ...
Uptime Indicator adalah ekstensi GNOME Shell yang akan menampilkan uptime sistem di daerah status GNOME & nbsp; panel.Untuk menginstal ekstensi ini, Anda harus memiliki GNOME Shell diinstal atau Cinnamon. . Namun, perlu diingat bahwa belum diuji dengan...
Uptimed adalah daemon uptime (log uptime terbaik).Proyek Uptimed diciptakan oleh Robert John Kaper namun sekarang dikelola oleh saya karena Robert kewalahan oleh pekerjaan.Alih-alih menggunakan file pid untuk menjaga sesi terpisah dari satu sama lain,...
UPX (pendek dari Ultimate Packer untuk executable) adalah gratis, open source, diperpanjang, portable, dan kinerja tinggi perangkat lunak baris perintah yang ditulis dalam portable endian-netral C ++ yang dapat digunakan untuk mengemas file yang dapat...
URandR adalah GUI (graphical user interface) untuk RandR 1.2 ditulis dalam PyGTK. IT mencakup RandR 1.2 fungsi dasar dan bertujuan untuk membuat konfigurasi multihead semudah mungkin bagi pengguna...
