Verification of Sequential and Concurrent Programs

Name: Verification of Sequential and Concurrent Programs
Rating: 4.5 (48 reviews)
Author: u698562516

上传者：u698562516 2018-12-24 21:39:06上传 PDF文件 2.53MB 热度 48次

并发程序的验证方法和基础.对于编写并行程序、并行程序测试、程序正确性验证等方面的同学值得一看

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2018-12-24 21:39:06

比较经典的书，只是比较长，学习起来有点费时

Verification of Sequential and Concurrent Programs

并发程序的验证方法和基础.对于编写并行程序、并行程序测试、程序正确性验证等方面的同学值得一看

大小：0B | 2018-12-24 21:39:06
data flow analysis frameworks for concurrent programs.pdf

论文dataflowanalysisframeworksforconcurrentprograms

大小：0B | 2019-09-03 04:08:13
Dryad Distributed Data_Parallel Programs from Sequential Building Blocks

Dryad:DistributedData-ParallelProgramsfromSequenti...

大小：0B | 2019-06-05 03:36:45
sequential data

pdf格式,英文版本。出自Pattern Recognition and Machine Learn...

大小：601KB | 2021-05-04 18:58:19
concurrent

使用Apache JCS出现java.lang.NoClassDefFoundError:EDU/o...

大小：168KB | 2020-09-20 19:04:58
concurrent and nio

NULL 博文链接：https://jie2workjava.iteye.com/blog/1086...

大小：0B | 2019-04-17 16:21:10
Concurrent In java

大小：0B | 2019-01-02 02:42:02
Concurrent 开源

任务并行库建立在Grand Central Dispatch和Parallel Patterns之上...

大小：44KB | 2024-08-22 14:55:51
Mining Sequential Patterns

Mining Sequential Patterns

大小：791KB | 2021-04-22 21:49:05
Sequential Compressed Sensing

序贯压缩感知[11]提供了一种不需要知道稀疏度，而直接利用观测值估算重构误差的方法。

大小：0B | 2019-09-28 14:37:34
Sequential Approximate Optimization

大小：0B | 2019-03-16 16:14:11
Communicating Sequential Processes

Communicating Sequential Processes

大小：1.24MB | 2020-07-25 07:53:15
SystemVerilog for Verification

SystemVerilogforVerification2ndEdition

大小：0B | 2019-09-22 14:12:04
concurrent杂记

concurrent 杂记

大小：1.99MB | 2021-04-20 04:02:52
JDK concurrent

NULL 博文链接:https://wensiqun.iteye.com/blog/1226770

大小：1.78MB | 2020-08-08 08:08:51
实战Concurrent

NULL 博文链接:https://hbczzsw.iteye.com/blog/934999

大小：8KB | 2020-08-18 04:02:07