| Your search for 38298 returns 3920 document(s) |
| Formal verification - applications & case studies, (LNCS-Lecture Notes in Computer Science 1254) Hal 11 |
|
Author: Martin Rowe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140 |
|
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The rabin index and chain automata, with applications to automata and games, (LNCS-Lecture Notes in Computer Science 939) Hal 253-266 |
|
Author: Sriram C. Krishnan; Anuj Puri; Robert K. Brayton; Pravin P. Varaiya; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Experiences from applications of RAISE, (LNCS-Lecture Notes in Computer Science 670) Hal 52-63 |
|
Author: Bent Dandanell; Jesper Gortz; Jan Storbank Pedersen; Eld Zierau; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Network body sensing: enabling real-time decision in health and defences applications, Hal. 17-24 |
|
Author: Ramona Rednic, John Kemp, Elena Gaura, James Brusey; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hard real-time computing systems:Predictable scheduling algorithms and applications/ Giorgio C. Buttazzo |
|
Author: Buttazzo, Giorgio C.; | Call Number: 004.22 Sta c | Edition: 1997 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Demonstrating real-time JPEG image compression-decompression using standard component IP cores on a programmable logic based platform for DSP and image processing, (LNCS-Lecture Notes in Computer Science 2147) Hal 441-450 |
|
Author: Albert Simpson; Jill Hunter; Moira Wylie; Yi Hu; David Mann; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184 |
|
Author: Ian Hayes; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An on-the-fly tableau construction for a real-time temporal logic, (LNCS-Lecture Notes in Computer Science 1926) Hal 276-290 |
|
Author: Marc Geilen; Dennis Dams; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
Search Result