From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Life on the Edge: Unraveling Policies into Configurations.

S. Basu, N. Foster, H. Hojjat, P. Palacharla, C. Skalka, и X. Wang. ANCS, стр. 178-190. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Nate Breznau

Urs Nater

Nate Eastman

Nate Kushman

Simon Foster

Другие публикации лиц с тем же именем

NetChain: Scale-Free Sub-RTT Coordination (Extended Version).X. Jin, X. Li, H. Zhang, N. Foster, J. Lee, R. Soulé, C. Kim, и I. Stoica. CoRR, (2018)The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis.S. Roy, L. Kot, G. Bender, B. Ding, H. Hojjat, C. Koch, N. Foster, и J. Gehrke. SIGMOD Conference, стр. 1311-1326. ACM, (2015)Specifying and Verifying the Correctness of Dynamic Software Updates.C. Hayden, S. Magill, M. Hicks, N. Foster, и J. Foster. VSTTE, том 7152 из Lecture Notes in Computer Science, стр. 278-293. Springer, (2012)A fast compiler for NetKAT.S. Smolka, S. Eliopoulos, N. Foster, и A. Guha. ICFP, стр. 328-341. ACM, (2015)Abstractions for Software-defined NetworksM. Casado, N. Foster, и A. Guha. Commun. ACM, 57 (10): 86--95 (сентября 2014)Tutorial: Practical verification of network programs.N. Foster, A. Guha, M. Reitblatt, и C. Schlesinger. FMCAD, стр. 9-10. IEEE, (2013)Event-driven network programming.J. McClurg, H. Hojjat, N. Foster, и P. Cerný. PLDI, стр. 369-385. ACM, (2016)Efficient synthesis of network updates.J. McClurg, H. Hojjat, P. Cerný, и N. Foster. PLDI, стр. 196-207. ACM, (2015)Avenir: Managing Data Plane Diversity with Control Plane Synthesis.E. Campbell, W. Hallahan, P. Srikumar, C. Cascone, J. Liu, V. Ramamurthy, H. Hojjat, R. Piskac, R. Soulé, и N. Foster. NSDI, стр. 133-153. USENIX Association, (2021)Formal Foundations for Networking (Dagstuhl Seminar 15071).N. Bjørner, N. Foster, P. Godfrey, и P. Zave. Dagstuhl Reports, 5 (2): 44-63 (2015)

BibSonomy

Disambiguation

Please choose a person to relate this publication to

Nate Breznau

Urs Nater

Nate Eastman

Nate Kushman

Simon Foster

Другие публикации лиц с тем же именем

Disambiguation

BibSonomy

Disambiguation

копироватьудалитьдобавить публикацию в буферЗапись сообществапосмотреть историю данной записиURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Life on the Edge: Unraveling Policies into Configurations.

Please choose a person to relate this publication to

Nate Breznau

Urs Nater

Nate Eastman

Nate Kushman

Simon Foster

Другие публикации лиц с тем же именем

Disambiguation