CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
331	Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds ARCADE Workshop August 6, 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:39 Theoretical computer science Logic in computer science NP-complete problems Constraint programming Electronic design automation Satisfiability modulo theories Universal quantification Solver
332	MODELS AND METRICS FOR ENERGY-EFFICIENT COMPUTER SYSTEMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:45:07 Computing Concurrent computing Distributed computing Benchmark Standard Performance Evaluation Corporation Data center Kunle Olukotun Christos Kozyrakis
333	1 On iBGP Routing Policies Stefano Vissicchio, Luca Cittadini, Giuseppe Di Battista Abstract—Internet Service Providers (ISPs) run the internal Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Computing Internet architecture Routing Network architecture Internet Internet Standards Computer networking Border Gateway Protocol Route reflector Router Default-free zone Open Shortest Path First
334	Author manuscript, published in "WEEDWorkshop on Energy-Efficient Design (2010)" The Search for Energy-Efficient Building Blocks for the Data Center inria, versionJun 2010 Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:48 Computing Computer architecture Computer hardware Microprocessors Parallel computing Benchmark Opteron Advanced Micro Devices Multi-core processor Intel Atom Central processing unit Intel
335	This space is reserved for the EPiC Series header, do not use it Checkable Proofs for First-Order Theorem Proving∗ Giles Reger1 and Martin Suda2 1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:50 Theoretical computer science Automated theorem proving Mathematics Logic in computer science Mathematical logic Formal methods Automated reasoning Proof assistant Isabelle Interactive Theorem Proving Mathematical proof Geoff Sutcliffe
336	Department of Computer Science INCREMENTAL RUNTIME VERIFICATION OF PROBABILISTIC SYSTEMS Vojtˇech Forejt Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:27 Dynamic programming Markov processes Stochastic control Markov models Probability Markov decision process Markov chain PP Probabilistic CTL Model checking
337	Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin. Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematics Formal languages Temporal logic Syntax Metalogic Logic Metaphilosophy Model theory Linear temporal logic Interpretation Computation tree logic Variable
338	S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2018-10-18 11:22:47 Software engineering Computer programming Computing Method Object-oriented programming Data types High-level programming languages Dynamic dispatch Polymorphism Virtual method table Method overriding Objective-C
339	c Copyright 2014 Colin S. Gordon Verifying Concurrent Programs by Controlling Alias Interference Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-22 12:11:10 Software engineering Computing Theoretical computer science Type theory Data types Logic in computer science Edsger W. Dijkstra Substructural logic Separation logic Type system Haskell Subtyping
340	Robustness Analysis of String Transducers? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2?? , and Swarat Chaudhuri3 1 University of Texas at Austin 2 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Levenshtein distance Linguistics Theoretical computer science Finite-state transducer Mathematics Nested stack automaton

UPDATE