Search Results for System Robustness.

4 Results Found

0000DEFAULT

Cover image for Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings

Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings

Author

Diehl, Patrick. editor. (orcid)0000-0003-3922-8419 Schuchart, Joseph. editor. Valero-Lara, Pedro. editor. Bosilca, George. editor. (orcid)0000-0003-2411-8495 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-61763-8

Format:

Availability

Online Library~1

Available:
Copies:

Computational Intelligence for Network Structure Analytics

Author

Gong, Maoguo. author. Cai, Qing. author. Ma, Lijia. author. Wang, Shanfeng. author. Lei, Yu. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-4558-5

Format:

Availability

Online Library~1

Available:
Copies:

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Author

Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51653-0

Format:

Availability

Online Library~1

Available:
Copies:

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Author

Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46982-9

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}