1.Aussagenlogik 1.1 Gleichwertiges Kalkül 1.2 Normalform Einfache Disjunktion besteht aus Disjunktion endlicher Aussagensvariable order deren Negation Einfache Konjunktion besteht aus Konjunktion endlicher Aussagensvariable oder deren Negation Disjun…

Ausdruck auf Deutsch Lösen Problem der Abteilung. 求导. Die Abteilung von 3x ist 3. 3x的导数是3 Lösen Problem des Integrals. 求积分 Das Integral von 3x ist 1.5x2+C. 3x的一重积分是1.5x2+C Mathematisches Wort 公式:Die Formel 单项式:Das Monom 多项式:Das Polynom 系数:Die Koeffie…

转载:http://duanple.blog.163.com/blog/static/70971767201281610126277/   作者:Grzegorz Malewicz, Matthew H. Austern .etc.Google Inc 2010-6 原文:http://people.apache.org/~edwardyoon/documents/pregel.pdf 译者:phylips@bmy 2012-09-14 译文:http://duanple.blog.163.co…

DNS简介在Linux中,域名服务(DNS)是由柏克莱网间名域(Berkeley Internet Name Domain——BIND)软件实现的.BIND是一个客户/服务系统,它的客户方面称为转换程序(resolver),它产生域名信息的查询,将这类信 息发送给服务器,DNS软件回答转换程序的查询.BIND的服务方面是一个称为named(读作“name”“d”)的守护进程. 我们将讨论三种基本BIND配置任务: 配置BIND转换程序. 配置BIND域名服务. 建立服务器数据库文件,称为“区文件…

作者:Dominik Göddeke                 译者:华文广 Contents 介绍 准备条件 硬件设备要求 软件设备要求 两者选择 初始化OpenGL GLUT OpenGL 扩展 OpenGL 离屏渲染 GPGPU 概念1: 数组 = 纹理 在CPU上建立数组 在 GPU上生成浮点纹理 数组索引与纹理坐标一一对应 使用纹理作渲染对像 把数据从CPU数组传输到GPU的纹理 把数据从GPU的纹理传输到CPU数组 一个简单的示例 GPGPU 概念 2: 内核 = 着色器 面向…

c++资源之不完全导引 (转) 转:http://www.cnblogs.com/suiyingjie/archive/2008/02/24/1079411.html 本文2004年5月首发于<CSDN开发高手>,版权归该杂志与<程序员>杂志社所有.杂志限于篇幅部分内容有所删节,此处版本为相对完整版本. .本文为介绍性文章,会随笔者学习C++语言不断更新. -------------------------------- 无数次听到“我要开始学习C++!”的呐喊,无数次听到“C++…

[说明:Pregel这篇是发表在2010年的SIGMOD上,Pregel这个名称是为了纪念欧拉,在他提出的格尼斯堡七桥问题中,那些桥所在的河就叫Pregel.最初是为了解决PageRank计算问题,由于MapReduce并不适于这种场景,所以需要发展新的计算模型去完成这项计算任务,在这个过程中逐步提炼出一个通用的图计算框架,并用来解决更多的问题.核心思想源自BSP模型,这个就更早了,是在上世纪80年代由Leslie Valiant(2010年图灵奖得主)提出,之后在1990的Communicat…

http://www.pascaland.org/pascall.htm Some titles (french) : Compilateurs Pascal avec sources = compiler with sourcesComposants pour Delphi = Components for DelphiCompilateurs pour autres langages avec sources en pascal = Compilers for other languages…

* stackoverflow: how does BLAS get such extern performance * Howto optimizate GEMM http://wiki.cs.utexas.edu/rvdg/HowToOptimizeGemm/ * ulmBLAS: http://apfel.mathematik.uni-ulm.de/~lehn/sghpc/gemm/ * CPU intrisics optimizations: http://www.cnblogs.com…

ISSN Abbreviated Journal Title Full Title Category Subcategory Country total Cites IF        2013-2014 IF 2012-2013 IF 2011-2012 IF 2010-2011 IF 2009-2010 IF 2008-2009 IF 2007-2008 5-Year Impact Factor Immediacy Index Articles Cited Half-Life Eigenfa…