.cs

Results: 61295



#Item
41Computing / Big data / Data / Hadoop / Apache Software Foundation / Cloud infrastructure / Computational neuroscience / Cluster computing / Benchmark / Vertica / Apache Hadoop / Apache Spark

arXiv:1802.08254v1 [cs.DC] 23 FebB IG DATA B ENCH : A DWARF - BASED B IG DATA AND AI B ENCHMARK S UITE E DITED B Y

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2018-02-25 20:17:02
42Low latency / Replication / Latency / Computer network / Distributed computing / Information and communications technology / Engineering / Economy

NetChain: Scale-Free Sub-RTT Coordination Xin Jin Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica

Add to Reading List

Source URL: www.cs.jhu.edu

Language: English - Date: 2018-04-17 14:04:35
43Artificial neural networks / Artificial intelligence / Computational neuroscience / Learning / Machine learning / Applied mathematics / Long short-term memory / Deep learning / Recurrent neural network / Dropout / Rnn / Highway network

Regularizing and Optimizing LSTM Language Models Stephen Merity 1 Nitish Shirish Keskar 1 Richard Socher 1 arXiv:1708.02182v1 [cs.CL] 7 Aug 2017

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2017-08-07 20:34:08
44Cryptocurrencies / Exonumia / Numismatics / Money / Zcash / Bitcoin / Kraken / Monero / Bitcoin Private

An Empirical Analysis of Anonymity in Zcash arXiv:1805.03180v1 [cs.CR] 8 May 2018 George Kappos, Haaroon Yousaf, Mary Maller, and Sarah Meiklejohn University College London

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2018-05-08 20:55:47
45Randomized algorithms / Probabilistically checkable proof / Mathematics / IP / Cryptography / Creativity / NP / Soundness / Proof of secure erasure / Cryptographic protocol / Interactive proof system

COSC 544 Probabilistic Proof SystemsLinear PCPs and Succinct Arguments Lecturer: Justin Thaler

Add to Reading List

Source URL: people.cs.georgetown.edu

Language: English - Date: 2017-10-26 08:54:48
46Formal languages / Finite automata / Combinatorics / Combinatorics on words / Mathematics / Discrete mathematics / Mealy machine / Alphabet / String / Finite-state transducer / Tree transducer

Motivation Groundwork Distance-Tracking Automata

Add to Reading List

Source URL: www.cs.purdue.edu

Language: English - Date: 2016-07-15 23:00:36
47Internet architecture / Computing / Internet / Network architecture / Routing / Internet Standards / Internet protocols / Border Gateway Protocol / Router / Default-free zone / IP routing / Control plane

Beyond the Best: Real-Time Non-Invasive Collection of BGP Messages Stefano Vissicchio Luca Cittadini Maurizio Pizzonia Luca Vergantini Valerio Mezzapesa

Add to Reading List

Source URL: www0.cs.ucl.ac.uk

Language: English - Date: 2016-11-17 12:53:02
48Computing / Software bugs / Software engineering / Computer security / Stack buffer overflow / Buffer overflow / Secure coding / Code injection / Uncontrolled format string / Off-by-one error / Memory safety / Pointer

Paxson Spring 2017 CS 161 Computer Security

Add to Reading List

Source URL: www-inst.cs.berkeley.edu

Language: English - Date: 2017-08-25 10:56:26
49Artificial intelligence / Logic / Logic programming / Declarative programming / Automated reasoning / Programming paradigms / Automated theorem proving / Answer set programming / Reasoning system / Stable model semantics / Prolog / Inference

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-07-30 15:10:44
50Infographics / Visualization / Treemapping / Computing / Communication design / Mathematics / Humancomputer interaction / Graph drawing software / Ben Shneiderman / Data visualization / JUNG / Algorithm

Ordered Treemap Layouts Martin Wattenberg Dow Jones / SmartMoney.com and Digital Media Center, Columbia University

Add to Reading List

Source URL: cvs.cs.umd.edu

Language: English - Date: 2015-10-05 10:51:36
UPDATE