Search Result

Your search for 40474 returns 708 document(s)

Parallel simulation of communicating finite state machines, Hal. 143-150

Author: Carl Tropper and Azzedine Boukerche; | Call Number: SEM-188 | Type: Indeks Artikel prosiding/Sem

Supervisory control of finite state machines, (LNCS-Lecture Notes in Computer Science 939) Hal 279-292

Author: A. Aziz; F. Balarin; R. K. Brayton; M. D. DiBenedetto; A. Saldanha; A. L. Sangiovanni-Vincentelli; | Call Number: 004 Int c | Type: Indeks Artikel LNCS

A Scalable devide-and conquer parallel algorithm for finite state automata and its applications, 193-194

Author: Z. George Mou; Sevan G. Ficici; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem

Parallel and distributed simulation systems

Author: Fujimoto, Richard M.; | Call Number: 003.343 5 Fuj p | Type: Buku

Penerapan finite state machine dalam skema transaksi tokopedia

Author: Aji Imawan Omi; | Call Number: KP-2943 | Type: Kerja Praktek (KP)

Abstract state machines: a method for high-level system design and analysis

Author: Borger, Egon; | Call Number: 004.2 Bor a | Type: Buku

Mathematical models and finite elements for reservoir simulation

Author: Chavent, Guy; | Call Number: 622.188 2 Cha m | Type: Buku

Parallel sparse matrix computation in iteractive solvers on distributed memory machines, Hal. 454-459

Author: Achim Basermann; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem

Execution-driven tools for parallel simulation of parallel architectures and applications

Author: David K. Poulsen and Pen-Chung Yew; | Call Number: SEM-193 | Type: Indeks Artikel prosiding/Sem

Abstract state machines: an overview of the project, (LNCS-Lecture Notes in Computer Science 2942)Hal. 6-13

Author: Yuri Gurevich; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS

Prev 1 2 3 4 5 6 7 8 9 10 Next