| Your search for 38300 returns 4398 document(s) |
| X-MatchPRO: proASIC-based 200 mbytes/s full-duplex lossless data compressor, (LNCS-Lecture Notes in Computer Science 2147) Hal 613-617 |
|
Author: Jose Luis Nunez; Claudia Feregrino; Simon Jones; Stephen Bateman; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| FPGA-based modelling unit for high speed lossless arithmetic coding, (LNCS-Lecture Notes in Computer Science 2147) Hal 643-647 |
|
Author: Riad Stefo; Jose Luis Nunez; Claudia Feregrino; Sudipta Mahapatra; Simon Jones; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A data re-use based compiler optimization for FPGAs, (LNCS-Lecture Notes in Computer Science 2147) Hal 648-652 |
|
Author: Ram Subramanian; Santosh Pande; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification of coccurent program temporal proof principles, (LNCS-Lecture Notes in Computer Science 131) Hal. 200- 252 |
|
Author: Zohar Manna; Amir Pneuli; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A data mining framework for building intrusion detection models based on IPv6, (LNCS-Lecture Notes in Computer Science 5576) Hal 608-618 |
|
Author: Zenghui Liu; Yingxu Lai; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Solving irregular inter-processor data dependency in image understanding tasks, (LNCS-Lecture Notes in Computer Science 1557) Hal 236-245 |
|
Author: Yongwha Chung; Jin-Won Park; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data-structures for the verification of timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 346-360 |
|
Author: Eugene Asarin; Marius Bozga; Alain Kerbrat; Oded Maler; Amir Pnueli; Anne Rasse; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An EVES data abstraction example, (LNCS-Lecture Notes in Computer Science 670) Hal 578-596 |
|
Author: Mark Saaltink; Sentot Kromodimoeljo; Bill Pase; Dan Craigen; Irwin Meisels; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the automatic verification of systems with continous variables and unbounded discrete data structures, (LNCS-Lecture Notes in Computer Science 999) |
|
Author: Ahmed BBouajjani; Rachid Echahed; Riadh Robbana; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Toward a logical theory of program data, (LNCS-Lecture Notes in Computer Science 131) Hal. 37-51 |
|
Author: Robert Cartwright; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result