The following pages link to Michael Kishinevsky (Q453525):
Displayed 12 items.
- Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics (Q453526) (← links)
- On the performance evaluation of multi-guarded marked graphs with single-server semantics (Q708894) (← links)
- (Q2766547) (← links)
- A Scheduling Strategy for Synchronous Elastic Designs (Q2895773) (← links)
- Verifying Deadlock-Freedom of Communication Fabrics (Q3075484) (← links)
- Elasticity and Petri Nets (Q3599221) (← links)
- (Q4319803) (← links)
- Deriving Petri nets from finite transition systems (Q4571475) (← links)
- An Online Learning Methodology for Performance Modeling of Graphics Processors (Q4626956) (← links)
- A structural approach for the analysis of Petri Nets by reduced unfoldings (Q4633172) (← links)
- Formal Methods in Computer-Aided Design (Q5492974) (← links)
- Theoretical Analysis and Evaluation of NoCs with Weighted Round-Robin Arbitration (Q6375738) (← links)