Search Result

Your search for 40577 returns 2279 document(s)

Efficient modeling of memory arrays in symbolic simulation, (LNCS-Lecture Notes in Computer Science 1254)Hal. 368-399

Author: Miroslav Velev; Randal E. Bryant; Alok Jain; | Call Number: 004 Int c | Type: Indeks Artikel LNCS

The G12 project: mapping solver independent models to efficient solutions, (LNCS-Lecture Notes in Computer Science 3668) Hal 9-13

Author: Peter J. Stuckey; Maria Garcia de la Banda; Michael Maher; Kim Marriott; John Slaney; Zoltan Somogyi; Mark Wallace; Toby Walsh; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS

A generator of efficient abstract machine implementations and its application to emulator minimization, (LNCS-Lecture Notes in Computer Science 3668) Hal 21-36

Author: Jose F. Morales; Manuel Carro; German Puebla; Manuel V. Hermenegildo; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS

Efficient key updating signaturn schemes based on IBS, LNCS-Lecture Notes in Computer Science 2898), Hal. 167-182

Author: Dae Hyun Yum and Pil Joong Lee; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS

Efficient and flexible methods for translet versioning of records to avoid locking by read-only transactions (hal 124 - 133)

Author: C.Mohan, Hamid Pirahesh, Raymond Lorie; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem

ARIES/IM: An efficient and high concurrency index management method using write-ahead logging (hal 371 - 382)

Author: C.Mohan , Frank Levine; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem

Real time UML: developing efficient objects for embeded systems/Bruce Powel Douglas

Author: Douglas, Bruce Powel; | Call Number: 005.117 Dou r | Type: Buku

Pengembangan Metode Efficient Neural Network (ENet) untuk Segmentasi Semantik pada Video Tangkapan UAV

Author: Naili Suri Intizhami; | Call Number: T-1276 (Softcopy T-984) Source code T-333 Mak T-80 | Edition: 2020 | Type: Tesis

Pengembangan Metode Efficient Neural Network (ENet) Untuk Segmentasi Semantik Pada Video Tangkapan UAV

Author: Naili Suri Intizhami; Wisnu Jatmiko; | Call Number: Mak T Jilid 071-095 (T-1276) (Mak T-080) | Type: Makalah Tesis

An Efficient Tree-Structure Index Allocation Method over Multiple Broadcast Channels in Mobile Environments (433-443)

Author: Byungkyu Lee Sungwon Jung; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem

Prev 16 17 18 19 20 21 22 23 24 25 Next