J - PDFSEARCH.IO - Document Search Engine

J
Results: 175847

#	Item
41	Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Constraint programming Software engineering Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Solver Boolean satisfiability problem DPLL algorithm Constraint satisfaction problem
42	doi:j.socnet Add to Reading List Source URL: fowler.ucsd.edu Language: English - Date: 2006-11-07 01:31:57 Sponsor Robert Byrd United States LGBT law in the United States LGBT rights in the United States West Virginia 111th United States Congress
43	doi:j.crma Add to Reading List Source URL: irma.math.unistra.fr Language: French - Date: 2010-12-09 08:51:39
44	Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-07-21 04:42:46 Computing Software Formal methods Computer programming Refinement Crash Bandicoot Crash S0 Extensible Storage Engine Boeing B-52 Stratofortress
45	Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ † Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54
46	Measuring small subgroup attacks against Diffie-Hellman Luke Valenta∗ , David Adrian† , Antonio Sanso‡ , Shaanan Cohney∗ , Joshua Fried∗ , Marcella Hastings∗ , J. Alex Halderman† , Nadia Heninger∗ ∗ Uni Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2017-09-13 08:39:05 Cryptography Algebra Abstract algebra Group theory Computational hardness assumptions DiffieHellman key exchange Cyclic group Logjam Generating set of a group Subgroup Whitfield Diffie Computational DiffieHellman assumption
47	TRADITION SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2018-08-15 15:51:43 Futures markets Commodity Futures Trading Commission CFTC Futures contract SEF Finance Money Swap Execution Facility
48	in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:59:14 Constraint programming Mathematics Lattice theory Mathematical optimization Applied mathematics Constraint satisfaction Local consistency Semilattice Linear programming Optimization problem Constraint Feasible region
49	ganglion cells: how integraiotn of space-time patterns of excitiation and inhibition form the spiking output J. Neurophys 95: Add to Reading List Source URL: www.brainrules.net Language: English - Date: 2011-01-30 12:28:15 Perception Vision Neuroscience Cognitive science Memory Consciousness studies Olfaction Stereopsis Visual short-term memory Odor Olfactory receptor
50	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