Computer systems - PDFSEARCH.IO - Document Search Engine

Computer systems
Results: 26232

#	Item
1	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-04-24 16:51:40 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
2	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:59 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
3	Vector Lane Threading S. Rivoire, R. Schultz, T. Okuda, C. Kozyrakis Computer Systems Laboratory Stanford University Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:50 Central processing unit Computer architecture Parallel computing Computing Computer engineering Vector processor Data parallelism Vector Microarchitecture
4	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic
5	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
6	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-01-06 05:40:55 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
7	A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex Halderman Add to Reading List Source URL: benvds.com Language: English - Date: 2018-09-18 11:06:16 Computer security Computing Computer network security Security engineering Information and communications technology Crime prevention Cryptography National security Virtual private network SCADA FBI Criminal Justice Information Services Division Computer network
8	The Protection of Information in Computer Systems JEROME H. SALTZER, SENIOR MEMBER, IEEE, AND MICHAEL D. SCHROEDER, MEMBER, IEEE Invited Paper Abstract - This tutorial paper explores the mechanics of Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-01-15 12:55:59 Computer security Security engineering Prevention Security Crime prevention Cryptography Information governance National security Password Operating system Protection ring Capability-based security
9	University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ Add to Reading List Source URL: db.cs.washington.edu Language: English - Date: 2018-10-11 15:27:57 Computing Data management Data Business intelligence Database management systems Technology forecasting Transaction processing Dan Suciu Big data Probabilistic database Data science Analytics
10	Computer Science_BS_Information Systems.pdf Add to Reading List Source URL: catalog.southernct.edu Language: English - Date: 2018-10-06 18:04:21 Course Curricula