Systems - PDFSEARCH.IO - Document Search Engine

Systems
Results: 323656

#	Item
181	Fast Exhaustive Search for Polynomial Systems in F2 Charles Bouillaguet1, Hsieh-Chung Chen2 , Chen-Mou Cheng3 , Tung Chou3 , Ruben Niederhagen3,4, Adi Shamir1,5, and Bo-Yin Yang2 1 2 Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:41 Mathematics Algebra Abstract algebra Computer algebra Algebraic geometry Polynomials Equations Grbner basis Equation solving System of polynomial equations Factorization Resultant
182	Distributed Systems, Failures, and Consensus Jeff Chase Duke University The Players Add to Reading List Source URL: www2.cs.duke.edu Language: English - Date: 2007-12-10 15:05:26 Inter-process communication Fault-tolerant computer systems Computer architecture Decentralization Distributed computing Computing Message passing Consensus Actor model Computer network Leader election Virtual synchrony
183	160525A Success story_Twizy Way_web Add to Reading List Source URL: www.mobility-systems-and-services.com Language: English - Date: 2018-06-21 12:11:54 Transport Electric cars City cars RenaultNissanMitsubishi Alliance Hatchbacks Renault Twizy Renault
184	Towards a high level programming paradigm to deploy e-science applications with dynamic workflows on large scale distributed systems Mohamed Ben Belgacem Nabil Abdennadher Add to Reading List Source URL: mse-cloud.s3-website-eu-west-1.amazonaws.com Language: English - Date: 2015-12-11 19:50:54 Concurrent computing Parallel computing Computing IT infrastructure Cloud infrastructure Job scheduling Apache Hadoop Apache Software Foundation Data-intensive computing Workflow Algorithmic skeleton Programming paradigm
185	A Type Discipline for Authorization in Distributed Systems C´edric Fournet Microsoft Research Andrew D. Gordon Microsoft Research Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Logic Mathematical logic Metalogic Propositional calculus Boolean algebra Formal languages Syntax Substitution Admissible rule Model theory Type Quantifier
186	Lipschitz Robustness of Timed I/O Systems? Thomas A. Henzinger1 , Jan Otop1,2 and Roopsha Samanta1 1 2 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Finite-state transducer Timed automaton Finite-state machine Control theory XC Applied mathematics Mathematics Systems science Tree transducer
187	CCS2018: The Conference on Complex Systems 2018 Thessaloniki, Greece. Septemberhttp://ccs2018.web.auth.gr Satellite : September 26, 2018 QUESTIONS AND PERSPECTIVES Add to Reading List Source URL: complexityscience.net Language: English - Date: 2018-09-18 13:30:12 Statistical mechanics Mathematical analysis Q-Gaussian distribution Physics Chaos theory Non-equilibrium thermodynamics Istituto Nazionale di Fisica Nucleare Mechanics
188	A fundamental evaluation of 80 bit keys employed by hardware oriented stream ciphers Iain Devlin1 and Alan Purvis1 Centre for Electronic Systems, Durham University, Durham, DH1 3LH, UK {iain.devlin, alan.purvis}@durham.a Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-04-17 15:16:45 Cryptography Stream ciphers VEST Grain Field-programmable gate array Altera Xilinx Brute-force attack Stratix Block cipher Py Data Encryption Standard
189	The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:40:45 Logic Metalogic Mathematics Proof theory Model theory Mathematical logic Syntax First-order logic Well-formed formula Formal system Logic programming Resolution
190	Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-06 19:34:00 Markov models Probability Dynamic programming Markov processes Stochastic control Markov decision process Markov chain Linear temporal logic S2 Reinforcement learning S0

UPDATE