-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
LaScaDa: A Novel Scalable Topology for Data Center Network
Veröffentlicht in IEEE/ACM transactions on networking
VolltextArtikel -
10
-
11
-
12
-
13
-
14
-
15
-
16
Efficient Reachability Analysis for Time Petri Nets
Veröffentlicht in IEEE transactions on computers
VolltextArtikel -
17
Efficient techniques for energy saving in data center networks
Veröffentlicht in Computer communications
VolltextArtikel -
18
-
19
-
20
On-the-fly T C T L model checking for time Petri nets
Veröffentlicht in Theoretical computer science
VolltextArtikel