Your search for 12412 returns 3391 document(s) |
Mangifera indica Real-Time Quality Classifications Using Codebook Segmentation and Mass-Size Correlation Equations (207-214) |
Author: Timotius Devin
Muhammad Ashyar Agmalaro; | Call Number: SEM-345 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real-time Vessel Automatic Docking Using Adaptive Fuzzy System-based Controller (139-143) |
Author: Son Kuswadi
Anang Tjahjono
Riyanto Sigit
Abdul Bari
Herman Sayogo
Agung Kusuma W.A
Heru Sedio Utomo
Mohammad NUH
Osami Saito; | Call Number: SEM-247 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On performance of kernel based and embedded real-time operating systems: benchmarking and analysis, Hal. 401-406 |
Author: Mastura D. Marieska, Paul G. Hariyanto, M. Firda Fauzan, Achmad Imam Kistijantoro; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Embeded zero wavelet coefficient coding method for FPGA implementation for video codec in real-time systems, Hal. 146-151 |
Author: Kazimier Wiatr, Pawel Russek; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Implementation image data convolutions operations in FPGA reconfiguration structures for real-time vision systems, Hal. 152-157 |
Author: Kazimier Wiatr, Ernest Jamro; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verification of real time chemical processing systems (invited presentation), (LNCS-Lecture Notes in Computer Science 1201) Hal 259-272 |
Author: Adam L. Turk; Scott T. Probst; Gary J. Powers; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Functional specification of real-time and hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 273-285 |
Author: Olaf Muller; Peter Scholz; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455 |
Author: Sergio Campos; Edmund Clarke; Marius Minea; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 211-224 |
Author: Oleg V. Sokolsky; Scott A. Smolka; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422 |
Author: David L. Dill; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|