A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University March 12, 2010

Source URL: rivoire.cs.sonoma.edu

• Parallel computing
• Computing
• Computer programming
• IT infrastructure
• Manycore processor
• Multi-core processor
• OpenMP

arXiv:1410.1211v2 [cs.NI] 19 JulEncore: Lightweight Measurement of Web Censorship with Cross-Origin Requests Sam Burnett Georgia Tech

Source URL: arxiv.org

• Computing
• Computer security
• World Wide Web
• Internet privacy
• Internet censorship
• Content-control software
• Digital rights management
• HTTP cookie
• Ad blocking
• Web server
• Same-origin policy
• Web crawler

Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Cognitive science
• Automated reasoning
• Reasoning
• Accountability
• Technology
• Automated theorem proving
• Explainable Artificial Intelligence
• Xai
• Inference

Models and Metrics to Enable Energy-Efficiency Optimizations Suzanne Rivoire, Stanford University Mehul A. Shah and Parthasarathy Ranganathan, Hewlett-Packard Laboratories Christos Kozyrakis, Stanford University

Source URL: rivoire.cs.sonoma.edu

• Computing
• Computer architecture
• Concurrent computing
• Central processing unit
• Parallel computing
• Computer performance
• Computers and the environment
• Microprocessors
• Performance per watt
• Benchmark
• SPECint
• Standard Performance Evaluation Corporation

Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based

Source URL: www.cs.man.ac.uk

• Formal methods
• Theoretical computer science
• Complexity classes
• Automated theorem proving
• Vampire
• NP
• IP
• Mathematics
• Constraint programming
• Proof compression

Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017

Source URL: www.cs.ox.ac.uk

• Computer arithmetic
• Arithmetic
• Computing
• Binary arithmetic
• Theory of computation
• Data types
• IEEE standards
• Decimal64 floating-point format
• IEEE 754
• Double-precision floating-point format
• cole normale suprieure de Lyon
• Algorithm

Succinct Representation of Concurrent Trace Sets ∗ Ashutosh Gupta

Source URL: www.cs.purdue.edu

AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Logic
• Mathematical logic
• Logic in computer science
• Artificial intelligence
• Automated reasoning
• Automated theorem proving
• Predicate logic
• Quantifier
• Andrei Voronkov
• Z3
• Alt-Ergo

Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese

Source URL: www0.cs.ucl.ac.uk

• Internet architecture
• Computing
• Network architecture
• Information and communications technology
• Computer networking
• Routing
• Internet Standards
• Networking hardware
• Router
• Forwarding plane
• Multiprotocol Label Switching
• NetFlow

arXiv:1802.08415v1 [cs.CR] 23 FebTARANET: Traffic-Analysis Resistant Anonymity at the NETwork layer Chen Chen

Source URL: arxiv.org

• Computing
• Information and communications technology
• Data transmission
• Computer networking
• Network performance
• Routing
• Internet architecture
• Teletraffic
• Packet loss
• Packet forwarding
• Transmission Control Protocol
• Traffic flow