IO

Results: 17950



#Item
351

Bytom V1.0 比原链:一个多元比特资产交互协议 Bytom 比原链 一个多元比特资产交互协议

Add to Reading List

Source URL: bytom.io

Language: Chinese - Date: 2018-04-14 04:54:22
    352Cryptocurrencies / Blockchains / Concurrent computing / Ethereum / Distributed computing / Computing / Decentralization / Cross-platform software / Smart contract / Decentralized application / Kin / DAPP

        Quarterly Report   Q1 2018   

    Add to Reading List

    Source URL: district0x.io

    Language: English - Date: 2018-10-26 03:20:26
    353Pointer / Graph

    A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

    Add to Reading List

    Source URL: seahorn.github.io

    Language: English - Date: 2018-08-03 20:31:21
    354Logic / Mathematical logic / Linguistics / Dekker's algorithm / Edsger W. Dijkstra / Predicate / Flag

    Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev

    Add to Reading List

    Source URL: practicalsynthesis.github.io

    Language: English - Date: 2018-01-15 09:26:26
    355Parallel computing / Computer programming / Application programming interfaces / IT infrastructure / Computing / Fortran / OpenMP / Thread

    Runtime Correctness Checking for Emerging Programming Paradigms Joachim Protze (), Christian Terboven, Matthias S. Müller, Serge Petiton, Nahid Emad, Hitoshi Murai and Taisuke Boku RWTH Aachen U

    Add to Reading List

    Source URL: correctness-workshop.github.io

    Language: English - Date: 2017-11-14 22:52:13
    356Theoretical computer science / Mathematical software / Computing / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Constraint programming / Satisfiability modulo theories / Solver / Benchmark / Nl

    Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania

    Add to Reading List

    Source URL: rishabhmit.bitbucket.io

    Language: English - Date: 2018-06-25 09:59:57
    357Cryptocurrencies / Blockchains / Economy / Money / Bitcoin / Computing / Alternative currencies / Decentralization / SegWit / Ethereum / Smart contract / Asset

    BytomV1.0 Bytom: An Interoperation Protocol for Diversified Byte Assets Bytom An Interoperation Protocol for

    Add to Reading List

    Source URL: bytom.io

    Language: English - Date: 2018-04-14 04:54:21
    358

    比原用户手册v1.0 (挖矿+钱包) 目录页 1. 安装指南

    Add to Reading List

    Source URL: bytom.io

    Language: Chinese - Date: 2018-06-19 11:15:35
      359Concurrent computing / Blockchains / Cryptocurrencies / Software / Computing / Microblogging / Social networking services / Text messaging / Twitter / Decentralized application / Kin

          Quarterly Report   Q2 2018   

      Add to Reading List

      Source URL: district0x.io

      Language: English - Date: 2018-10-26 02:03:18
      360System software / Computer architecture / Software / Linus Torvalds / Cloud infrastructure / OpenStack / Virtual machine / Hyper-V / Hypervisor / Operating-system-level virtualization / Linux kernel / Middleware

      * The speed of containers, the security of VMs KataContainers.io Contents

      Add to Reading List

      Source URL: katacontainers.io

      Language: English - Date: 2018-03-16 09:16:49
      UPDATE