Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 5 dokumen yang sesuai dengan query
cover
Foundations of real-time computing: formal specifications and methods
Boston: Kluwer, 1991
004.33 FOU
Buku Teks  Universitas Indonesia Library
cover
Advances in real-time systems
" [This volume contains the lectures given in honor to Georg Färber as tribute to his contributions in the area of real-time and embedded systems. The chapters of many leading scientists cover a wide range of aspects, like robot or automotive vision systems or medical aspects., This volume contains the lectures given in honor to Georg Färber as tribute to his contributions in the area of real-time and embedded systems. The chapters of many leading scientists ... "
Berlin: [Springer, ], 2012
e20395143
eBooks  Universitas Indonesia Library
cover
Analisis fungsi kepuasan dan rancangan algoritma penjadwalan proses pada sistem waktu nyata berdasarkan pertimbangan kepuasan
" With the liveline terminology [4] as the background, we elaborate satisfaction function and it's implication to the process characteristics, as an addition to the real-time system concept... ... "
Artikel Jurnal  Universitas Indonesia Library
cover
Irmansyah Turhamun
Rancang bangun pengendalian sistem akuarium jarak jauh berbasis internet of things = Design of remote aquarium control system based on internet of things
" Perkembangan teknologi Internet of Things membuat inovasi dalam bidang teknologi berkembang semakin cepat dan membawa kemudahan bagi kehidupan masyarakat. Sistem pengendalian akuarium dikembangkan untuk mempermudah masyarakat dalam memelihara ikan di dalam akuarium. Sistem ini dirancang untuk membawa pengalaman baru bagi pengguna dalam memelihara ikan di dalam akuarium. Pengguna dapat berkomunikasi dan memberikan perintah kepada sistem pengendalian akuarium menggunakan Asisten Google pada perangkat Android maupun Google Home yang pengguna. Sistem dapat membantu pengguna dalam penghematan energi ... "
Depok: Fakultas Teknik Universitas Indonesia, 2020
S-pdf
UI - Skripsi Membership  Universitas Indonesia Library
cover
Achmad Ridok
Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan rel kereta api satu jalur satu arah
" Keberadaan perangkat lunak sebagai pengontrol suatu sistem, yang termasuk ke dalam kategori sistem tercangkok (embedded system) semakin meningkat, sejalan dengan pemanfaatan komputer dalam berbagai sektor kehidupan. Dalam sistem semacam itu, perangkat lunak ditempatkan pada sebuah atau beberapa komputer yang dihubungkan ke sensor-sensor dan aktuator-aktuator untuk mengontrol perilaku dari lingkungan sistem. Sistem tercangkok umumnya berinteraksi dengan lingkungannya secara terus-menerus sehingga disebut juga sistem reaktif (reactive system). Rica sistem tersebut diharapkan bereaksi dengan lingkungannya dalam batas waktu yang ... "
Depok: Universitas Indonesia, 1999
T-Pdf
UI - Tesis Membership  Universitas Indonesia Library