注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. PLDI 2011-ACM SIGPLAN conference on PLDI 2011

  2. （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） 国际程序语言设计和分析方面的顶级会议，PLDI 2011年的论文集，关于PLDI的档次，可以参考下面这个链接：http://citeseerx.ist.psu.edu/sta

  3. 所属分类：其它

    • 发布日期：2011-09-25
    • 文件大小：35651584
    • 提供者：qysh123

  1. PLDI 2012-ACM SIGPLAN conference on PLDI 2012

  2. （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） 国际程序语言设计和分析方面的顶级会议，PLDI 2012年的论文集，关于PLDI的档次，可以参考下面这个链接：http://citeseerx.ist.psu.edu

  3. 所属分类：其它

    • 发布日期：2012-09-11
    • 文件大小：32505856
    • 提供者：qysh123

  1. 程序分析工具CQual

  2. 一个很好的程序分析工具，支持刘敏感分析。采用类型推断和约束求解的方法，代表了一种程序分析的流派。在PLDI上发表过文章！

  3. 所属分类：专业指导

    • 发布日期：2008-10-03
    • 文件大小：899072
    • 提供者：bosaton

  1. PDFJS-1.4.20-dist

  2. 与官方提供的PDFJS一样，只是官方下载太慢了，有需要的，可在此下载 使用过程简单粗暴。 第一步：下载源码https://github.com/mozilla/pdf.js 第二步：将源码拷贝进项目中，可以新建一个PDFShow文件夹存放代码 第三步：修改viewer.js var DEFAULT_URL = 'compressed.tracemonkey-pldi-09.pdf' 里面是PDF的路径 修改为：var DEFAULT_URL = ''; 发布IIS后访问localhost:8

  3. 所属分类：Web开发

    • 发布日期：2016-10-04
    • 文件大小：2097152
    • 提供者：xtjecle8

  1. biglambda:BigLambda数据并行综合项目的源代码-Big source code

  2. 比格朗达 BigLambda数据并行综合项目的源代码。 基于Caldi 和的PLDI 2016论文MapReduce程序综合。 依存关系 该工具取决于BeautifulSoup ， lxml和ply最新版本，都不包含这两个版本。 用法 首先在biglambda/setup.py编辑PATH 。 usage: BigLambda - synthesizing MapReduce programs since 2015 [-h] [-s SIGNATURE] [-d DATA] [-

  3. 所属分类：其它

    • 发布日期：2021-03-25
    • 文件大小：60416
    • 提供者：weixin_42137028

  1. Armada:Armada是用于编写和证明正确的高性能并发程序的工具-源码

  2. 概述 安全编写高性能并发程序非常困难。为了帮助开发人员，我们引入了Armada，这是一种语言和工具，旨在以相对较少的努力来正式验证此类程序。通过编译为C子集ClightTSO的类C语言和基于状态机的小步骤语义，Armada为开发人员提供了选择任意内存布局和同步原语的灵活性，因此它们在性能追求方面从未受到限制。为了减少开发人员的工作量，Armada利用SMT驱动的自动化技术和强大的推理技术库，包括依赖保证，TSO消除，归约和别名分析。所有这些技术均已被证明是可靠的，随着时间的推移，可以通过其他策略

  3. 所属分类：其它

    • 发布日期：2021-03-20
    • 文件大小：1048576
    • 提供者：weixin_42132598

  1. template-proofs:PLDI'20纸的伪像-源码

  2. PLDI'20纸的工件：验证并发搜索结构模板 入门指南 该工件具有以下外部依赖性 OCaml版本4.07.1 OCaml Findlib版本1.8.1 ocamlbuild版本0.14.0 Coq版本8.11 Coq stdpp，版本coq-stdpp.dev.2020-03-18.1.846deb08 虹膜，版本coq-iris.dev.2020-03-21.0.ed3b52f9 GRASShopper，版本pldi_2020。 Z3，版本> = 4.5 满足所有OCam

  3. 所属分类：其它

    • 发布日期：2021-03-15
    • 文件大小：95232
    • 提供者：weixin_42113380

  1. egs-artifact-源码

  2. 实例指导的关系查询综合 阿洛克·塔卡（Aalok Thakkar）； Aaditya Naik; 纳撒尼尔·桑兹（Nathaniel Sands）； Mukund Raghothaman; Mayur Naik; 拉杰夫·阿鲁（Rajeev Alur） 介绍 这是与PLDI 2021提交的标题为“关系查询的示例指导综合”一起提供的工件包。 在本文中，我们提出了一种从输入输出示例中学习关系查询的算法。 我们使用一种称为示例指导合成的新技术，该技术利用示例中的模式来加速合成。 我们针对现有的三个求解

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：31457280
    • 提供者：weixin_42115513

  1. 标线评估：标线评估（PLDI 2021）-源码

  2. 标线评估 该存储库包含我们PLDI 2021论文“标线：用于对现代FPGA进行编程的虚拟机”的评估材料。 先决条件 神器来源 该工件有两种格式：虚拟机映像和通过Github上托管的代码存储库。 使用VM 。 VM打包为OVA文件，可以从此处的永久链接下载。 我们的说明假定您正在使用 。 安装外部工具所需的最小主机磁盘空间：65 GB 增加核心和RAM的数量 选择虚拟机，然后单击“设置”。 选择“系统”>“主板”，然后将“基本内存”增加到8 GB。 选择“系统”>“处理器”，

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：115712
    • 提供者：weixin_42156940

  1. eioio：多核OCaml的基于效果的直接样式IO-源码

  2. eioio-基于效果的OCaml并行IO 该库为多核OCaml实现了基于效果的直接样式IO堆栈。 该库非常有待开发，因此这是一个未发布的存储库。 有关效果系统的一些背景可以在以下位置找到： （出现，PLDI 2021） 效果示例： ：

  3. 所属分类：其它

    • 发布日期：2021-03-03
    • 文件大小：9216
    • 提供者：weixin_42168750

  1. Mesh：一种内存分配器，可自动减少CC ++应用程序的内存占用-源码

  2. 网格：用于C / C ++的压缩内存管理 Mesh是替代品，它可以透明地从内存碎片中恢复，而无需更改应用程序代码。 在PLDI 2019上发表的中详细描述了网格。 或观看《怪圈》中Bobby Powers的演讲： Mesh在Linux和macOS上运行。 Windows正在开发中。 Mesh使用作为构建系统，但将其包装在Makefile中，除了libc之外没有其他运行时依赖项： $ git clone https://github.com/plasma-umass/mesh $ cd

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：2097152
    • 提供者：weixin_42129113

  1. 葱：Scala中的LL（1）解析器组合器-源码

  2. 总览 Scallion是一个库，用于在Scala中为LL（1）语言编写解析器和漂亮的打印机。 文献资料 全面的Scaladoc API。 解析算法 Scallion使用了我们在PLDI'20论文中描述的一种新颖的解析算法： 。 该算法已被。 例子 ：此示例展示了如何使用Scallion构建基本的JSON解析器。 ：此示例显示了如何与解析器一起免费获得漂亮的打印机。 ：此示例说明如何使用operators组合器轻松处理具有各种关联性和优先级的运算符。 ：此示例展示了一个简单的解析器和漂亮

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：5242880
    • 提供者：weixin_42099987