下载 >  课程资源 >  讲义 > Formal Methods for Multicore Programming SFM 2015

Formal Methods for Multicore Programming SFM 2015 评分:

Formal Methods for Multicore Programming SFM 2015
2016-07-08 上传大小:10.83MB
想读
分享
收藏 举报
Multicore and GPU Programming An Integrated Approach.pdf

Multicore and GPU Programming An Integrated Approach.pdf

立即下载
Multicore and GPU Programming

多核与GPU编程英文版,Multicore and GPU Programming

立即下载
Professional Multicore Programming Design and Implementation for C++

Professional Multicore Programming Design and Implementation for C++

立即下载
Parallel and Concurrent Programming in Haskell.pdf

Parallel and Concurrent Programming in Haskell.pdf Parallel and Concurrent Programming in Haskell.pdf

立即下载
C++多核高级编程.[美]Cameron Hughes,Tracey Hughes(带详细书签,整理了页面大小)

原版本没有书签,页面大小不一致,花点时间整理了一下。 本书主要内容:1:并发编程和同步带来的各种缺陷、陷阱和挑战;2:调试和测试多核编程的方法与技术;3:如何使用跨下台技术米利用处理器的特定特性;4:操作系统在多核编程中的任务;5:将框架类作为并发构建块加以利用的方法;6:如何通过使用接口类宋降低任务同步和通信的复杂性。本书适合于希望从事多核编程和多核应用程序开发的开发人员 为了提高系统总体性能,计算机厂商已经选择增加更多的处理器,而不是提高时钟频率。相应地,如果您希望应用程序能够通过使用下一代处理器提高性能,就必须为了利用多处理器计算机而对应用程序进行改写。 本书的两位作者具有丰富的经验,虽

立即下载
Bayesian methods for hackers.pdf

Bayesian methods are one of many in a modern data scientist’s toolkit. They can be used to solve problems in prediction, classification, spam detection, ranking, inference, and many other tasks. However, most of the material out there on Bayesian statistics and inference focuses on the mathematical

立即下载
The Go Programming Language (labeled)

The Go Programming Language (Go语言圣经)英文版,带标签,内容清晰。本书是Go语言学习的必读书籍。 The Go programming language is an open source project to make programmers more productive. Go is expressive, concise, clean, and efficient. Its concurrency mechanisms make it easy to write programs that get the most out of multicore a

立即下载
Probabilistic Programming and Bayesian Methods for Hackers读书笔记

Probabilistic Programming and Bayesian Methods for Hackers的读书笔记,原文链接:https://github.com/CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

立即下载
High Performance Parallelism Pearls, Vol. 2

High Performance Parallelism Pearls Volume Two: Multicore and Many-core Programming Approaches

立即下载
Practical Methods for Optimal Control Using Nonlinear Programming

J.T. Betts 所著的讲述求解最优控制问题的实用数值方法的书,经典。

立即下载
formal methods

了解形式化方法的书,是初学者学习形式化方法的入门书

立即下载
Unifying Theories of Programming and Formal Engineering Methods

是一本有关形式化建模和模型验证方面的学术论文集,包含5篇相关学术论文

立即下载
MATLAB Programming for Engineers, 5th

MATLAB Programming for Engineers, 5th, 2016 《面向工程的matlab编程》英文最新版本,高清文字,希望对大家有用。

立即下载
[W. Sun, Y. Yuan] Optimization Theory and Methods - Nonlinear Programming

[Wenyu Sun, Ya-Xiang Yuan] Optimization Theory and Methods - Nonlinear Programming-Springer (2006)

立即下载
Parallel and Distributed Computation

Reviews : "This major contribution to the literature belongs on the bookshelf of every scientist with an interest in computational science, directly beside Knuth's three volumes and Numerical Recipes..." Anna Nagurney, University of Massachusetts, in the International Journal of Supercomputer Appli

立即下载
OpenCV3.4.0 vs2015 win64 + cmake编译生成的带opencv_contrib-3.4.0库文件(含SFM模块)

1. 作为上一个资源的补充,OpenCV3.4.0 带opencv_contrib-3.4.0库文件(含SFM)相关lib/dll文件,include文件请自行从源码渠道下载。 适用于win7 vs2015 win64 2. 在使用时,请自行配置相关文件的路径。

立即下载
Bayesian Methods for Hackers

Bayesian Methods for Hackers 书的ipynb格式,可以直接用jupyter打开,书中的代码可直接按shift+enter执行

立即下载
Introduction to Numerical Methods and Matlab Programming for Engineers

里面有B spline更直观的推导,可以当科普类看。已有部分程序

立即下载
Understanding Formal Methods

This book is aimed at all those who are rightly puzzled by the complex and controversial panorama of formal methods. It is unique as to its completeness and its compromise between rigorous exposition of underlying mathematical theories and concrete explanations of the implementation of techniques u

立即下载
FM 2016: Formal Methods

FM 2016: Formal Methods: 21st International Symposium

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

Formal Methods for Multicore Programming SFM 2015

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
10 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: