Digital Logic Design Using Verilog Coding and RTL Synthesis.bak

The advent of multicore processors has renewed interest in the idea of incorporating transactions into the programming model used to write parallel programs.This approach, known as transactional memory, offers an alternative, and hopefully better, way to coordinate concurrent threads. The ACI (atomicity, consistency, isolation) properties of transactions provide a foundation to ensure that con- current reads and writes of shared data do not produce inconsistent or incorrect results. At a higher level, a computation wrapped in a transaction executes atomically - either it completes successfully and commits its result in its entirety or it aborts. In addition, isolation ensures the transaction pro- duces the same result as if no other transactions were executing concurrently. Although transactions are not a parallel programming panacea, they shift much of the burden of synchronizing and co- ordinating parallel computations from a programmer to a compiler, to a language runtime system, or to hardware. The challenge for the system implementers is to build an efficient transactional memory infrastructure. This book presents an overview of the state of the art in the design and implementation of transactional memory systems, as of early spring 2010.

Logic Synthesis and Verification Algorithms

射电，天文，综合孔径成像，数字接收机，相干观测，从事天文射电领域的教材

This paper is a survey of the theory and methods of photogrammetric bundle adjustment, aimed at potential implementors in the computer vision community. Bundle adjustment is the problem of refining a visual reconstruction to produce jointly optimal structure and viewing parameter estimates. Topics covered include: the choice of cost function and robustness; numerical optimization including sparse Newton methods, linearly convergent approximations, updating and recursive methods; gauge (datum) invariance; and quality control. The theory is developed for general robust cost functions rather than restricting attention to traditional nonlinear least squares.

Henrik Wann Jensen PDF 扫描版，photon mapping 经典书籍

IC设计三大经典书籍，Advanced ASIC Chip Synthesis Using Synopsys Design Compiler,physical compiler and Primetime

High-Level Synthesis蓝皮书，高级语言综合中的经典教材!!!

很好的学习资料，中文英文都有，可以根据自己的情况学习

关于photo mapping最经典的书，是photo mapping的创始人写的书。