2026-09-07 09:54 |
|
2026-09-03 09:48 |
-
Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests
Hück, A. (Corresponding author) ; Schwitanski, S. (Corresponding author) ; Jammer, T. (Corresponding author) ; Jenke, J. (Corresponding author) ; ; et al
Proceedings of 2025 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis (SC25 Workshops) 16–21 Nov 2025, St. Louis, MO, USA, Seiten/Artikel-Nr: 179-187
DOI: 10.1145/3731599.3767359
Contribution to a book/Contribution to a conference proceedings
2025
|
2026-09-01 13:46 |
-
Loop home markings (looms) in free-choice nets with home clusters
Prinz, T. M. (Corresponding author) ; van der Aalst, W. M. P. ; Schwanen, C. T. ; Choi, Y.
PNWS 2026 : Joint Workshop Proceedings of PNSE'26, PNAS'26, ATAED’26, and PHOCON’26 co-located with the 47th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2026) : Hamburg, Germany, June 22 - 23, 2026 Hamburg, Germany, June 22 - 23, 2026 / edited by Michael Köhler-Bußmeier, Daniel Moldt, Heiko Rölke, Lorenzo Capra, Robin Bergenthum, Sander Leemans, Andrey Rivkin, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier, Krzysztof Ziemiański, Seiten/Artikel-Nr: 17 Seiten
URL: https://ceur-ws.org/Vol-4236/
Contribution to a book/Contribution to a conference proceedings
2026
|
2026-09-01 10:08 |
|
2026-09-01 10:08 |
|
2026-09-01 10:08 |
|
2026-09-01 08:06 |
-
Interrupting Autopilot: Evaluating Sensory Interventions for Momentary Self-Regulation
Dissanayake, D. (Corresponding author) ; Mysan, M. (Corresponding author) ; Luo, Y. (Corresponding author) ; Antoni, T. (Corresponding author) ; ; et al
PProceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems / Edited by Nuria Oliver, David A. Shamma, Heloisa Candello, Pablo Cesar, Pedro Lopes, Valentino Artizzu, Fiona Draxler, Gustavo López, Anke V. Reinschluessel, Xin Tong, Phoebe O. Toups Dugas, Seiten/Artikel-Nr: 6 Seiten
DOI: 10.1145/3772363.3798497
Abstract (Extended abstract)/Contribution to a book/Contribution to a conference proceedings
2026
|
2026-08-31 11:11 |
|
2026-08-29 23:23 |
|
2026-08-28 13:04 |
|
|
|