System - PDFSEARCH.IO - Document Search Engine

System
Results: 641854

#	Item
61	TiDASTM Announcing the Purpose Built Backup Storage Sub-System Appliance speciﬁcally for Teradactyl® Products Hardened bent steel high quality & vibration tested chassis frame, redundant power, communications, and hig Add to Reading List Source URL: www.teradactyl.com Language: English Computer storage devices Computer data storage IBM Storage Power Architecture Serial Attached SCSI
62	Monopoly without a Monopolist: An Economic Analysis of the Bitcoin Payment System∗ Gur Huberman Jacob D. Leshno Add to Reading List Source URL: moallemi.com Language: English - Date: 2017-12-19 16:42:18 Cryptocurrencies Bitcoin Alternative currencies Blockchains Economy Money Currency Digital currencies Ethereum RootStock Draft:Lightning Bitcoin Bitcoin Cash
63	C OV ER F E AT U RE Consistency Tradeoffs in Modern Distributed Database System Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-06-14 15:57:11 Computing Data management Data Distributed computing NoSQL Structured storage PACELC theorem Riak Eventual consistency Apache Cassandra Replication Consistency model
64	Designing a Secret Handshake: Authenticated Key Exchange as a Capability System Dominic Tarr July 10, 2015 Abstract Capability Based Security is a conceptual framework for designing Add to Reading List Source URL: dominictarr.github.io Language: English - Date: 2015-07-10 14:55:46 Cryptography Public-key cryptography Transport Layer Security Key management Public key infrastructure Man-in-the-middle attack Secure Shell Forward secrecy Elliptic-curve DiffieHellman Replay attack Cryptographic protocol Handshaking
65	DynamoGraph: A Distributed System for Large-scale, Temporal Graph Processing, its Implementation and First Observations Matthias Steinbauer Gabriele Anderst-Kotsis Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:56:15 Graph theory NP-complete problems Crowdsourcing PageRank Search engine optimization Graph Line graph Planar separator theorem
66	Abstract: The EOS.IO software introduces a new blockchain architecture designed to enable vertical and horizontal scaling of decentralized applications. This is achieved by creating an operating system-like construct upo Add to Reading List Source URL: icorating.com Language: English - Date: 2018-03-19 09:30:15 Cryptocurrencies Blockchains Concurrent computing Alternative currencies Computing Distributed computing Decentralization Cross-platform software EOS.IO Ethereum Smart contract Bitcoin
67	Int J Softw Tools Technol Transfer:717–741 DOIs10009A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin Add to Reading List Source URL: symbolaris.com Language: English - Date: 2018-02-19 21:13:22 Physics Logic Quantity VLO Traffic collision avoidance system Work Quantifier
68	Cortex - AI on Blockchain The Decentralized AI Autonomous System Ziqi Chen Add to Reading List Source URL: www.cortexlabs.ai Language: English - Date: 2018-03-20 00:44:07 Cryptocurrencies Alternative currencies Finance Digital media Economy Blockchains Security Stock market Securities Act Everipedia Ethereum Prospectus
69	R The OpenGL Graphics System: A Specification (Version 4.5 (Core Profile) - June 29, 2017) Add to Reading List Source URL: www.khronos.org Language: English - Date: 2017-06-29 16:51:37 Computing Computer programming IT infrastructure OpenGL Application programming interfaces Cross-platform software Graphics libraries Video game development Shader Framebuffer object Pixel buffer Shading language
70	System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Proof theory Logic in computer science Formal methods Automated reasoning Proof assistant Proof complexity Reasoning system Isabelle

UPDATE