Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning
  3. software systems
https://canv.ai/
The picture is generated by canv.ai

We are excited to announce that Canv.ai now features a built-in translator, allowing you to communicate in your native language. You can write prompts in your language, and they will be automatically translated into English, facilitating communication and the exchange of ideas!

We value freedom of speech and guarantee the absence of censorship on Canv.ai. At the same time, we hope and believe in the high moral standards of our users, which will help maintain a respectful and constructive atmosphere.

👉 Check for yourself!

Software Architecture

Posted By: AvaxGenius
Date: 15 Sep 2022 06:07:45
Software Architecture

Software Architecture: 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19–23, 2022, Proceedings by Ilias Gerostathopoulos, Grace Lewis, Thais Batista, Tomáš Bureš
English | PDF,EPUB | 2022 | 225 Pages | ISBN : 3031166965 | 22 MB

This book constitutes the refereed proceedings of the 16th International Conference on Software Architecture, ECSA 2022, held in Prague in September 2022.
The 9 full papers and 6 short papers were carefully selected from 47 submissions.
In the Research Track, 11 full papers presented together with 5 short papers were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections as follows: components, APIs and interface management; architecting for data-driven systems; microservices and middleware; architecture modeling, design and decision making; architecture reconstruction and recovery.
Details

Algorithms and Architectures for Parallel Processing

Posted By: AvaxGenius
Date: 11 Aug 2022 07:36:49
Algorithms and Architectures for Parallel Processing

Algorithms and Architectures for Parallel Processing: 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part I by Yongxuan Lai
English | EPUB | 2022 | 835 Pages | ISBN : 3030953831 | 111.9MB

The total of 145 full papers included in these proceedings were carefully reviewed and selected from 403 submissions. They cover the many dimensions of parallel algorithms and architectures including fundamental theoretical approaches, practical experimental projects, and commercial components and systems.
Details

Tools and Methods of Program Analysis

Posted By: AvaxGenius
Date: 3 Jun 2021 13:35:55
Tools and Methods of Program Analysis

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers by Anna Kalenkova
English | EPUB | 2021 | 216 Pages | ISBN : 3030714713 | 14.1 MB

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.
Details

Tools and Methods of Program Analysis

Posted By: AvaxGenius
Date: 19 Apr 2021 18:52:43
Tools and Methods of Program Analysis

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers by Anna Kalenkova
English | PDF | 2021 | 216 Pages | ISBN : 3030714713 | 15.6 MB

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.
Details

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Repost)

Posted By: AvaxGenius
Date: 19 Mar 2021 04:49:25
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Repost)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers By Nils Przigoda
English | EPUB | 2018 | 257 Pages | ISBN : 331972813X | 6.2 MB

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.
Details
UPWARDS