Pages that link to "Item:Q4421149"
From MaRDI portal
The following pages link to An algorithm for exact bounds on the time separation of events in concurrent systems (Q4421149):
Displaying 12 items.
- Time separations of cyclic event rule systems with min-max timing constraints (Q955027) (← links)
- Output feedback stabilization for a class of nonlinear time-evolution systems (Q1006702) (← links)
- Min-max inequalities and the timing verification problem with max and linear constraints (Q1773101) (← links)
- Efficient algorithms for approximate time separation of events (Q1847541) (← links)
- From max-plus algebra to nonexpansive mappings: A nonlinear theory for discrete event systems. (Q1870590) (← links)
- Karnaugh maps of logical systems and applications in digital circuit design (Q2192265) (← links)
- The level set method for the two-sided max-plus eigenproblem (Q2393147) (← links)
- Globally optimal solutions of max-min systems (Q2426673) (← links)
- An algorithm for timing verification of systems constrained by min-max inequalities (Q2643633) (← links)
- Time separation of events: an inverse method (Q2870195) (← links)
- Beyond Lamport's <i>Happened-before</i> (Q3189648) (← links)
- Cycle time assignment of min-max systems (Q4668240) (← links)
