Divisi.tar.gz - python + c
a library for reasoning by analogy over semantic networks
using the sparse singular-value decomposition.
,2009-08-22 18:00:34,下载2次
codeviz.tar.gz - Helps creation of call graphs for C and C++ so that function flow can be visualised. ,2009-08-22 17:56:03,下载6次
lectures_of_prof.biswas.tar.gz - notes from prof. biswas course fundamentals really, but good.,2009-08-22 17:45:38,下载1次
DSP_Algorithms_for_programmers.pdf.gz - Useful collection of algorithms, code-snippets, handy tricks and explantions,2009-08-22 17:38:04,下载3次
Morgan.Kaufmann.ASIC.and.FPGA.Verification.A.Guid - ASIC and FPGA Verification: A Guide to Component Modeling is organized so that it
can be read linearly from front to back. Chapters are grouped into four parts: Intro-
duction, Resources and Standards, Modeling Basics, and Advanced Modeling. Each
part covers a number of related modeling concepts and techniques, with individ-
ual chapters building upon previous material.
,2009-08-22 17:31:04,下载2次
Practical_Statecharts_in_C___C___Quantum_Programm - My primary mission in this book is to offer a simple, lightweight alternative to a design automation tool by
providing concrete, efficient, and proven implementations of statecharts that every practitioner reasonably
proficient in C or C++ can start using within days.
• The techniques needed to implement and use UML statecharts — the main constructive element in the
UML specification (presented in Part I).
• A real− time application framework — a complete software infrastructure for executing statecharts,
tailored to embedded real− time systems and based on active objects and asynchronous event passing
(presented in Part II).
,2009-08-22 17:24:55,下载3次