CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
321	Detecting Task Phases from Power Traces Joseph Granados, Jake Probst, Nick Armour, Jeffrey Bahns, Suzanne Rivoire Sonoma State University Chung-Hsing Hsu Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:47 Machine learning Learning Artificial intelligence Physics Image segmentation Training test and validation sets K-means clustering Data analysis Time series Phase Trace
322	A Comprehensive Formal Security Analysis of OAuth 2.0 arXiv:1601.01229v3 [cs.CR] 27 MayDaniel Fett Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-06-14 12:33:34 Computer access control Computer security Identity management Federated identity Cloud standards OAuth Identity provider OpenID Single sign-on Authentication Relying party SAML-based products and services
323	James Caldwell Department of Computer Science University of Wyoming Laramie, WYDATE: October 31, 2016 Add to Reading List Source URL: www.cs.uwyo.edu Language: English - Date: 2016-10-31 17:07:05 Automated theorem proving Theoretical computer science Computing Mathematics Nuprl Interactive Theorem Proving Proof assistant Robert Lee Constable ACL2 Formal methods Computer science Automated reasoning
324	A Wireless Software Architecture for Fast 3D Rendering of Agent-Based Multimedia Simulations on Portable Devices S. Cacciaguerra, M. Roccetti, M. Roffilli A. Lomi Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2003-12-30 08:42:36 Computing Modeling and simulation Virtual reality Artificial intelligence Visual effects Multi-agent systems Simulation NetLogo Agent-based model 3D computer graphics Augmented reality Virtual world
325	Slick Packets Giang T. K. Nguyen Rachit Agarwal Junda Liu Add to Reading List Source URL: pbg.cs.illinois.edu Language: English - Date: 2011-04-11 05:41:03 Computing Network architecture Internet architecture Information and communications technology Routing Computer networking Internet Standards Router Forwarding plane Open Shortest Path First Multiprotocol Label Switching Source routing
326	arXiv:1803.04432v1 [cs.DC] 12 MarMemory Models for C/C++ Programmers Manuel P¨oter Jesper Larsson Tr¨aff Research Group Parallel Computing Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-03-13 20:30:42 Computing Computer architecture Concurrency control Computer engineering Memory barrier Linearizability Memory model Thread Parallel computing Fetch-and-add Lock Instruction set architecture
327	Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-22 15:37:59 Theoretical computer science Mathematics Formal methods Logic in computer science Models of computation Temporal logic Runtime verification Formal verification Model checking Linear temporal logic Finite-state machine FO
328	Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Mathematics Theoretical computer science Constraint programming Functions and mappings Electronic design automation Logic in computer science NP-complete problems Satisfiability modulo theories Rounding Limit of a function Function
329	Solving Constraints over Bit-Vectors with SAT-based Model Checking Extended Abstract Yakir Vizel1 , Alexander Nadel2 , and Sharad Malik1 2 Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Logic in computer science Formal methods Computational complexity theory Mathematics Electronic design automation NP-complete problems Constraint programming Satisfiability modulo theories Boolean satisfiability problem Z3 Solver
330	COSC 544 Probabilistic Proof SystemsA First Linear PCP (Of Size \|F\|O(S ) ) Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-11-02 08:26:19 Algebra Abstract algebra Mathematics Probabilistically checkable proof Valuation Tensor product

UPDATE