-
-
practical_design_verification.rar
... -level debugging.
The foundations of formal and simulation-based techniques are covered too, as are
more recent research advances including transaction-level modeling and assertionbased
verification, plus the theoretical underpinnings of verification, ...
-
numerical_optimization_0387303030.rar
springer Series in Operations Research
and Financial Engineering
This is a book for people interested in solving optimization problems. Because of the wide
(and growing) use of optimization in science, engineering, economics, and industry, it is
...
-
-
-
-
-
srilm_vc2008.zip
The SRI Language Modeling Toolkit contains a bunch of useful utilities for language modeling related research. The standard toolkit only includes build procedures for unix and Windows using Cygwin. I wanted to use the libraries in a Visual Studio project, ...
-
ofdmbpsk.rar
it is very useful for those students who want to do research in ofdm
-
-
-