Pages that link to "Item:Q5528155"
From MaRDI portal
The following pages link to Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing (Q5528155):
Displaying 28 items.
- Complexity results for weighted timed event graphs (Q429654) (← links)
- A proof of the determinacy property of the data flow schema (Q796973) (← links)
- A sufficient condition for the liveness of weighted event graphs (Q1014950) (← links)
- Minimizing place capacities of weighted event graphs for enforcing liveness (Q1020558) (← links)
- A connection between circular colorings and periodic schedules (Q1028150) (← links)
- A survey of scheduling methods for multiprocessor systems (Q1153687) (← links)
- Methods and means of parallel processing of information (Q1155954) (← links)
- Regularity and firing sequences of computation graphs (Q1159465) (← links)
- Data flow analysis of program nets (Q1163368) (← links)
- Stationary deterministic flows in discrete systems. I (Q1171375) (← links)
- Decoupling the dimensions of a system of affine recurrence equations (Q1187518) (← links)
- A new approach to parallel computing (Q1228362) (← links)
- A note on transition systems (Q1230656) (← links)
- Functional behavior in data spaces (Q1244988) (← links)
- (A-)synchronous (non)-deterministic cell spaces simulating each other (Q1253921) (← links)
- Homomorphisms between models of parallel computation (Q1836982) (← links)
- Parallel program schemata (Q2540014) (← links)
- Marked directed graphs (Q2552879) (← links)
- Optimal systolic array algorithms for tensor product (Q2572702) (← links)
- Execution termination and computation determinacy of data-flow program nets (Q2638758) (← links)
- Toward a Formal Semantic Framework for Deterministic Parallel Programming (Q3095349) (← links)
- Modeling for Verification (Q3176361) (← links)
- On Flows in Stochastic Marked Graphs (Q3416004) (← links)
- Implementation of Deadlock Analysis in Data Flow Graphs (Q4008471) (← links)
- Applications of graph theory in computer systems (Q4079059) (← links)
- PROCESSOR-TIME-OPTIMAL SYSTOLIC ARRAYS (Q4526929) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- PROCESSOR LOWER BOUND FORMULAS FOR ARRAY COMPUTATIONS AND PARAMETRIC DIOPHANTINE SYSTEMS (Q5248983) (← links)
