Professional verification-A guider for advanced functional verification:Author:PAUL WILCOX Including:Verication practice, Resource usage,The Unified Verification Methodology.etc.
资源简介：Professional verification-A guider for advanced functional verification:Author:PAUL WILCOX Including:Verication practice, Resource usage,The Unified verification Methodology.etc.
上传时间： 2014-01-17
上传用户：三人用菜
资源简介：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 ...
上传时间： 2014-01-07
上传用户：epson850
资源简介：Writing_Testbench functional verification of HDL Models Janick Bergeron
上传时间： 2016-06-13
上传用户：nanfeicui
资源简介：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...
上传时间： 2013-12-26
上传用户：sssl
资源简介：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.
上传时间： 2014-01-13
上传用户：181992417
资源简介：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.
上传时间： 2013-12-20
上传用户：Avoid98
资源简介：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...
上传时间： 2017-04-02
上传用户：qilin
资源简介：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.
上传时间： 2013-08-16
上传用户：563686540
资源简介：PQP is a library for performing three types of proximity queries on a pair of geometric models composed of triangles:
上传时间： 2014-01-13
上传用户：love_stanford
资源简介：title=Windows NT/2000/XP 一个RAM-DISK文件系统驱动 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...
上传时间： 2015-02-04
上传用户：ljmwh2000
资源简介：title=Windows NT/2000/XP 一个RAM-DISK文件系统驱动 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...
上传时间： 2014-01-25
上传用户：sdq_123
资源简介：RFC1055 A NONSTANDARD FOR TRANSMISSION OF IP DATAGRAMS OVER SERIAL LINES: SLIP
上传时间： 2015-03-18
上传用户：zhaiyanzhong
资源简介：RFC1088——A Standard for the Transmission of IP Datagrams over NetBIOS Networks
上传时间： 2015-03-18
上传用户：chenxichenyue
资源简介：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 ...
上传时间： 2013-12-18
上传用户：sevenbestfei
资源简介：gperiodic is a program for browsing the periodic table and looking up data for different elements. It also features a non-graphical interface. gperiodicOrb是一个浏览元素周期表和查询不同元素的数据的程序。它有一个非图形化的界面。
上传时间： 2013-12-25
上传用户：亚亚娟娟123
资源简介：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.
上传时间： 2013-12-20
上传用户：moshushi0009
资源简介：a tool for modifying the boot logo of linux system
上传时间： 2014-11-06
上传用户：zxc23456789
资源简介：A datasheet for DW8051 high performance 8051
上传时间： 2015-05-03
上传用户：ynzfm
资源简介：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.
上传时间： 2015-05-03
上传用户：498732662
资源简介：This a script for 3 TCP connections with a RED bottleneck buffer. Parameters are configured automatically
上传时间： 2015-05-11
上传用户：1427796291
资源简介：This a script for working with short TCP files with several source nodes, sharing a single bottleneck link with a RED buffer
上传时间： 2013-12-15
上传用户：Miyuki
资源简介：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).
上传时间： 2015-05-11
上传用户：aa17807091
资源简介：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.
上传时间： 2015-05-13
上传用户：ainimao
资源简介：A Primer for the Monte Carlo Method.rar
上传时间： 2014-11-22
上传用户：龙飞艇
资源简介：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,...
上传时间： 2014-01-19
上传用户：四只眼
资源简介：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....
上传时间： 2015-05-26
上传用户：myworkpost
资源简介：The "JTAG-GDB server" is a program for integrating the ARM-Embedded ICE logic with the GNU-Debugger GDB.
上传时间： 2014-01-25
上传用户：LouieWu
资源简介：4.asm 4.obj a program for manage the student s data
上传时间： 2014-01-10
上传用户：从此走出阴霾
资源简介：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.
上传时间： 2015-07-03
上传用户：zhengzg
资源简介：nice book for advanced C/C++ programmer
上传时间： 2015-07-06
上传用户：koulian
