0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Dependable Computing - EDCC 2021 Workshops - DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings... Dependable Computing - EDCC 2021 Workshops - DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings (Paperback, 1st ed. 2021)
Rasmus Adler, Amel Bennaceur, Simon Burton, Amleto Di Salle, Nicola Nostro, …
R1,374 Discovery Miles 13 740 Ships in 18 - 22 working days

This book constitutes refereed proceedings of the Workshops of the 17th European Dependable Computing Conference, EDCC: Second Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2021, Third Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2021, 13th Workshop on Software Engineering for Resilient Systems, SERENE 2021, held in September 2021. Due to the COVID-19 pandemic the workshops were held virtually. The 14 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.

Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle,... Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers (Paperback, 1st ed. 2018)
Amel Bennaceur, Reiner Hahnle, Karl Meinke
R2,295 Discovery Miles 22 950 Ships in 18 - 22 working days

Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. Increased productivity in software engineering relies on the creation of new adaptive, scalable tools that can analyse large and continuously changing software systems. These require new software analysis techniques based on machine learning, such as learning-based software testing, invariant generation or code synthesis. Machine learning is a powerful paradigm that provides novel approaches to automating the generation of models and other essential software artifacts. This volume originates from a Dagstuhl Seminar entitled "Machine Learning for Dynamic Software Analysis: Potentials and Limits" held in April 2016. The seminar focused on fostering a spirit of collaboration in order to share insights and to expand and strengthen the cross-fertilisation between the machine learning and software analysis communities. The book provides an overview of the machine learning techniques that can be used for software analysis and presents example applications of their use. Besides an introductory chapter, the book is structured into three parts: testing and learning, extension of automata learning, and integrative approaches.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Tiny Planetarium - See the stars!
Nick Perilli Paperback R281 R262 Discovery Miles 2 620
Between Saying and Doing - Towards an…
Robert B. Brandom Hardcover R1,900 Discovery Miles 19 000
Launch Vehicles - Heritage Of The Space…
Michael Lennick Paperback R228 Discovery Miles 2 280
Handbook of Philosophical Logic
Dov M. Gabbay, Franz Guenthner Hardcover R4,080 Discovery Miles 40 800
Understanding Flusser, Understanding…
Aaron Jaffe, Michael F Miller, … Hardcover R3,596 Discovery Miles 35 960
Maurice Blanchot and Fragmentary Writing…
Leslie Hill Hardcover R5,612 Discovery Miles 56 120
Sol Plaatje's Mhudi - History…
Sabata-Mpho Mokae, Brian Willan Paperback R330 R305 Discovery Miles 3 050
Cosmopolitanisms
Bruce Robbins, Paulo Lemos Horta Hardcover R2,653 Discovery Miles 26 530
The Oak
Becky McGlade Sheet music R136 Discovery Miles 1 360
Blydskap: Mindfulness-Wenke vir 'n…
Johannes de Villiers Paperback R350 R312 Discovery Miles 3 120

 

Partners