1
Simulation Tools and Techniques [E-Book] : 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part I /
Table of Contents: ... modified Gauss-Seidel iteration method for solving absolute value equations -- Modified LPMHSS method for a class of complex symmetric linear systems -- Rational Lanczos method for the symmetric positive semidefinite Toeplitz matrix function -- A Bi-directional...

Full text 
2
Fundamentals of Software Engineering [E-Book] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
Table of Contents: ... Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence Format for XY-simulation -- Tooled Process for Early Validation of SysML Models using Modelica Simulation -- Can High Throughput Atone for High Latency in Compiler-Generated Protocol...

Full text