DOMAIN SPECIFIC LANGUAGES FOR EFFICIENT SATELLITE CONTROL SOFTWARE DEVELOPMENT Andreas Wortmann, Martin Beet OHB System AG, Universitätsallee 27-29, 28359 Bremen, Germany, Email: Tel.: +

Source URL: mbeddr.com

• Computing
• Software engineering
• Software architecture
• Information and communications technology
• Domain-specific language
• Software development
• Software
• Component-based software engineering
• Application software

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus

Source URL: qav.comlab.ox.ac.uk

Product Fact Sheet Product: Rylo Availability: rylo.com and amazon.com. US only. International coming soon. MSRP: $USD Description: Rylo is a groundbreaking camera designed with powerful software that makes it eas

Source URL: www.rylo.com

• Cameras
• Rylo
• 360-degree video

Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1

Source URL: rjoshi.org

• Software testing
• Software engineering
• Model checkers
• Computing
• Theoretical computer science
• Formal methods
• Model checking
• Formal verification
• Random testing
• Test automation
• SPIN model checker
• Acceptance testing

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

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA

Source URL: correctness-workshop.github.io

• Computing
• Software engineering
• Computer programming
• X86 instructions
• MOVAPD
• X86 instruction listings
• J
• Compiler
• MOVDDUP

DIMVA Dear Prospective Sponsor. Since 2004 and 2009 the annual international IT-Security conferences DIMVA (Detection of Intrusions and Malware & Vulnerability Assessment) and ESSOS (Engineering Secure Software and Syste

Source URL: itsec.cs.uni-bonn.de

• Sponsor
• Value-added tax
• TED
• Culture
• Terminology
• Human behavior

Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN Master’s thesis presented in partial fulfillment of the requirements for the degree of

Source URL: inl.info.ucl.ac.be

• Network architecture
• Computing
• Computer architecture
• Information and communications technology
• Emerging technologies
• Internet architecture
• Configuration management
• Software-defined networking
• Network protocols
• OpenFlow
• Open vSwitch
• Computer network

PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev Software Reliability Lab Department of Computer Science ETH Zurich

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

• Async/await
• Control flow
• Stan
• Symposium on Principles of Programming Languages
• Phog
• Machine learning
• Futures and promises
• PL
• Probability and statistics
• Computing
• Software engineering

Self-Practice Imitation Learning from Weak Policy Qing Da, Yang Yu, and Zhi-Hua Zhou National Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China {daq,yuy,zhouzh}@lamda.nju.edu.cn

Source URL: cs.nju.edu.cn

• Survey methodology
• Machine learning algorithms
• Sampling techniques
• Artificial intelligence
• Sampling
• Support vector machine
• Reinforcement learning
• Simple random sample
• Learning
• Machine learning
• Cognition