Name
Title | ||
|---|---|---|
A Formal Method for Scheduling Analysis of a Partitioned Multiprocessor System - Dynamic Priority Time Petri Nets. |
Year | Venue | Field |
|---|---|---|
2012 | PECCS | Petri net,Computer science,Scheduling (computing),Parallel computing,Real-time computing,Multiprocessing,Process architecture,Rate-monotonic scheduling,Formal methods,Dynamic priority scheduling,Distributed computing |
DocType | Citations | PageRank |
Conference | 1 | 0.35 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Walid Karamti | 1 | 13 | 2.74 |
| Adel Mahfoudhi | 2 | 72 | 14.26 |
| Yessine Hadj Kacem | 3 | 34 | 9.72 |
| Mohamed Abid | 4 | 42 | 11.08 |