-
2
-
-
84877608511
-
-
Open networking foundation members, 2012
-
Open networking foundation members, 2012.
-
-
-
-
6
-
-
0036500942
-
Verification of out-of-order processor designs using model checking and a light-weight completion function
-
DOI 10.1023/A:1014170513439
-
S. Berezin, E. Clarke, A. Biere, and Y. Zhu. Verification of out-of-order processor designs using model checking and a light-weight completion function. Form. Methods Syst. Des., 20(2):159-186, Mar. 2002. (Pubitemid 34265802)
-
(2002)
Formal Methods in System Design
, vol.20
, Issue.2
, pp. 159-186
-
-
Berezin, S.1
Clarke, E.2
Biere, A.3
Zhu, Y.4
-
8
-
-
80053150130
-
-
Technical report, Technical Report TR10-08, Rice University
-
Z. Cai, A. Cox, and T. Maestro. A system for scalable openflow control. Technical report, Technical Report TR10-08, Rice University, 2010.
-
(2010)
A System for Scalable Openflow Control
-
-
Cai, Z.1
Cox, A.2
Maestro, T.3
-
9
-
-
85013634872
-
A NICE way to test OpenFlow applications
-
M. Canini, D. Venzano, P. Peresini, D. Kostic, and J. Rexford. A NICE way to test OpenFlow applications. In NSDI, 2012.
-
(2012)
NSDI
-
-
Canini, M.1
Venzano, D.2
Peresini, P.3
Kostic, D.4
Rexford, J.5
-
10
-
-
77953925880
-
Packet and circuit network convergence with openflow
-
IEEE
-
S. Das, G. Parulkar, N. McKeown, P. Singh, D. Getachew, and L. Ong. Packet and circuit network convergence with openflow. In Optical Fiber Communication (OFC), collocated National Fiber Optic Engineers Conference, 2010 Conference on (OFC/NFOEC), pages 1-3. IEEE, 2010.
-
(2010)
Optical Fiber Communication (OFC), Collocated National Fiber Optic Engineers Conference, 2010 Conference on (OFC/NFOEC)
, pp. 1-3
-
-
Das, S.1
Parulkar, G.2
McKeown, N.3
Singh, P.4
Getachew, D.5
Ong, L.6
-
11
-
-
80053000870
-
Openflow for wireless mesh networks
-
IEEE
-
P. Dely, A. Kassler, and N. Bayer. Openflow for wireless mesh networks. In Computer Communications and Networks (ICCCN), 2011 Proceedings of 20th International Conference on, pages 1-6. IEEE, 2011.
-
(2011)
Computer Communications and Networks (ICCCN), 2011 Proceedings of 20th International Conference on
, pp. 1-6
-
-
Dely, P.1
Kassler, A.2
Bayer, N.3
-
12
-
-
0016543936
-
Guarded commands, nondeterminacy and formal derivation of programs
-
E. Dijkstra. Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM, 18(8):453-457, 1975.
-
(1975)
Communications of the ACM
, vol.18
, Issue.8
, pp. 453-457
-
-
Dijkstra, E.1
-
13
-
-
45849085781
-
A survey of automated techniques for formal software verification
-
V. D'Silva, D. Kroening, and G. Weissenbacher. A survey of automated techniques for formal software verification. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 27(7):1165-1178, 2008.
-
(2008)
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
, vol.27
, Issue.7
, pp. 1165-1178
-
-
D'Silva, V.1
Kroening, D.2
Weissenbacher, G.3
-
15
-
-
80053341773
-
Frenetic: A network programming language
-
N. Foster, R. Harrison, and M. Freedman. Frenetic: A network programming language. ACM SIGPLAN Notices, 46(9):279-291, 2011.
-
(2011)
ACM SIGPLAN Notices
, vol.46
, Issue.9
, pp. 279-291
-
-
Foster, N.1
Harrison, R.2
Freedman, M.3
-
16
-
-
70350656962
-
Nox: Towards an operating system for networks
-
N. Gude, T. Koponen, J. Pettit, B. Pfaff, M. Casado, N. McKeown, and S. Shenker. Nox: towards an operating system for networks. ACM SIGCOMM Computer Communication Review, 38(3):105-110, 2008.
-
(2008)
ACM SIGCOMM Computer Communication Review
, vol.38
, Issue.3
, pp. 105-110
-
-
Gude, N.1
Koponen, T.2
Pettit, J.3
Pfaff, B.4
Casado, M.5
McKeown, N.6
Shenker, S.7
-
18
-
-
0038507387
-
Alloy: A lightweight object modelling notation
-
DOI 10.1145/505145.505149
-
D. Jackson. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology, 11(2):256-290, Apr. 2002. (Pubitemid 44159313)
-
(2002)
ACM Transactions on Software Engineering and Methodology
, vol.11
, Issue.2
, pp. 256-290
-
-
Jackson, D.1
-
19
-
-
84901630491
-
Logic Programming for Software-Defined Networks
-
N. P. Katta, J. Rexford, and D. Walker. Logic Programming for Software-Defined Networks. In XLDI, number 1, 2012.
-
(2012)
XLDI
, Issue.1
-
-
Katta, N.P.1
Rexford, J.2
Walker, D.3
-
21
-
-
82155170696
-
Openflow-based wavelength path control in transparent optical networks: A proof-of-concept demonstration
-
IEEE
-
L. Liu, T. Tsuritani, I. Morita, H. Guo, and J. Wu. Openflow-based wavelength path control in transparent optical networks: a proof-of-concept demonstration. In Optical Communication (ECOC), 2011 37th European Conference and Exhibition on, pages 1-3. IEEE, 2011.
-
(2011)
Optical Communication (ECOC), 2011 37th European Conference and Exhibition on
, pp. 1-3
-
-
Liu, L.1
Tsuritani, T.2
Morita, I.3
Guo, H.4
Wu, J.5
|