Name
Year | DOI | Venue |
|---|---|---|
2010 | 10.4230/OASIcs.WCET.2010.113 | WCET |
Keywords | Field | DocType |
timing analysis,model checking | Pipeline (computing),ARM9,Model checking,Computer science,Scheduling (computing),Parallel computing,Static analysis,Real-time computing,Execution time,Modular design,Modularity | Conference |
Citations | PageRank | References |
38 | 1.20 | 12 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andreas Engelbredt Dalsgaard | 1 | 71 | 4.25 |
| Mads Chr. Olesen | 2 | 120 | 8.43 |
| Martin Toft | 3 | 38 | 1.20 |
| René Rydhof Hansen | 4 | 392 | 32.52 |
| Kim Guldstrand Larsen | 5 | 4434 | 346.88 |