| Your search for 36806 returns 1752 document(s) |
| A real-time distributed video image processing system on PC-cluster, (LNCS-Lecture Notes in Computer Science 1557) Hal 296-305 |
|
Author: Daisaku Arita; Yoshio Hamada; Rin-Ichiro Taniguchi; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time layered video compression using SIMD computation, (LNCS-Lecture Notes in Computer Science 1557) Hal 377-387 |
|
Author: Morten Vadskaer Jensen; Brian Nielsen; | Call Number: 004.35 Par | 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
|
| Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer Science 670) Hal 632-651 |
|
Author: Farn Wang; Aloysius Mok; E. Allen Emerson; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis of denial-of service attack resistance using a real-time model checker, 159-163 |
|
Author: Tatsuya ARAI, Shin-ya NISHIZAKI; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-Time software for control |
|
Author: Auslander, David M.; | Call Number: 629.895 Aus r | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Advances in real-time systems |
|
Call Number: 004.33 Adv | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems |
|
Author: Krishna, C.M.; | Call Number: 004.33 Kri r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real time systems |
|
Author: Nissanke, Nimal; | Call Number: 004.33 Nis r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems: management and design |
|
Author: Tebbs, David; | Call Number: 004.33 Teb r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result