Implementation - PDFSEARCH.IO - Document Search Engine

Implementation
Results: 49373

#	Item
11	The Design and Implementation of the Model Constructing Satisfiability Calculus Dejan Jovanovi´c Clark Barrett Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Theoretical computer science Computational complexity theory Mathematics Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Conflict-driven clause learning Satisfiability modulo theories Unit propagation
12	Pascal Sprenger Design and Implementation of an ECN Proxy for Performance Improvements in the Internet Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2016-11-21 15:52:12 Computing Network performance Firewall software System software Flow control Explicit Congestion Notification Information and communications technology Transmission Control Protocol Netfilter Packet loss Firewall Communication protocol
13	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan · Add to Reading List Source URL: cakeml.org Language: English - Date: 2015-12-16 14:53:21 Mathematical logic Mathematics Logic Logic in computer science Proof assistants Model theory Proof theory Foundations of mathematics ZermeloFraenkel set theory HOL Gdel's completeness theorem Gdel's incompleteness theorems
14	Reconfigurable Hardware Implementation of Mesh Routing in the Number Field Sieve Factorization Sashisu Bajracharya1, Deapesh Misra1, Kris Gaj1, Tarek El-Ghazawi2 1 Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2005-03-13 11:15:52 Algebra Linear algebra Mathematics Numerical linear algebra Matrix theory Integer factorization algorithms Multiplication Reconfigurable computing Field-programmable gate array Matrix Virtex Xilinx
15	An Implementation of the Homa Transport Protocol in RAMCloud Yilong Li, Behnam Montazeri, John Ousterhout Introduction Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-02-21 18:52:39 Computing Information and communications technology Network architecture Network protocols Data transmission Flow control Error detection and correction Computer networking Transmission Control Protocol Packet loss Retransmission Communication protocol
16	Russia’s first "Federal United Wireless Network" ANNOTATION This project is devoted to implementation of Russia’s first Federal United Wireless Add to Reading List Source URL: icorating.com Language: English - Date: 2018-04-22 12:53:05 Economy Financial technology Money Cryptocurrencies Finance Alternative currencies Blockchains Ethereum Crowdfunding Airmax Icon Internet access
17	Blue Horizon Advisory In partnership with www.cryptalnews.com ‘BitGo Dash Implementation’ We vote YES! Add to Reading List Source URL: www.cryptalnews.com Language: English - Date: 2018-07-09 14:59:58 Cryptocurrencies Alternative currencies Decentralization Economy Computing Money Mike Belshe BitGo Financial technology Dash Bitcoin Blockchain
18	A Practical Implementation of a MultiDevice Split Application for Protecting Online Poker Gabriel Kaptchuk and Aviel Rubin Johns Hopkins University [gkaptchuk, rubin]@cs.jhu.edu Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2016-03-22 16:17:20 Poker Gambling Gaming Computer poker player Game artificial intelligence Cereus Poker Network Cheating in poker Online poker World Series of Poker PokerStars Texas hold 'em Pot
19	ANNUAL ELEMENT PROGRESS REPORT Housing Element Implementation (CCR Title 25 §Jurisdiction LOS ANGELES Add to Reading List Source URL: cityplanning.lacity.org Language: English - Date: 2016-02-17 17:26:02 Acoustics Decibel Telecommunications engineering Physics
20	7 Implementation of the C++ API for Batch BLAS Ahmad Abdelfattah Mark Gates Add to Reading List Source URL: www.icl.utk.edu Language: English - Date: 2018-06-29 15:16:19 C++ Computer programming Software engineering Computing Basic Linear Algebra Subprograms Const Typedef C++ string handling Exec Math Kernel Library

UPDATE