Treffer 1 - 20
von 20.735
- 1
- 2
Seite in der Trefferliste auswählen
Scalability Engineering for Parallel Programs Using Empirical Performance Models
Shudler, Sergei ; Shudler, Sergei
Comparative Performance Modeling of Parallel Preconditioned Krylov Methods
Sood, Kanika ; Norris, Boyana ; Jessup, Elizabeth
2017 IEEE 19th International Conference on High Performance Computing and Communications; IEEE 15th International Conference on Smart City; IEEE 3rd International Conference on Data Science and Systems (HPCC/SmartCity/DSS) HPCC-SMARTCITY-DSS High Performance Computing and Communications; IEEE 15th International Conference on Smart City; IEEE 3rd International Conference on Data Science and Systems (HPCC/SmartCity/DSS), 2017 IEEE 19th International Conference on. :26-33 Dec, 2017
Demographic Inference in the Digital Age: Using Neural Networks to Assess Gender and Ethnicity at Scale.
Chekili, Amal ; Hernandez, Ivan
Organizational Research Methods. Apr2024, Vol. 27 Issue 2, p301-328. 28p.
Software Engineering with Transactional Memory Versus Locks in Practice.
Pankratius, Victor ; Adl-Tabatabai, Ali-Reza
Theory of Computing Systems. Oct2014, Vol. 55 Issue 3, p555-590. 36p.
Anton, a Special-Purpose Machine for Molecular Dynamics Simulation.
Shaw, David E. ; Deneroff, Martin M. ; Dror, Ron O. ; et al.
Communications of the ACM. Jul2008, Vol. 51 Issue 7, p91-97. 7p. 1 Color Photograph, 4 Diagrams, 1 Graph.
Dieses Ergebnis kann Gästen nicht angezeigt werden.
Login für vollen Zugriff.
Formal verification of safety properties of epoch processing in Beacon Chain.
Rashid M ; Rasool I ; Afzaal H ; et al.
Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: PubMed not MEDLINE; MEDLINE
An oracle for guiding large-scale model/hybrid parallel training of convolutional neural networks
Njoroge Kahira, Albert ; Nguyen, Truong Thao ; Bautista Gomez, Leonardo ; et al.
Online convex combination of ranking models.
Frigó, Erzsébet ; Kocsis, Levente
User Modeling & User-Adapted Interaction. Sep2022, Vol. 32 Issue 4, p649-683. 35p.
An empirical mixed-methods evaluation of AI-based chatbots for teacher professional development in Austrian higher education
Artificial Intelligence in Education, 2025, Vol. 1, Issue 1, pp. 114-143.
Symbolic Performance Modeling of Parallel Systems.
van Gemund, Arjan J.C.
IEEE Transactions on Parallel & Distributed Systems; Feb2003, Vol. 14 Issue 2, p154, 12p, 1 Black and White Photograph, 1 Diagram, 2 Charts, 8 Graphs
A Survey of Communication Performance Models for High-Performance Computing.
RICO-GALLEGO, JUAN A. ; DÍAZ-MARTÍN, JUAN C. ; MANUMACHU, RAVI REDDY ; et al.
ACM Computing Surveys. Nov2019, Vol. 51 Issue 6, p1-36. 36p. 12 Diagrams, 2 Charts.
Systems Science Approaches for Global Environmental Health Research: Enhancing Intervention Design and Implementation for Household Air Pollution (HAP) and Water, Sanitation, and Hygiene (WASH) Programs.
Rosenthal, Joshua ; Arku, Raphael E. ; Baumgartner, Jill ; et al.
Environmental Health Perspectives. Oct2020, Vol. 128 Issue 10, p105001-1-105001-12. 12p. 1 Chart, 2 Graphs.
Dieses Ergebnis kann Gästen nicht angezeigt werden.
Login für vollen Zugriff.
Integrating Performance Analysis in the Uintah Software Development Cycle.
de St. Germain, J. Davison ; Morris, Alan ; Parker, Steven G. ; et al.
High Performance Computing (9783540436744); 2006, p190-206, 17p
Predicting Software Defects in Hybrid MPI and OpenMP Parallel Programs Using Machine Learning.
Althiban, Amani S. ; Alharbi, Hajar M. ; Al Khuzayem, Lama A. ; et al.
Electronics (2079-9292); Jan2024, Vol. 13 Issue 1, p182, 31p
A Geostatistical Predictive Framework for 3D Lithological Modeling of Heterogeneous Subsurface Systems Using Empirical Bayesian Kriging 3D (EBK3D) and GIS.
Abdelsattar, Amal ; Hemdan, Ezz El-Din
Geomatics (2673-7418); Dec2025, Vol. 5 Issue 4, p60, 20p
Black-Box Bug Amplification for Multithreaded Software.
Weiss, Yeshayahu ; Amram, Gal ; Elyasaf, Achiya ; et al.
Mathematics (2227-7390); Sep2025, Vol. 13 Issue 18, p2921, 42p
Continuous integration of architectural performance models with parametric dependencies – the CIPM approach.
Mazkatli, Manar ; Monschein, David ; Armbruster, Martin ; et al.
Automated Software Engineering; Nov2025, Vol. 32 Issue 2, p1-79, 79p
Awaiting for Godot: stateless model checking that avoids executions where nothing happens.
Jonsson, Bengt ; Lång, Magnus ; Sagonas, Konstantinos
Formal Methods in System Design; Oct2025, Vol. 67 Issue 1, p71-105, 35p
- 1
- 2