Professional verification-A guider for advanced functional verification:Author:PAUL WILCOX Including:Verication practice, Resource usage,The Unified Verification Methodology.etc.
資源簡(jiǎn)介：Professional verification-A guider for advanced functional verification:Author:PAUL WILCOX Including:Verication practice, Resource usage,The Unified verification Methodology.etc.
上傳時(shí)間： 2014-01-17
上傳用戶：三人用菜
資源簡(jiǎn)介：In C Algorithms for Real-Time DSP, author Paul M. Embree presents a complete guide to digital signal processing techniques in the C programming language. This book is structured in such a way that it will be most useful to the engineer who ...
上傳時(shí)間： 2014-01-07
上傳用戶：epson850
資源簡(jiǎn)介：Writing_Testbench functional verification of HDL Models Janick Bergeron
上傳時(shí)間： 2016-06-13
上傳用戶：nanfeicui
資源簡(jiǎn)介：For advanced geometry, most apps will prefer to load pre-authored meshes from a file. Fortunately, when using meshes, D3DX does most of the work for this, parsing a geometry file and creating vertx buffers for us. This tutorial shows how...
上傳時(shí)間： 2013-12-26
上傳用戶：sssl
資源簡(jiǎn)介：This resource is designed as a text for educational programs in advanced programming and as a reference for Professionals implementing Web- and Internet-based applications.
上傳時(shí)間： 2014-01-13
上傳用戶：181992417
資源簡(jiǎn)介：QReader - is a small but very functional e-book reader for Symbian platform (S60-2, S60-3, UIQ2, UIQ3). It support TXT, DOC, PRC, FB2 formats.
上傳時(shí)間： 2013-12-20
上傳用戶：Avoid98
資源簡(jiǎn)介：BugTrack is a basic, yet fully functional web based Bug Tracking system that you may use as a framework to create an expanded system or use as is . Great for small teams working on software projects. Features include: - Search by Proje...
上傳時(shí)間： 2017-04-02
上傳用戶：qilin
資源簡(jiǎn)介：This is a document for CYCLONE Develop Kits type LJ-FN300 FPGANIOS. Wish this would help you to find what kits can be select to use.
上傳時(shí)間： 2013-08-16
上傳用戶：563686540
資源簡(jiǎn)介：PQP is a library for performing three types of proximity queries on a pair of geometric models composed of triangles:
上傳時(shí)間： 2014-01-13
上傳用戶：love_stanford
資源簡(jiǎn)介：title=Windows NT/2000/XP 一個(gè)RAM-DISK文件系統(tǒng)驅(qū)動(dòng) memo=SwapFs is a driver for Windows NT/2000/XP that let you use a Linux swap partition for temporary storage, like a RAM-disk. It is possible to put Windows page file on it. It is implemente...
上傳時(shí)間： 2015-02-04
上傳用戶：ljmwh2000
資源簡(jiǎn)介：title=Windows NT/2000/XP 一個(gè)RAM-DISK文件系統(tǒng)驅(qū)動(dòng) memo=SwapFs is a driver for Windows NT/2000/XP that let you use a Linux swap partition for temporary storage, like a RAM-disk. It is possible to put Windows page file on it. It is implemente...
上傳時(shí)間： 2014-01-25
上傳用戶：sdq_123
資源簡(jiǎn)介：RFC1055 A NONSTANDARD FOR TRANSMISSION OF IP DATAGRAMS OVER SERIAL LINES: SLIP
上傳時(shí)間： 2015-03-18
上傳用戶：zhaiyanzhong
資源簡(jiǎn)介：RFC1088——A Standard for the Transmission of IP Datagrams over NetBIOS Networks
上傳時(shí)間： 2015-03-18
上傳用戶：chenxichenyue
資源簡(jiǎn)介：Stantor is a Domotic project. It is a SCADA for the computer interface board K8055 (USB bus), K8000 (I2C bus) , X10 modules and also Webcam. It uses Browser WEB, I-mode and Wap2/Wap1, Apache,mySQL, PHP, javascript. It run with Linux 2.4 or ...
上傳時(shí)間： 2013-12-18
上傳用戶：sevenbestfei
資源簡(jiǎn)介：gperiodic is a program for browsing the periodic table and looking up data for different elements. It also features a non-graphical interface. gperiodicOrb是一個(gè)瀏覽元素周期表和查詢不同元素的數(shù)據(jù)的程序。它有一個(gè)非圖形化的界面。
上傳時(shí)間： 2013-12-25
上傳用戶：亞亞娟娟123
資源簡(jiǎn)介：We demonstrate a method for encoding and decoding the [24,12,8] extended binary Golay code using a simple apparatus. We also present several generalizations of this construction which admit similar decoding algorithms.
上傳時(shí)間： 2013-12-20
上傳用戶：moshushi0009
資源簡(jiǎn)介：a tool for modifying the boot logo of linux system
上傳時(shí)間： 2014-11-06
上傳用戶：zxc23456789
資源簡(jiǎn)介：A datasheet for DW8051 high performance 8051
上傳時(shí)間： 2015-05-03
上傳用戶：ynzfm
資源簡(jiǎn)介：He was the first one (I noticed of) who coded a decrypter for yC 1.2 :)...good job. Also if it hasn t full support yet >:-) So as I promised...here s the source code. I hope it helps someone.
上傳時(shí)間： 2015-05-03
上傳用戶：498732662
資源簡(jiǎn)介：This a script for 3 TCP connections with a RED bottleneck buffer. Parameters are configured automatically
上傳時(shí)間： 2015-05-11
上傳用戶：1427796291
資源簡(jiǎn)介：This a script for working with short TCP files with several source nodes, sharing a single bottleneck link with a RED buffer
上傳時(shí)間： 2013-12-15
上傳用戶：Miyuki
資源簡(jiǎn)介：This a script for working with short TCP files with several source nodes, sharing a single bottleneck link. It is used to show how with proper choice of CIR, marking decreases losses of vulnerable packets (syns etc).
上傳時(shí)間： 2015-05-11
上傳用戶：aa17807091
資源簡(jiǎn)介：GUI Ant-Miner is a tool for extracting classification rules from data. It is an updated version of a data mining algorithm called Ant-Miner (Ant Colony-based Data Miner), which was proposed in 2002 by Parpinelli, Lopes and Freitas.
上傳時(shí)間： 2015-05-13
上傳用戶：ainimao
資源簡(jiǎn)介：A Primer for the Monte Carlo Method.rar
上傳時(shí)間： 2014-11-22
上傳用戶：龍飛艇
資源簡(jiǎn)介：Delineate is a tool for converting bitmap raster images to SVG (Scalable Vector Graphics) using AutoTrace or potrace. It displays SVG results using Apache Batik. Input formats are JPEG, PNG, GIF, BMP, TIFF, PNM, PBM, PGM, PPM, IFF,PCD, PSD,...
上傳時(shí)間： 2014-01-19
上傳用戶：四只眼
資源簡(jiǎn)介：Hidden Markov Toolkit (HTK) 3.2.1 HTK is a toolkit for use in research into automatic speech recognition and has been developed by the Speech Vision Robotics Group at the Cambridge University Engineering Department (http://svr-www.eng.cam....
上傳時(shí)間： 2015-05-26
上傳用戶：myworkpost
資源簡(jiǎn)介：The "JTAG-GDB server" is a program for integrating the ARM-Embedded ICE logic with the GNU-Debugger GDB.
上傳時(shí)間： 2014-01-25
上傳用戶：LouieWu
資源簡(jiǎn)介：4.asm 4.obj a program for manage the student s data
上傳時(shí)間： 2014-01-10
上傳用戶：從此走出陰霾
資源簡(jiǎn)介：This is SvmFu, a package for training and testing support vector machines (SVMs). It s written in C++. It uses templates. The advantage of templates is that the types of kernel values and data points can be varied to suit the problem.
上傳時(shí)間： 2015-07-03
上傳用戶：zhengzg
資源簡(jiǎn)介：nice book for advanced C/C++ programmer
上傳時(shí)間： 2015-07-06
上傳用戶：koulian
