Search Result Save to File Save as CSV
Your search for 37163 returns 649 document(s)
Wasabi: framework for real-time speech analysis applications (demo), (LNCS-Lecture Notes in Computer Science 2773) Hal 105-108
Author: Eric W. Brown; Anni R. Coden; | Call Number: 006.4 Cod i | 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 
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 
State clock logic: a decidable real-time logic, (LNCS-Lecture Notes in Computer Science 1201) Hal 33-47
Author: Jean-Francois Raskin; Pierre-Yves Schobbens; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A digital real-time simulator for rail-vehicle control system testing, (LNCS-Lecture Notes in Computer Science 1201) Hal 199-212
Author: Peter Terwiesch; Erich Scheiben; Anders Jenry Petersen; Thomas Keller; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
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 
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 
Prev   11 12 13 14 15 16 17 18 19 20  Next