| Your search for 38818 returns 4788 document(s) |
| Programs with quasi-stable channels are effectively recognizable, (LNCS-Lecture Notes in Computer Science 1254)Hal. 304-315 |
|
Author: Gerard CECE; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trace table based approach for pipelined microprocessor verfication, (LNCS-Lecture Notes in Computer Science 1254), Hal. 364-375 |
|
Author: Jun Sawada and Warren A. Hunt Jr.; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation, (LNCS-Lecture Notes in Computer Science 1254) Hal 244-255 |
|
Author: Manish Pandey; Randal E. Bryant; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An improved reachability analysis method for strongly linear hybrid systems (extended abstract),(LNCS-Lecture Notes in Computer Science 1254) Hal 167-178 |
|
Author: Bernard Boigelot; Louis Bronne; Stephane Rassart; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Static Checking of System Behaviors Using Derived Component Assumptions, page 239-272 |
|
Author: Paola Inverardi, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient Processing of Spatial Joins Using R-trees (237-246) |
|
Author: Thomas Brinkhoff
Hans-Peter Kriegel; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multi-resolution modeling of power converter using waveform reconstruction, Hal. 165-174 |
|
Author: Yuwei Luo, Roger Douglas, Enrico Santi; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Co-reference resolution for the indonesian language using association rules. ( hal. 117-125 ) |
|
Author: Indra Budi, Stephane Bressan, Nasrullah; | Call Number: SEM-363 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Model -Checking Verification Environment for Mobile Processes, page 440-472 |
|
Author: G. -L. Ferrari, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software Engineering: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking |
|
Author: E. Clarke, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result