Systems - PDFSEARCH.IO - Document Search Engine

Systems
Results: 323656

#	Item
41	High-Performance and Scalable Designs of Programming Models for Exascale Systems Talk at HPC Advisory Council Switzerland Conferenceby Dhabaleswar K. (DK) Panda Add to Reading List Source URL: hpcadvisorycouncil.com Language: English - Date: 2015-03-24 05:43:11 Computing Concurrent computing Computer architecture Parallel computing Partitioned global address space Message Passing Interface Multi-core processor SHMEM Exascale computing K computer Coprocessor Supercomputer
42	Hub Human Trust Protocol Eric Ly, Rich Miller, Miko Matsumura “The currency of the new economy is trust” – Rachel Botsman [1] Abstract Whether through messaging systems, online communities, social networks, or the Add to Reading List Source URL: hubtoken.org Language: English - Date: 2018-10-03 17:04:44 Computing Social information processing Cryptography Reputation management Cryptocurrencies Technology Computer access control Reputation system Blockchain Trust Internet privacy Authentication
43	Security Bounds for the NIST Codebook-based Deterministic Random Bit Generator Matthew J. Campagna Secure Systems Pitney Bowes Inc. Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-11-01 07:43:52 Cryptography National Institute of Standards and Technology Block cipher Advantage Random number generation RSA Pseudorandom number generators Dual EC DRBG
44	HONG KONG INSTITUTE FOR MONETARY RESEARCH ASSESSING THE INTERCONNECTEDNESS BETWEEN CROSS-BORDER SHADOW BANKING SYSTEMS Tom Fong, Angela Sze and Edmund Ho Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-02-09 01:13:00 Economy Money Systemic risk Banking Financial regulation Financial crises Financial markets Systemically important financial institution Non-bank financial institution Bank Subprime mortgage crisis Shadow banking system
45	DYNAMIC SPECTRUM MANAGEMENT FOR 5G Advanced Dynamic Channel Access Strategy in Spectrum Sharing 5G Systems Siyu Lin, Linghe Kong (corresponding author), Qian Gao, Muhammad Khurram Khan, Zhangdui Zhong, Xi Jin, and Peng Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2017-12-01 00:35:36 Telecommunications engineering Radio resource management Information and communications technology Technology Electrical engineering Network performance 5G Internet of things Technology forecasting Throughput Channel allocation schemes Computer network
46	Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2018-05-18 11:56:24 Temporal logic Logic in computer science Model checkers Linear temporal logic Computation tree logic Model checking PAT Synthesis Mathematics
47	An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Mathematics Formal languages Combinatorics Theoretical computer science Mathematical logic Combinatorics on words Data types Order theory Multiset Rewriting Path ordering L-system
48	SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le Add to Reading List Source URL: sheharbano.com Language: English - Date: 2017-02-16 07:58:33 Compagnies Rpublicaines de Scurit National Police