Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Pleszkoch, Mark G"'
Autor:
Bennink, Ryan S., Ferragut, Erik M., Humble, Travis S., Laska, Jason A., Nutaro, James J., Pleszkoch, Mark G., Pooser, Raphael C.
Publikováno v:
Phys. Rev. A 95, 062337 (2017)
Modeling and simulation is essential for predicting and verifying the behavior of fabricated quantum circuits, but existing simulation methods are either impractically costly or require an unrealistic simplification of error processes. We present a m
Externí odkaz:
http://arxiv.org/abs/1703.00111
Publikováno v:
The Journal of Symbolic Logic, 1992 Mar 01. 57(1), 53-81.
Externí odkaz:
https://www.jstor.org/stable/2275176
For several years, the Software Engineering Institute (SEI) at Carnegie Mellon University has been engaged in a project to compute the behavior of software with mathematical precision to the maximum extent possible. Air Force Office of Scientific Res
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09fdd9f3373bf1c665082fca4d64f94f
Autor:
Anderson, William, Andrews, Archie D., Brown, Nanette, Cohen, Cory, Craig, Christopher, Daly, Tim, Niz, Dionisio De, Diaz-Pace, Andres, Feiler, Peter H., Fisher, David, Gluch, David, Hansen, Jeffrey, Jorgen Hansson, Hudak, John J., Lakshmanan, Karthik, Linger, Richard C., Lipson, Howard, Moreno, Gabriel A., Morris, Edwin J., Mutlu, Onur, Nord, Robert, Ipek Ozkaya, Plakosh, Daniel, Pleszkoch, Mark G, Rajkumar, Raj, Seibel, Joe, Soumya Simanta, Weinstock, Charles B.
The Software Engineering Institute (SEI) annually undertakes several independent research and development (IRAD) projects. These projects serve to (1) support feasibility studies investigating whether further work by the SEI would be of potential ben
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f8095f83432a05888815ee0572573bf
Autor:
Chaki, Sagar, Collins, Rosann W., Feiler, Peter H., Goodenough, John, Greenhouse, Aaron, Jorgen Hansson, Hevner, Alan R., Hudak, John J., Jordan, Angel, Kazman, Rick, Linger, Richard C., Pleszkoch, Mark G, Prowell, Stacy J., Sharygina, Natasha, Wallnau, Kurt C., Walton, Gwendolyn, Weinstock, Charles B., Wrage, Lutz
Each year, the Software Engineering Institute (SEI) undertakes several Independent Research and Development (IR&D) projects. These projects serve to (1) support feasibility studies investigating whether further work by the SEI would be of potential b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::80bb8b457346e138c6a88bdbf69ebb76
Autor:
Hevner, Alan R., Linger, Richard C., Collins, Rosann W., Pleszkoch, Mark G, Walton, Gwendolyn H.
Currently, software engineers lack practical means to determine the full functional behavior of complex programs. This gap in intellectual control is the source of many long-standing and intractable problems in security, software, and systems enginee
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58ec2cddb41f1d9c4c9820ac64b42bef
Modern society could hardly function without the large-scale, network-centric information systems that pervade government, defense, and industry. As a result, serious failures or compromises carry far-reaching consequences. These systems are characte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3951642f69a273581645c42aaf1f4425
Publikováno v:
IEEE Software. Jan90, Vol. 7 Issue 1, p55. 9p. 4 Black and White Photographs, 10 Diagrams.
Publikováno v:
Proceedings of the Third Annual Workshop: Computational Learning Theory; Aug1990, p327-337, 11p
Publikováno v:
Proceedings of the Third Annual Workshop: Computational Learning Theory; Aug1990, p338-351, 14p