*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 24*number_thousands_separator*800

2

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*
3

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: MEDLINE; PubMed not MEDLINE

*Academic Journal*
4

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*
6

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*
7

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*
8

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*
9

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*
10

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*
11

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*
12

A Hybrid Deep Learning Framework for Automated Dental Disorder Diagnosis from X-Ray Images.
El-Aziz, A. A. Abd ; Elmogy, Mohammed ; Mahmood, Mahmood A. ; et al.
Journal of Clinical Medicine; Feb2026, Vol. 15 Issue 3, p1076, 52p

DENTAL pathology X-ray imaging TRANSFORMER models CONVOLUTIONAL neural net... DEEP learning LONG short-term memory
*Academic Journal*
13

Engineering Algorithms for Scalability through Continuous Validation of Performance Expectations.
Shudler, Sergei ; Berens, Yannick ; Calotoiu, Alexandru ; et al.
IEEE Transactions on Parallel & Distributed Systems; Aug2019, Vol. 30 Issue 8, p1768-1785, 18p

SCALABILITY CONSTRAINT programming PARALLEL algorithms HIGH performance computi... ALGORITHMS
*Academic Journal*
14

Adding Semantics to Measurements: Ontology-Guided, Systematic Performance Analysis.
Klenik, Attila ; Pataricza, András
Acta Cybernetica; 2023, Vol. 26 Issue 2, p175-213, 39p

ENGINEERING design SEMANTICS CONTAINERIZATION SYSTEMS software PERFORMANCE standards ONTOLOGIES (Information...
*Academic Journal*
15

Multicore Performance Prediction with MPET: Using Scalability Characteristics for Statistical Cross-Architecture Prediction.
Arndt, Oliver Jakob ; Lüders, Matthias ; Riggers, Christoph ; et al.
Journal of Signal Processing Systems for Signal, Image & Video Technology; Sep2020, Vol. 92 Issue 9, p981-998, 18p

*Academic Journal*
16

*This result is not displayed to guests*

17

Transformer-Based Models for Probabilistic Time Series Forecasting with Explanatory Variables.
Caetano, Ricardo ; Oliveira, José Manuel ; Ramos, Patrícia
Mathematics (2227-7390); Mar2025, Vol. 13 Issue 5, p814, 29p

DEMAND forecasting STANDARD deviations TRANSFORMER models DEEP learning DECISION making EVIDENCE gaps
*Academic Journal*
18

Data-Driven Distributionally Robust Optimization for Solar-Powered EV Charging Under Spatiotemporal Uncertainty in Urban Distribution Networks.
Wang, Tianhao ; Zhang, Xuejiao ; Zheng, Xiaolin ; et al.
Energies (19961073); Aug2025, Vol. 18 Issue 15, p4001, 20p

ROBUST optimization ELECTRIC vehicle chargin... MATHEMATICAL optimizatio... UNCERTAINTY (Information... INFRASTRUCTURE (Economic...
*Academic Journal*
19

Early Performance Prediction in Bioinformatics Systems Using Palladio Component Modeling.
Dorgham, Doaa M. Talaat ; Belal, Nahla A. ; Abdelmoez, Walid
Applied Sciences (2076-3417); Jun2021, Vol. 11 Issue 12, p5426, 17p

BIOINFORMATICS SEQUENCE alignment COMPUTER software develo... PROBLEM solving SOFTWARE engineers SOFTWARE engineering
*Academic Journal*
20

Single-cell omics: experimental workflow, data analyses and applications.
Sun F ; Li H ; Sun D ; et al.
Publisher: Science China Press, co-published with Springer Country of Publication: China NLM ID: 101529880 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1869-1889 (Electronic) Linking ISSN: 16747305 NLM ISO Abbreviation: Sci China Life Sci Subsets: MEDLINE

Genomics methods Proteomics methods Metabolomics methods Humans Animals Data Analysis
*Academic Journal*

*Filter*