Treffer 1 - 20 von 20.735

2

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

Konferenz
Merkliste
3

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.

Fachzeitschrift
Merkliste
4

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.

Fachzeitschrift
Merkliste
5

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.

Zeitschrift
Merkliste
6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

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

Fachzeitschrift
Merkliste
8

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
Konferenz
Merkliste
9

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

Fachzeitschrift
Merkliste
10

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.

Fachzeitschrift
Merkliste
11

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...
Fachzeitschrift
Merkliste
12

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.

Fachzeitschrift
Merkliste
13

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
Fachzeitschrift
Merkliste
14

Dieses Ergebnis kann Gästen nicht angezeigt werden.

15

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

Buch
Merkliste
16

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
Fachzeitschrift
Merkliste
17

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
Fachzeitschrift
Merkliste
18

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...
Fachzeitschrift
Merkliste
19

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

Fachzeitschrift
Merkliste
20

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...
Fachzeitschrift
Merkliste

Filter