Search results
From MaRDI portal
- Program Schemata 1972-01-01 Paper Parallel program schemata 1969-01-01 Paper The Organization of Computations for Uniform Recurrence Equations 1967-01-01 Paper...10 bytes (16 words) - 23:25, 12 December 2023
- 1973-01-01 Paper Parallel Program Schemata and Maximal Parallelism I. Fundamental Results 1973-01-01 Paper Parallel Program Schemata and Maximal Parallelism...10 bytes (15 words) - 15:46, 24 September 2023
- function expansions in integer powers 1979-01-01 Paper Encoding of parallel program schemata by vector addition systems 1979-01-01 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 06:46, 13 December 2023
- Traveling-Salesman Problem and Minimum Spanning Trees 1970-01-01 Paper Parallel program schemata 1969-01-01 Paper Some Bounds on the Storage Requirements of Sequential...10 bytes (16 words) - 04:05, 9 December 2023
- Paper Parallelizing operational schemata over block variables 1977-01-01 Paper Large-block segmentation and parallelization of program schemata 1976-01-01...10 bytes (14 words) - 09:14, 24 September 2023
- de/entity/Q4128421 1977-01-01 Paper Large-block segmentation and parallelization of program schemata 1976-01-01 Paper Finding arguments and results of operators...10 bytes (16 words) - 09:52, 9 December 2023
- commutative equivalence of program schemata 2001-01-28 Paper On the decidability of the equivalence problem for orthogonal sequential programs 2001-01-16 Paper On...10 bytes (15 words) - 10:15, 8 December 2023
- Hopcroft 1973-01-01 Paper Programming by induction 1972-01-01 Paper On Classes of Program Schemata 1972-01-01 Paper Program Schemes with Pushdown Stores...10 bytes (15 words) - 16:07, 6 October 2023
- model theory to the metatheory of program schemata 1977-01-01 Paper A Study of Schedules as Models of Synchronous Parallel Computation 1977-01-01 Paper Space...10 bytes (17 words) - 19:17, 24 September 2023
- 2016-05-03 Paper Sup-interpretations, a semantic method for static analysis of program resources 2015-09-17 Paper An implicit characterization of PSPACE 2015-09-17...10 bytes (15 words) - 12:28, 28 January 2024
- design of relational database schemata 1982-01-01 Paper A formal approach to the definition and the design of conceptual schemata for databased systems 1982-01-01...10 bytes (13 words) - 03:11, 9 December 2023
- structure of approximation classes 2014-10-07 Paper Exponential approximation schemata for some network design problems 2014-08-13 Paper Moderately exponential...10 bytes (13 words) - 11:40, 28 January 2024
- Publication:3766818 Concurrent dynamic logic Parallel program schemata Some open questions in the theory of program schemes and dynamic logics Publication:3690242...15 bytes (314 words) - 01:29, 31 January 2024
- Serialization of concurrent programs Functional systems: Theoretical and practical aspects Encoding of parallel program schemata by vector addition systems...15 bytes (218 words) - 16:03, 8 February 2024
- of data (68P20) Theory of operating systems (68N25) Cites Work Parallel program schemata Title not available (Why is that?) The notions of consistency and...15 bytes (416 words) - 23:45, 30 January 2024
- of data (68P20) Theory of operating systems (68N25) Cites Work Parallel program schemata The notions of consistency and predicate locks in a database system...15 bytes (349 words) - 03:19, 31 January 2024
- properties in a shared-memory parallel language Parallel program schemata Correctness of recursive parallel nondeterministic flow programs zbMATH Keywords non-deadlocking...15 bytes (216 words) - 00:36, 31 January 2024
- Cites Work Parallel program schemata The serializability of concurrent database updates Title not available (Why is that?) Parallel Program Schemata and Maximal...15 bytes (235 words) - 10:41, 5 February 2024
- of parallel programs Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing Proving assertions about parallel programs Prevention...15 bytes (168 words) - 08:25, 31 January 2024
- date: 11 June 2008 Recommendations Parallel program schemata Publication:4222876 Synthesis of parallel recursive programs in structural functional models...15 bytes (186 words) - 23:05, 4 February 2024
