Verifying MPI Applications with Mc SimGrid The Anh Pham, Thierry Jéron, Martin Quinson Univ. Rennes  Inria  CNRS  IRISA (France) Correctness 2017 Denver, Colorado

Source URL: correctness-workshop.github.io

• Psychometrics
• Design of experiments
• Statistical hypothesis testing
• Test
• Psychology
• Education
• Parallel computing
• Human behavior

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

Immutable Application Containers Reproducibility of CAE-computations through Immutable Application Containers HPC Advisory Council - Swiss Workshop 2015

Source URL: hpcadvisorycouncil.com

• System software
• UserLand Software
• Operating-system-level virtualization
• Userland
• Hyper-V

Second ACL Workshop on Multiword Expressions: Integrating Processing, July 2004, ppStatistical Measures of the Semi-Productivity of Light Verb Constructions Suzanne Stevenson and Afsaneh Fazly and Ryan North Depar

Source URL: www.ryannorth.ca

• Linguistics
• Syntax
• Light verb
• Phrasal verb
• Compound verb
• Verb
• Subject
• English verbs
• Semantics

The SCAR Project Semantic Coloring of Academic References Angelo Di Iorio1, Freddy Limpens1, Agata Rotondi1, Pascal Coupet2, Georgios Tsatsaronis2 1DASPLab - Digital and Semantic Publishing Laboratory (University of Bolo

Source URL: workshop-oc.github.io

• Computing
• Web services
• Web standards
• Data
• Knowledge representation
• Semantic Web
• Resource Description Framework
• SPARQL
• Part-of-speech tagging
• Training
• test
• and validation sets

LOGISTICS Workshop participants will: SONIC WORKSHOP OVERVIEW State-of-the-art cloud computing and networks require stateof-the-art methodologies to understand and secure them,

Source URL: webedit.cs.cornell.edu

• Cloud infrastructure
• Cloud computing
• Mobile cloud computing

Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm)

Source URL: smt2014.it.uu.se

• Mathematical analysis
• Logic
• Theoretical computer science
• Automated theorem proving
• Logic programming
• Conflict-driven clause learning
• E
• Calculus
• Substitution
• Exponential function

Star-Cap: Cluster Power Management Using Software-Only Models John D. Davis Suzanne Rivoire () Moisés Goldszmidt (Microsoft Research) ICPP Workshop on Power-aware Algorithms,

Source URL: rivoire.cs.sonoma.edu

Microsoft Word - workshop-proceedings.docx

Source URL: icaps16.icaps-conference.org

• Constraint programming
• Automated planning and scheduling
• Business
• Economy
• Computing
• Mathematical optimization
• Production planning
• Combinatorial optimization
• Planning Domain Definition Language
• Constraint satisfaction
• Linear programming
• Scheduling

SyGuS Techniques in the Core of an SMT Solver Andrew Reynolds SYNT Workshop July 22, 2017

Source URL: www.react.uni-saarland.de

• Theoretical computer science
• Logic in computer science
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories