- 博客(0)
- 资源 (35)
- 收藏
- 关注
RSS订阅TuringCollectedPublications.pdf
This is the classic paper which first established Turing's reputation and by which
he will longest be remembered. The argument falls into three parts.
A. The notion of a Turing machine is introduced and it is argued that any computation,
which can be performed by a human can be imitated by such a
machine.
B. It is shown that there is a universal machine which, when provided with a
standard description of any Turing machine will imitate the action of that
machine.
C. A diagonal argument is used to show that there are questions about the actions
of Turing machines which cannot be answered by any machine. By formalizing
the action of Turing machines in the lower predicate calculus it is shown
that the Entscheidungsproblem is mechanically undecidable.
2021-05-13
SV std-2012-revised and DPI.rar
System Verilog的2012修订标准以及SV与C/C++的DPI程序接口材料：SystemVerilog introduces a new foreign language interface called the Direct Programming Interface (DPI). The DPI provides a very simple, straightforward, and efficient way to connect SystemVerilog and foreign language code unlike PLI or VPI.
2020-05-04
HSA Specification Version 1.2.pdf
http://www.hsafoundation.com/standards/
The contents of this document are provided in connection with the HSA Foundation specifications. This specification is protected by copyright laws and contains material proprietary to the HSA Foundation. It or any components may not be reproduced, republished, distributed, transmitted, displayed, broadcast or otherwise exploited in any manner without the express prior written permission of HSA Foundation. You may use this specification for implementing the functionality therein, without altering or removing any
trademark, copyright or other notice from the specification, but the receipt or possession of this specification does not convey any rights to reproduce, disclose, or distribute its contents, or to manufacture, use, or sell anything that it may describe, in whole or in part.
2020-04-12
Rendering with DirectX & Direct3D 11.3 Functional Specification.pdf
Rendering with DirectX整合了部分DX相关的资料，包含DX11的pipeline function spec
2020-04-04
CG_std_collection[2020].pdf
We present a system architecture for the 4th generation of PCclass programmable graphics processing units (GPUs). The new pipeline features significant additions and changes to the prior generation pipeline including a new programmable stage capable of generating additional primitives and streaming primitive data to memory, an expanded, common feature set for all of the programmable stages, generalizations to vertex and image memory resources, and new storage formats. We also describe structural modifications to the API, runtime, and shading language to complement the new pipeline. We motivate the design with descriptions of frequently encountered obstacles in current systems. Throughout the paper we present rationale behind prominent design choices and alternatives that were ultimately rejected, drawing on insights collected during a multi-year collaboration with application developers and hardware designers.
2020-02-23
ISO-IEC_14882-C++[1st-1998]&CP.pdf
These materials are subject to copyright claims of International Standardization Organization (ISO), International Electrotechnical Commission (IEC), American National
Standards Institute (ANSI), and Information Technology Industry Council (ITI). Not for resale. No part of this publication may be reproduced in any form, including an electronic retrieval system, without the prior written permission of ITI. All requests pertaining to this standard should be submitted to ITI, 1250 Eye Street NW, Washington, DC 20005.
2020-02-07
C&C++ Ref.text-002.pdf
1）This document aims to provide people who have done an introductory programming course the skills required to write C++ programs.
2）This book draws on all my experience with both C++ and multithreading and aims to teach other C++ developers how to use the C++11 Thread Library safely and efficiently. I also hope to impart some of my enthusiasm for the subject along the way.
2019-12-22
C&C++ Language Std.and Ref.Doc.pdf
Working Draft, Standard for Programming Language C++：This document specifies requirements for implementations of the C++ programming language. The first such requirement is that they implement the language, so this document also defines C++. Other requirements and relaxations of the first requirement appear at various places within this document.
2019-12-22
C&C++ Ref.text-001.pdf
This textbook began as a set of lecture notes for a first-year undergraduate software engineering course in 2003. The course was run over a 13-week semester with two lectures a week. The intention of this text is to cover topics on the C programming language and introductory software design in sequence as a 20 lecture course, with the material in Chapters 2, 7, 8, 11, and 13 well served by two lectures apiece. Ample cross-referencing and indexing is provided to make the text a servicable reference, but more complete works are recommended. In particular, for the practicing programmer, the best available tutorial and reference is Kernighan and Ritchie [KR88] and the best in-depth reference is Harbison and Steele [HS95, HS02]. The influence of these two works on this text is readily apparent throughout.
2019-12-22
eBooks Package of Computer Graphics and Parallel Computing.pdf
Including OpenGL, OpenCL quick ref card, and spec of OpenGL. Some books about computer graphics is also packed in this PDF
2019-12-01
MESH Shader & Rendering.pdf
MOTIVATION
• Vegetation, undergrowth, greebles
• Fine geometric detail at massive scale
• Pre-computed topologies for LODs
• Efficient submission of small objects
• Flexible instancing
2019-12-01
Dissecting the NVidia Turing T4 GPU via Microbenchmark.pdf
In 2019, the rapid rate at which GPU manufacturers refresh their designs, coupled with their reluctance to disclose microarchitectural details, is still a hurdle for those software designers who want to extract the highest possible performance from GPUs.....
2019-11-29
The Directory-Based Cache Coherence Protocol for the DASH Multiprocessor.pdf
The Directory-Based Cache Coherence Protocol for the DASH Multiprocessor
2019-11-29
glspec46.compatibility.pdf
This specification is protected by copyright laws and contains material proprietary to Khronos. Except as described by these terms, it or any components may not be reproduced, republished, distributed, transmitted, displayed, broadcast or otherwise exploited in any manner without the express prior written permission of Khronos.
2019-11-29
vulkan11-reference-guide.pdf
Vulkan® is a graphics and compute API consisting of procedures and functions to specify shader programs, compute kernels, objects, and operations involved in producing high-quality graphical images, specifically color images of three-dimensional objects. Vulkan is also a pipeline with programmable and state-driven fixed-function stages that are invoked by a set of specific drawing operations.
2019-11-22
Mitigating GPU Memory Divergence for Data-Intensive Applications PhD
Mitigating GPU Memory Divergence for Data-Intensive Applications, A degree paper for PHD
2018-06-18
Java编程思维 (图灵程序设计丛书) 艾伦·唐尼
本书从基本的编程术语入手，用代码示例诠释计算机科学概念，旨在教会读者像计算机科学家那样思考，并掌握解决问题这一重要技能。书中内容共分为14章、3个附录，每章末都附有术语表和练习。
2018-06-18
Binary Adder Architectures for Cell-Based VLSl and their synthesis
Binary Adder Architectures for Cell-Based VLSl and their synthesis 关于二进制加法VLSI设计实现的博士论文
2011-12-16
A Practical Approach To Signals,Systems,and Control
A Practical Approach To Signals,Systems,and Control信号、系统及控制的实用方法——英文书籍
2011-10-16
Computer_Architecture-Complexity And Correctness(Risc Design
IBM德国研究中心研究员写的一本关于RISC架构及复杂性的书
2011-10-01
Synthesis of Arithmetic Circuits - FPGA, ASIC and Embedded Systems 2006
一本极好的计算机算术算法综合的书——Wiley2006
2011-10-01
Memory Dump Analysis Anthology ,Volume 2
be useful for:
- Software engineers developing and maintaining products on Windows platforms.
- Technical support and escalation engineers dealing with complex soft-ware issues.
- Some articles will be of interest to a general Windows user
2011-10-01
Floating-Point Fused Multiply-Add Architectures
Floating-Point Fused Multiply-Add Architectures，关于浮点乘加融合部件设计的博士论文2007
2011-09-08
On the design of high performance digital arithmetic units
On the design of high performance digital arithmetic units,斯坦福大学博士论文——关于浮点运算部件的设计
2011-09-08
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人