IO - PDFSEARCH.IO - Document Search Engine

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
352	Quarterly Report Q1 2018 Add to Reading List Source URL: district0x.io Language: English - Date: 2018-10-26 03:20:26 Cryptocurrencies Blockchains Concurrent computing Ethereum Distributed computing Computing Decentralization Cross-platform software Smart contract Decentralized application Kin DAPP
353	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 Pointer Graph
354	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 Logic Mathematical logic Linguistics Dekker's algorithm Edsger W. Dijkstra Predicate Flag
355	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 Parallel computing Computer programming Application programming interfaces IT infrastructure Computing Fortran OpenMP Thread
356	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 Theoretical 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
357	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 Cryptocurrencies Blockchains Economy Money Bitcoin Computing Alternative currencies Decentralization SegWit Ethereum Smart contract Asset
358	比原用户手册v1.0 （挖矿+钱包）目录页 1. 安装指南 Add to Reading List Source URL: bytom.io Language: Chinese - Date: 2018-06-19 11:15:35
359	Quarterly Report Q2 2018 Add to Reading List Source URL: district0x.io Language: English - Date: 2018-10-26 02:03:18 Concurrent computing Blockchains Cryptocurrencies Software Computing Microblogging Social networking services Text messaging Twitter Decentralized application Kin
360	* 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 System software Computer architecture Software Linus Torvalds Cloud infrastructure OpenStack Virtual machine Hyper-V Hypervisor Operating-system-level virtualization Linux kernel Middleware

UPDATE