CAIP: Detecting Router Misconfigurations with Context-Aware Iterative Prompting of LLMs

Autor: Jiang, Xi, Gember-Jacobson, Aaron, Feamster, Nick

Model checkers and consistency checkers detect critical errors in router configurations, but these tools require significant manual effort to develop and maintain. LLM-based Q&A models have emerged as a promising alternative, allowing users to query

Externí odkaz: http://arxiv.org/abs/2411.14283

Localizing Router Configuration Errors Using Minimal Correction Sets

Autor: Gember-Jacobson, Aaron, Shrestha, Ruchit, Sun, Xiaolin

Router configuration errors are unfortunately common and difficult to localize using current network verifiers. We introduce a novel configuration error localizer (CEL) that precisely identifies which configuration segments contribute to the violatio

Externí odkaz: http://arxiv.org/abs/2204.10785

Tiramisu: Fast and General Network Verification

Autor: Abhashkumar, Anubhavnidhi, Gember-Jacobson, Aaron, Akella, Aditya

Today's distributed network control planes support multiple routing protocols, filtering mechanisms, and route selection policies. These protocols operate at different layers, e.g. BGP operates at the EGP layer, OSPF at the IGP layer, and VLANs at la

Externí odkaz: http://arxiv.org/abs/1906.02043

Frequency drift in MR spectroscopy at 3T

Autor: Hui, Steve C.N., Mikkelsen, Mark, Zöllner, Helge J., Ahluwalia, Vishwadeep, Alcauter, Sarael, Baltusis, Laima, Barany, Deborah A., Barlow, Laura R., Becker, Robert, Berman, Jeffrey I., Berrington, Adam, Bhattacharyya, Pallab K., Blicher, Jakob Udby, Bogner, Wolfgang, Brown, Mark S., Calhoun, Vince D., Castillo, Ryan, Cecil, Kim M., Choi, Yeo Bi, Chu, Winnie C.W., Clarke, William T., Craven, Alexander R., Cuypers, Koen, Dacko, Michael, de la Fuente-Sandoval, Camilo, Desmond, Patricia, Domagalik, Aleksandra, Dumont, Julien, Duncan, Niall W., Dydak, Ulrike, Dyke, Katherine, Edmondson, David A., Ende, Gabriele, Ersland, Lars, Evans, C. John, Fermin, Alan S.R., Ferretti, Antonio, Fillmer, Ariane, Gong, Tao, Greenhouse, Ian, Grist, James T., Gu, Meng, Harris, Ashley D., Hat, Katarzyna, Heba, Stefanie, Heckova, Eva, Hegarty, John P., II, Heise, Kirstin-Friederike, Honda, Shiori, Jacobson, Aaron, Jansen, Jacobus F.A., Jenkins, Christopher W., Johnston, Stephen J., Juchem, Christoph, Kangarlu, Alayar, Kerr, Adam B., Landheer, Karl, Lange, Thomas, Lee, Phil, Levendovszky, Swati Rane, Limperopoulos, Catherine, Liu, Feng, Lloyd, William, Lythgoe, David J., Machizawa, Maro G., MacMillan, Erin L., Maddock, Richard J., Manzhurtsev, Andrei V., Martinez-Gudino, María L., Miller, Jack J., Mirzakhanian, Heline, Moreno-Ortega, Marta, Mullins, Paul G., Nakajima, Shinichiro, Near, Jamie, Noeske, Ralph, Nordhøy, Wibeke, Oeltzschner, Georg, Osorio-Duran, Raul, Otaduy, Maria C.G., Pasaye, Erick H., Peeters, Ronald, Peltier, Scott J., Pilatus, Ulrich, Polomac, Nenad, Porges, Eric C., Pradhan, Subechhya, Prisciandaro, James Joseph, Puts, Nicolaas A, Rae, Caroline D., Reyes-Madrigal, Francisco, Roberts, Timothy P.L., Robertson, Caroline E., Rosenberg, Jens T., Rotaru, Diana-Georgiana, O'Gorman Tuura, Ruth L, Saleh, Muhammad G., Sandberg, Kristian, Sangill, Ryan, Schembri, Keith, Schrantee, Anouk, Semenova, Natalia A., Singel, Debra, Sitnikov, Rouslan, Smith, Jolinda, Song, Yulu, Stark, Craig, Stoffers, Diederick, Swinnen, Stephan P., Tain, Rongwen, Tanase, Costin, Tapper, Sofie, Tegenthoff, Martin, Thiel, Thomas, Thioux, Marc, Truong, Peter, van Dijk, Pim, Vella, Nolan, Vidyasagar, Rishma, Vovk, Andrej, Wang, Guangbin, Westlye, Lars T., Wilbur, Timothy K., Willoughby, William R., Wilson, Martin, Wittsack, Hans-Jörg, Woods, Adam J., Wu, Yen-Chien, Xu, Junqian, Lopez, Maria Yanez, Yeung, David K.W., Zhao, Qun, Zhou, Xiaopeng, Zupan, Gasper, Edden, Richard A.E.

Publikováno v: In NeuroImage 1 November 2021 241

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.