Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Jeffrey Ferrari"'
Algorithmic, Heuristic, and Systematic Approaches for Software Model Checking of Distributed Systems
Autor:
Lukman, Jeffrey Ferrari
Today, distributed software infrastructures have become a dominant backbone for cloud computing and modern applications. Large-scale distributed systems such as scalable frameworks, storage systems, synchronization, and cluster management services ha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f4d620f33d0ce57be961fe7073fe35a
Autor:
Kimberly Wohlfeil, Scott Slotnick, Glen Ackerman, Patrick Smith, Stephen Rapp, Blake Coop, Robert Hunter, Colin Jordan, Eugene Douglas, Terry Dryden, Stuart Bustard, Michael Cubr, Richard Werth, Kristine Kissel, Keyur Trivedi, William Wengorovius, Mark Brumby, Jason Fox, Scott Hogan, Timothy Andrews, Ian Stahl, Kevin Derry, Marcus Forward, Steven Sebastian, Steven Kissel, AnnMarie Lerch, Kenneth Hsu, Tyler DeLong, Xuan Tran, Cory Hendrickson, Randall Hampkins, Matthew Van Ruiten, Duane Harvey, Barbara White, Paul R. Fisher, Kurt Tomlinson, Michael Naldrett, Matthew Dober, John S. Gill, Brian D. Tait, Douglas Andrejewski, Lindley Berry, Mark Pohl, Jeffrey Ferrari, Jason Wayman, Jason Wong, Craig Baloga
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::30e29a46f4e3859562e9d3611c807601
https://doi.org/10.4271/931110
https://doi.org/10.4271/931110
