Harnessing First Order Termination Provers Using Higher Order Dependency Pairs ? Carsten Fuhs1 and Cynthia Kop2 1 2

Source URL: www.dcs.bbk.ac.uk

August 2, 2016 MEMORANDUM FOR: GOES DCS LRGS Data Users

Source URL: dcs3.noaa.gov

Proving nontermination via safety Hong-Yi Chen1 , Byron Cook2,1 , Carsten Fuhs1 , Kaustubh Nimkar1 , and Peter O’Hearn1 1 University College London

Source URL: www.dcs.bbk.ac.uk

CT de Tarjeta Personal 2015_dcs:22 Página 1 CONTRATO DE PERSONAL CARD MARQUE SÓLO LA OPCIÓN QUE DESEE CUOTA INDIVIDUAL

Source URL: www.dinersclub.es

Theory of Evolutionary Algorithms for Combinatorial Optimisation Pietro S. Oliveto University of Sheffield Midlands Graduate School

Source URL: staffwww.dcs.shef.ac.uk

• Computational complexity theory
• Analysis of algorithms
• Cybernetics
• Evolution
• Evolutionary algorithm
• Time complexity
• Theoretical computer science
• Computer science
• Applied mathematics

Roofline Model Toolkit: A Practical Tool for Architectural and Program Analysis Yu Jung Lo, Samuel Williams, Brian Van Straalen, Terry J. Ligocki, Matthew J. Cordery, Nicholas J. Wright, Mary W. Hall, and Leonid Oliker U

Source URL: www.dcs.warwick.ac.uk

• Computing
• Concurrent computing
• Parallel computing
• Computer programming
• OpenMP
• Roofline model
• Multi-core processor
• Manycore processor
• Thread
• Benchmark
• CUDA
• Data parallelism

SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

Source URL: www.dcs.bbk.ac.uk

• Theoretical computer science
• Computing
• Software engineering
• Logic in computer science
• Automated theorem proving
• Static program analysis
• Termination analysis
• Rewriting
• KeY
• Automated reasoning
• Bytecode
• Christoph Walther

Disproving termination with overapproximation Byron Cook∗† , Carsten Fuhs† , Kaustubh Nimkar† and Peter O’Hearn† ∗ Microsoft † University Research

Source URL: www.dcs.bbk.ac.uk

• Mathematics
• Dynamical systems
• Nonlinear system
• Exponentiation
• Net
• NC

Performance modeling of the HPCG benchmark Vladimir Marjanovi´c, Jos´e Gracia, and Colin W. Glass High Performance Computing Center Stuttgart (HLRS), University of Stuttgart, Germany Abstract. The TOP 500 list is the

Source URL: www.dcs.warwick.ac.uk

• Computing
• Parallel computing
• HPCG benchmark
• HPC Challenge Benchmark
• K computer
• Benchmark
• Supercomputer
• Kernel
• Memory bandwidth
• Standard Performance Evaluation Corporation
• LINPACK benchmarks

From Puppy to Maturity: Experiences in Developing Terrier Craig Macdonald, Richard McCreadie, Rodrygo L.T. Santos, and Iadh Ounis School of Computing Science University of Glasgow

Source URL: terrierteam.dcs.gla.ac.uk

• Information science
• Information retrieval
• Natural language processing
• Search engine indexing
• Relevance
• Learning to rank
• Terrier Search Engine
• Text Retrieval Conference