BPOE-9 Call for Papers -------------------------------- The Ninth Workshop on Big Data Benchmarks, Performance Optimization, and Emerging Hardware (BPOE-9) Web: http://prof.ict.ac.cn/bpoe-9/

Source URL: prof.ict.ac.cn

• Data management
• Chinese Academy of Sciences
• University of the Chinese Academy of Sciences
• Big data
• International Conference on Architectural Support for Programming Languages and Operating Systems
• Benchmark
• Database
• Computing
• Data
• Information

Causal Commutative Arrows and Their Optimization Hai Liu Eric Cheng Paul Hudak

Source URL: thev.net

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOL. 64, NO. 8, AUGUSTReliability and Temporality Optimization for Multiple Coexisting WirelessHART Networks

Source URL: wirelesslab.sjtu.edu.cn

• Graph theory
• Mathematics
• Computational complexity theory
• Network theory
• NP-complete problems
• Graph coloring
• Connectivity
• Shortest path problem
• Routing algorithms

What’s New with SUSE CaaS Platform 3? SUSE CaaS Platform 3 continues to deliver rapid advancements, with expanded options for cluster optimization, support for more efficient and secure container image management, and

Source URL: www.suse.com

• Cloud computing
• Computing
• Free software
• Cloud infrastructure
• Web services
• Kubernetes
• SUSE Linux
• Google Cloud Platform
• OpenStack
• SUSE
• Red Hat software
• Container Linux by CoreOS

Fastly Performance Optimization Package QUICK VALUE PACK AGES Unleash the value of Fastly without tying up scarce IT resources

Source URL: www.fastly.com

• Computing
• Network performance
• Content delivery networks
• Information and communications technology
• Internet
• Fastly
• Internet security
• Transmission Control Protocol
• Program optimization
• Performance tuning
• Packeteer
• Brotli

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization Benjamin Bichsel Timon Gehr

Source URL: files.sri.inf.ethz.ch

Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

Source URL: homes.cs.washington.edu

• Numerical analysis
• Mathematics
• Applied mathematics
• Computing
• Error analysis
• Interval arithmetic
• Round-off error
• Program optimization
• Infinite loop
• Algorithm

arXiv:1807.01672v2 [cs.LG] 6 JulRanked Reward: Enabling Self-Play Reinforcement Learning for Combinatorial Optimization Alexandre Laterre

Source URL: arxiv.org

• Mathematics
• Applied mathematics
• Statistical randomness
• Theoretical computer science
• Packing problems
• Dynamic programming
• Machine learning algorithms
• Machine learning
• Reinforcement learning
• Bin packing problem
• Artificial neural network
• Algorithm

On SAT Modulo Theories and Optimization Problems Robert Nieuwenhuis and Albert Oliveras? Abstract. Solvers for SAT Modulo Theories (SMT) can nowadays handle large industrial (e.g., formal hardware and software verificati

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Maximum satisfiability problem
• Unit propagation

Automated Planning and Scheduling ΕΟ Constellations’ Operations with Ant Colony Optimization Evridiki Vasileia Ntagiou Surrey Space Centre, University of Surrey Abstract

Source URL: icaps16.icaps-conference.org

• Mathematics
• Computational complexity theory
• Nature-inspired metaheuristics
• Applied mathematics
• Ant colony optimization algorithms
• Swarm intelligence
• Optimization problem
• Mathematical optimization
• Ant
• Swarm behaviour
• Combinatorial optimization
• Shortest path problem