Suchergebnisse - parallel (programs OR progress)

Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.

Autoren: Xu, Xuezheng Yang, Deheng Wang, Lu et al.

Quelle: International Journal of Software & Informatics; 2025, Vol. 15 Issue 3, p283-305, 23p

Schlagwörter: FORMAL methods (Computer science), CONSISTENCY models (Computers), PROOF theory, PARALLEL programs (Computer programs), PARALLEL processing, REDUCED instruction set computers, SYSTEMS design

Towards Efficient HPC: Exploring Overlap Strategies Using MPI Non-Blocking Communication.

Autoren: Zheng, Yuntian Wu, Jianping

Quelle: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1848, 22p

Schlagwörter: SCIENTIFIC computing, PARALLEL programming, RESEARCH personnel, ATMOSPHERIC models, COMPUTER simulation

E-MAPP: Efficient Multi-Agent Reinforcement Learning with Parallel Program Guidance

Autoren: Chang, Can Mu, Ni Wu, Jiajun et al.

Index Begriffe: Conference paper

URL: http://repository.hkust.edu.hk/ir/Record/1783.1-133956
http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=1049-5258&rft.volume=&rft.issue=&rft.date=2022&rft.spage=&rft.aulast=Chang&rft.aufirst=Can&rft.atitle=E-MAPP%3A+Efficient+Multi-Agent+Reinforcement+Learning+with+Parallel+Program+Guidance&rft.title=Advances+in+Neural+Information+Processing+Systems
http://www.scopus.com/record/display.url?eid=2-s2.0-85163142687&origin=inward

THE IDENTIFICATION OF THE EXTERNAL FACTORS THAT HAVE INFLUENCED THE PROGRESS OF A WEIGHT MANAGEMENT PROGRAMME IN A POPULATION OF DOGS.

Autoren: PETRESCU, Silvia Ioana RADU-RUSU, Cristina Gabriela MATEI, Mădălina et al.

Quelle: Scientific Papers. Series D. Animal Science. 2024, Vol. 67 Issue 1, p137-142. 6p.

Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.

Autoren: Moine, Alexandre Charguéraud, Arthur Pottier, François

Quelle: ACM Transactions on Programming Languages & Systems; Mar2025, Vol. 47 Issue 1, p1-71, 71p

Schlagwörter: COMPUTER memory management, PARALLEL programs (Computer programs)

Modeling of parallel program synchronization primitives

Autoren: Oleg S. Kryukov Anna G. Voloshko Alexey N. Ivutin

Quelle: Моделирование и анализ информационных систем, Vol 32, Iss 2, Pp 150-171 (2025)

Schlagwörter: verification, parallel program, petri nets, synchronization primitives, Information technology, T58.5-58.64

Dateibeschreibung: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1938; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Zugangs-URL: https://doaj.org/article/476b53e183cc4cccb2c78126ff79ed1d

A Decade of Progress in Parallel Programming Productivity.

Autoren: RICHARDS, JOHN T. BREZIN, JONATHAN SWART, CALVIN B. et al.

Quelle: Communications of the ACM; Nov2014, Vol. 57 Issue 11, p60-66, 7p, 1 Color Photograph, 3 Diagrams, 1 Chart

Schlagwörter: COMPUTER programming, COMPUTER programmers, COMPUTER science research, PARALLEL programming, PARALLEL processing, PROGRAMMING languages

Black-Box Bug Amplification for Multithreaded Software.

Autoren: Weiss, Yeshayahu Amram, Gal Elyasaf, Achiya et al.

Quelle: Mathematics (2227-7390); Sep2025, Vol. 13 Issue 18, p2921, 42p

Schlagwörter: COMPUTER software testing, SOFTWARE failures, HEURISTIC, PREDICTION models, PARALLEL programs (Computer programs)

Towards a General Framework for Static Cost Analysis of Parallel Logic Programs

Autoren: Klemen, Maximiliano Lopez-Garcia, Pedro Gallagher, John P. et al.

Index Begriffe: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1907.13272

Blocking analysis of real-time tasks with parallel critical sections under federated scheduling

Autoren: Wang, Yang Jiang, Xu Guan, Nan et al.

Index Begriffe: Parallel tasks, Real-time scheduling, Critical sections, Locks, Computer Sciences, Datavetenskap (datalogi), Computer Engineering, Datorteknik, Article in journal, info:eu-repo/semantics/article, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-565329
Journal of systems architecture, 1383-7621, 2025, 167

Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs.

Autoren: Al-Johany, Norah Abdullah Sharaf, Sanaa Abdullah Eassa, Fathy Elbouraey et al.

Quelle: Computers, Materials & Continua; 2024, Vol. 79 Issue 2, p3139-3173, 35p

Schlagwörter: SOFTWARE engineering, PARALLEL programming, DISTRIBUTED computing, EVIDENCE gaps, COMPUTER systems

Automated Models for Predicting Software Defects in Hybrid Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Parallel Programs Using Deep Learning

Autoren: Amani Saad Althiban Hajar M. Alharbi Lama A. Al Khuzayem et al.

Quelle: IEEE Access, Vol 13, Pp 65939-65954 (2025)

Schlagwörter: Hybrid parallel programming, MPI, OpenMP, deep learning, software defect prediction, race conditions, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Dateibeschreibung: electronic resource

Relation: https://ieeexplore.ieee.org/document/10962152/; https://doaj.org/toc/2169-3536

Zugangs-URL: https://doaj.org/article/a26bb2fc40124508b1266c2860d99190

Three easy fixes for sire use can enhance genetic progress in community‐based breeding programmes.

Autoren: Mueller, Joaquín P. Getachew, Tesfaye Rekik, Mourad et al.

Quelle: Journal of Animal Breeding & Genetics. Nov2021, Vol. 138 Issue 6, p719-730. 12p.

Schlagworte: Goat breeds, Sheep, Lambs

Adding parallelism to sequential programs – a combined method.

Autoren: Daszczuk, Wiktor B. Czejdo, Denny B. Grześkowiak, Wojciech

Quelle: International Journal of Electronics & Telecommunications; 2024, Vol. 70 Issue 1, p135-144, 10p

Schlagwörter: PARALLELISM (Linguistics), COMPUTER software, SEQUENTIAL codes, PARALLEL programming, PROGRAMMING languages

Equine Herpesvirus Infections: Treatment Progress and Challenges in Horses and Donkeys.

Autoren: Khan, Muhammad Zahoor Ji, Yanfei Fan, Xuewei et al.

Quelle: Veterinary Sciences. Nov2025, Vol. 12 Issue 11, p1082. 30p.

Parallel program testing based on critical communication and branch transformation.

Autoren: Tian, Tian Wang, Anshi Yang, Xiuting et al.

Quelle: Journal of Supercomputing; Jan2024, Vol. 80 Issue 1, p519-548, 30p

Schlagwörter: GENETIC algorithms, COMPUTER software testing, COMMUNICATION barriers, TEST methods, EVALUATION methodology

Developing and Implementing a Competency-Based Veterinary Medicine Program at the Université de Montréal.

Autoren: Doucet, Michèle Bélisle, Marilou

Quelle: Journal of Veterinary Medical Education. Jun2025, Vol. 52 Issue 3, p298-310. 13p.

Parallel Programs in Climate and Trade Negotiations

Autoren: Pène, Cédric Ramos, Daniel Tamiotti, Ludivine

Quelle: Politique étrangère. 2017, Spring Issue(1), p. 129-140.

Verfügbarkeit: https://shs.cairn.info/journal-politique-etrangere-2017-1-page-129?lang=en

The Impact of a Multidisciplinary Residential Program (MRP) on Body Composition, Psychological Well-Being, and Hematochemical Parameters in Hospitalized Obese Patients.

Autoren: Perna, Simone Mazzola, Giuseppe Seniga, Michela et al.

Quelle: Nutrients. Jul2025, Vol. 18 Issue 13, p2108. 17p.

Structural testing criteria for message-passing parallel programs.

Autoren: Souza, S. R. S. Vergilio, S. R. Souza, P. S. L. et al.

Quelle: Concurrency & Computation: Practice & Experience; Nov2008, Vol. 20 Issue 16, p1893-1916, 24p, 4 Diagrams, 12 Charts

Schlagwörter: PARALLEL programs (Computer programs), COMMUNICATION, SYNCHRONIZATION, TESTING, TESTING-machines, COMPUTER interfaces