UB FFM: Search Results - Scalability Engineering for Parallel Programs Using Empirical Performance Models

The results list cannot be displayed in full to guest users. Please log in for full access: Login

Scalability Engineering for Parallel Programs Using Empirical Performance Models
Shudler, Sergei ; Shudler, Sergei

Electronic Resource

View this record from OAIster

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

Conference

Check availability

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.

Academic journal

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.

Academic journal

PDF full text

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.

Journal

PDF full text

This result is not available to guest users.
Log in for full access.

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

Academic journal

Check availability

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.

Àrees temàtiques de la U... Neural networks (Compute... Parallel processing (Ele... Deep learning Model parallelism Performance modeling …

Conference

Check availability

Online convex combination of ranking models.
Frigó, Erzsébet ; Kocsis, Levente
User Modeling & User-Adapted Interaction. Sep2022, Vol. 32 Issue 4, p649-683. 35p.

Academic journal

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.

Academic journal

Check availability

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

PARALLEL processing COMPILERS (Computer prog...

Academic journal

Check availability

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.

Academic journal

PDF full text

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.

Air pollution Arsenic compounds Carcinogens Environmental health Gas chromatography Liquid chromatography …

Academic journal

This result is not available to guest users.
Log in for full access.

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

Book

CL-View record in Springer

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

MACHINE learning SUPPORT vector machines SCIENTIFIC computing COMPUTER software ERROR rates

Academic journal

Full text (via DOI)

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

GEOGRAPHIC information s... GEOLOGICAL modeling PREDICTION models GEOLOGICAL surveys MODEL validation GEOLOGICAL statistics …

Academic journal

Check availability

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

COMPUTER software testin... SOFTWARE failures HEURISTIC PREDICTION models PARALLEL programs (Compu...

Academic journal

Full text (via DOI)

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

Academic journal

Full text (via DOI)

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

SOFTWARE verification PARALLEL programs (Compu... SYNCHRONIZATION COMPUTER software execut...

Academic journal

Full text (via DOI)

Showing 1 - 20 of 20,735

Pagination

Pagination

Refine Results