scientific article
From MaRDI portal
Publication:3666231
zbMath0517.68013MaRDI QIDQ3666231
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Transformations of sequential specifications into concurrent specifications by synchronization guards, A microcomputer-based implementation of the expanding equilibrium algorithm for linear, single commodity spatial price equilibrium problems, An efficient algorithm for the Brownian dynamics simulation of aggregation, On projected newton barrier methods for linear programming and an equivalence to Karmarkar’s projective method, Dense polynomial multiplication with reduced array manipulation overhead, A simple equation solver and its application to financial modelling, Simple code optimizations
