基于区块链的毕业设计ELINA – 埃莉娜

本文提供基于区块链的毕业设计国外最新区块链项目源码下载,包括solidity,eth,fabric等blockchain区块链,基于区块链的毕业设计ELINA – 埃莉娜 是一篇很好的国外资料

ELINA

ETH Library for Numerical Analyis (ELINA) contains optimized implementations of popular numerical abstract domains such as Polyhedra, Octagons, Zones, Zonotopes for static program analysis. Further, ELINA also provides specialized numerical domains for neural network analysis such as DeepZ and DeepPoly (CPU and GPU versions).

The library uses improved algorithms, online decomposition as well as state of the art performance optimizations from linear algebra such as vectorization, locality of reference, scalar replacement etc. to significantly improve the performance of static analysis with the numerical domains.

For more documentation, refer to http://elina.ethz.ch.

New feature: the learning-based Lait transformer. See more details here.

Contributors

  • Gagandeep Singh (lead contact) – gsingh@inf.ethz.ch

  • Jingxuan He (contact for Lait) – jingxuan.he@inf.ethz.ch

  • Christoph Müller (contact for GPUPoly) – christoph.mueller@inf.ethz.ch

  • Anian Ruoss (contact for spatial certification) – anruoss@ethz.ch

  • Gleb Makarchuk (contact for FConv) – hlebm@ethz.ch gleb.makarchuk@gmail.com

  • Markus Püschel – pueschel@inf.ethz.ch

  • Martin Vechev – martin.vechev@inf.ethz.ch


ELINA

用于数值分析的ETH库(ELINA)包含了流行的数值抽象域的优化实现,如用于静态程序分析的多面体、八角形、区域、分区等。此外,ELINA还为神经网络分析提供专门的数值域,如DeepZ和DeepPoly(CPU和GPU版本)。

该库使用改进的算法、在线分解以及线性代数的最新性能优化,如矢量化、参考局部性、标量替换等,以显著提高数值域静态分析的性能。

有关更多文档,请参阅http://elina.ethz.ch。

⭐新功能⭐:基于学习的Lait变压器。请在此处查看更多详细信息。

贡献者gsingh@inf.ethz.ch
  • 何景轩(Lait联系人)静萱。他@inf.ethz.ch.公司
  • Christoph Müller(联系GPUPoly)-克里斯托夫·穆勒@inf.ethz.ch.公司
  • Anian Ruoss(空间认证联系人)-anruoss@ethz.ch
  • Gleb Makarchuk(FConv联系人)-电子邮箱:hlebm@ethz.ch马卡丘克@gmail.com网站马库斯·普谢尔pueschel@inf.ethz.ch马丁·韦切夫马丁·维切夫@inf.ethz.ch.公司在
    • 何景轩(Lait联系人)静萱。他@inf.ethz.ch.公司
    • Christoph Müller(联系GPUPoly)-克里斯托夫·穆勒@inf.ethz.ch.公司
    • Anian Ruoss(空间认证联系人)-anruoss@ethz.ch
    • Gleb Makarchuk(FConv联系人)-电子邮箱:hlebm@ethz.ch马卡丘克@gmail.com网站马库斯·普谢尔pueschel@inf.ethz.ch马丁·韦切夫马丁·维切夫@inf.ethz.ch.公司在
    • Gleb Makarchuk(FConv联系人)-电子邮箱:hlebm@ethz.ch马卡丘克@gmail.com网站

    • Markus püschel-pueschel@inf.ethz.ch

    • 马丁·维切夫-马丁·维切夫@inf.ethz.ch.公司

    部分转自网络,侵权联系删除区块链源码网

    www.interchains.cc

    https://www.interchains.cc/17745.html

    区块链毕设网(www.interchains.cc)全网最靠谱的原创区块链毕设代做网站 部分资料来自网络,侵权联系删除! 最全最大的区块链源码站 !
    区块链知识分享网, 以太坊dapp资源网, 区块链教程, fabric教程下载, 区块链书籍下载, 区块链资料下载, 区块链视频教程下载, 区块链基础教程, 区块链入门教程, 区块链资源 » 基于区块链的毕业设计ELINA – 埃莉娜

    提供最优质的资源集合

    立即查看 了解详情