共 50 条
- [24] Asynchronous Multi-core Incremental SAT Solving TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 139 - 153
- [25] Finite parallel nonlinear finite element computations using the pre-conditioned lanczos method for solving linear equations ADVANCES IN COMPUTATIONAL MECHANICS WITH HIGH PERFORMANCE COMPUTING, 1998, : 95 - 101
- [26] Analytic Performance Models of Applications in Multi-core Computers 2013 IEEE 21ST INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS & SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS 2013), 2013, : 318 - 322
- [28] Simulating the filtration combustion of gases on multi-core computers J. Appl. Ind. Math., 2 (218-226): : 218 - 226
- [30] Use of Personal Computers with Multi-core Processors for Optimisation Using the Genetic Algorithm Method PROCEEDINGS OF 2016 17TH INTERNATIONAL CONFERENCE COMPUTATIONAL PROBLEMS OF ELECTRICAL ENGINEERING (CPEE), 2016,