Search Result
Save to File
Your search for
38172
returns
3889
document(s)
The split-proxy approach: a new architecture for parallel video servers, (LNCS-Lecture Notes in Computer Science 1557) Hal 327-336
Author: Giuseppe De Pietro; Marco Lerro; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Safety verification for automated platoon maneuvers: a case study, (LNCS-Lecture Notes in Computer Science 1201) Hal 154-170
Author: Ekaterina Dolginova; Nancy Lynch; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
A provably correct embedded verifier for the certification on safety critical software, (LNCS-Lecture Notes in Computer Science 1254) Hal 202-213
Author: Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifying safety properties of a class of infinite-state distributed algorithms, (LNCS-Lecture Notes in Computer Science 939) Hal 42-53
Author: Bengt Jonsson; Lars Kempe; | 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
Specifying a safety-critical control system in Z, (LNCS-Lecture Notes in Computer Science 670) Hal 388-402
Author: Jonathan Jacky; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
A provably correct embeded verifier for the certification of safety critical software, (LNCS-Lecture Notes in Computer Science 999)Hal. 202-231
Author: Alesandro Cimatti; Fausto Giunchiglia; Paolo Peechiari; Bruno Pietra; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Accelerating matrix product on reconfigurable hardware for signal processing, (LNCS-Lecture Notes in Computer Science 2147) Hal 101-111
Author: Abbes Amira; Ahmed Bouridane; Peter Milligan; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Combined systolic array for matrix portrait computation, (LNCS-Lecture Notes in Computer Science 1557) Hal 58-67
Author: Gabriel Oksa; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Environmental Noise Classification for Context-Aware Applications (360-370)
Author: Ling Ma Dan Smith Ben Milner; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next