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

Source URL: bytom.io

Learning Semantic String Transformations from Examples ∗ Rishabh Singh Sumit Gulwani

Source URL: rishabhmit.bitbucket.io

• Computer programming
• Computing
• Software engineering
• Formal languages
• Comparison of programming languages
• Regular expression
• Natural transformation
• Recursion
• Scheme
• String
• Lookup table
• Conditional

BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011

Source URL: arieg.bitbucket.io

• Systems science
• Carnegie Mellon University
• Systems engineering
• Systems theory
• Cyberwarfare
• Software Engineering Institute
• System of systems
• Carnegie Mellon Silicon Valley
• Software engineering
• Pittsburgh
• Science and technology in the United States

Cocos BlockChain Expedition A Development and Operating Environment for Decentralized Gaming Applications and Digital Assets Sep 2018 H. Chen, K. Yin, R. Yang

Source URL: www.cocosbcx.io

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Decentralization
• Computing
• Distributed computing
• Alternative currencies
• Ethereum
• Non-fungible token
• Smart contract
• Decentralized application
• CryptoKitties

Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University

Source URL: seahorn.github.io

• Computing
• Software engineering
• Computer programming
• Methods of proof
• Logic in computer science
• Pointer
• Exec
• Counterexample
• Objective-C
• Model checking
• Abstract interpretation
• Operational semantics

I CO W HI TEPAPER TABLEOFCONTENTS Br

Source URL: liqnet.io

FunFair : 재미있고 빠르며 공정한 블록체인 기반의 혁명적인 온라인 게임 v0 년 6 월 13 일 FunFair 팀. 내용 1 ​요약

Source URL: funfair.io

CENTRIFUGE OS A Decentralized Operating System For The Financial Supply Chain www.centrifuge.io

Source URL: www.centrifuge.io

• Supply chain management
• Computing
• Computer architecture
• Economy
• Decentralization
• Cryptocurrencies
• File sharing
• Peer-to-peer
• Supply-chain management
• Blockchain
• Internet privacy
• Supply chain

district0x ⽹网络 ⽩白⽪皮书 v0 年年 6 ⽉月 8 ⽇日 ⼀一个去中⼼心化的市场和社区的集合体 由 Ethereum, Aragon 以及 IPFS 提供技术⽀支持

Source URL: district0x.io

Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington

Source URL: zhang-sai.github.io

• Design of experiments
• Psychometrics
• Statistical hypothesis testing
• Software testing
• Measurement