Výsledky vyhľadávania - language construct and features- concurrent programming structures general terms

Language Constructs and Features—Concurrent Programming Structures General Terms Performance, Languages

Autori: Amadeo Casas The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Amadeo Casas The Pennsylvania State University CiteSeerX Archives

Zdroj: http://clip.dia.fi.upm.es/papers/andprolog-new-pasco2007.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4542

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4542
http://clip.dia.fi.upm.es/papers/andprolog-new-pasco2007.pdf

Compositional parallel programming languages

Autori: Ian Foster The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Ian Foster The Pennsylvania State University CiteSeerX Archives

Zdroj: http://info.mcs.anl.gov/pub/tech_reports/reports/P354.pdf.

Predmety: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classica- tions|Concurrent, distributed, and parallel languages, D.3.3 [Programming Languages, Lan- guage Constructs and Features|Concurrent programming structures General Terms, Languages Additional Key Words and Phrases, Compositionality

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.1559; http://info.mcs.anl.gov/pub/tech_reports/reports/P354.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.1559
http://info.mcs.anl.gov/pub/tech_reports/reports/P354.pdf

Composable Asynchronous Events

Autori: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a ďalší

Prispievatelia: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a ďalší

Zdroj: http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf.

Predmety: Categories and Subject Descriptors, D.1.1 [Programming Techniques] Applicative (functional) programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.2 [Programming Languages, Language Classifications- Concurrent, distributed, and parallel languages, ML, D.3.3 [Programming Languages, Language Constructs and Features- Concurrent programming structures General Terms, Design, Languages, Theory Keywords, Asynchrony, Concurrent ML, First-Class Events, Composability, Message-Passing

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2953; http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2953
http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf

Eliminating read barriers through procrastination and cleanliness

Autori: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan a ďalší

Prispievatelia: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan a ďalší

Zdroj: http://www.cs.purdue.edu/homes/suresh/papers/ismm12.pdf.

Predmety: Categories and Subject Descriptors D.4.2 [Operating Systems, Storage Management – Allocation/Deallocation strategies, Garbage collection, D.3.3 [Programming Languages, Language Constructs and Features – Concurrent programming structures General Terms Algorithms, Design, Experimentation, Management, Measurement, Performance Keywords barrier elimination, private heaps, parallel and concurrent collection

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.4789; http://www.cs.purdue.edu/homes/suresh/papers/ismm12.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.4789
http://www.cs.purdue.edu/homes/suresh/papers/ismm12.pdf

Task Dependence and Termination in Ada

Autori: Laura K. Dillon The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Laura K. Dillon The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cse.msu.edu/~ldillon/Sel_pubs/taskDependenceAndTerminationInAda.pdf.

Predmety: Language Constructs and Features—concurrent programming structures General Terms, Languages Additional Key Words and Phrases, Ada tasking, distributed termination, master/dependent relation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.1790; http://www.cse.msu.edu/~ldillon/Sel_pubs/taskDependenceAndTerminationInAda.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.1790
http://www.cse.msu.edu/~ldillon/Sel_pubs/taskDependenceAndTerminationInAda.pdf

Functional and Concurrent Programming : Core Concepts and Features

Autori: Michel Charpentier

Typ zdroja: eBook.

Predmet: Computer multitasking, Object-oriented programming (Computer science)

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#

PainSeeker: a head pose-invariant deep learning method for assessing rat's pain by facial expressions.

Autori: Liu, Liu Li, Guang Deng, Dingfan a ďalší

Zdroj: Frontiers in Veterinary Science. 2025, p1-13. 13p.

Adaptive Personalized Learning System with Generative AI.

Autori: Parakh, Divyansh Lodha, Prerak C. N., Subalalitha

Zdroj: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p2612-2637, 26p

Predmety: GENERATIVE artificial intelligence, INSTRUCTIONAL systems, LANGUAGE models, DATABASES, INDIVIDUALIZED instruction, VIRTUAL classrooms, PYTHON programming language

Cross-Country Validation of the Arabic Version of the Prodromal Questionnaire–Brief (PQ‐B) in Young Adults from the General Population of the Middle East and North Africa (MENA) Region.

Autori: Fekih-Romdhane, Feten Jahrami, Haitham Alhuwailah, Amthal a ďalší

Zdroj: International Journal of Mental Health & Addiction; Oct2024, Vol. 22 Issue 5, p3262-3282, 21p

Predmety: CONFIRMATORY factor analysis, CRONBACH'S alpha, ARABIC language, YOUNG adults, FACTOR structure, PSYCHOSES, PRODROMAL symptoms

Constructing General Human Agency Indicators (GHAIs) and a General Personal Agency Scale (GPAS).

Autori: D'Italia, Michael Joseph Okulicz-Kozaryn, Adam

Zdroj: Social Indicators Research; Jan2025, Vol. 176 Issue 1, p337-411, 75p

Predmety: EXPLORATORY factor analysis, CONFIRMATORY factor analysis, FACTOR structure, TEST reliability, SELF-determination theory, ACHIEVEMENT

AVerifying Custom Synchronisation Constructs Using Higher-Order Separation Logic

Autori: Mike Dodds The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Mike Dodds The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www-users.cs.york.ac.uk/~miked/publications/verifying_custom_sync_constructs.pdf.

Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Program Verification—Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Separation Logic, Concurrent Abstract Predicates, Concurrency

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.465.6785

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.465.6785
http://www-users.cs.york.ac.uk/~miked/publications/verifying_custom_sync_constructs.pdf

ESICM LIVES 2025.

Zdroj: Intensive Care Medicine Experimental; 11/23/2025, Vol. 13 Issue 1, p1-863, 863p

Predmety: HALLUCINATIONS, NATURAL language processing, NEUROBEHAVIORAL disorders, CRITICALLY ill patient care, ANTIPSYCHOTIC agents, KETAMINE, INTENSIVE care units

Research on biomechanics-based design of home-based intelligent elderly care robot.

Autori: Gao, Yaqi Pei, Xiaopeng Cheng, Minghui

Zdroj: Molecular & Cellular Biomechanics; 2025, Vol. 22 Issue 3, p1-21, 21p

Predmety: BIOMECHANICS, ELDER care, ASSISTIVE technology, PHYSIOLOGICAL models, SCIENTIFIC observation, ROBOT design & construction, BIOMETRY, SIMULATION software

Enabling MPI Interoperability Through Flexible Communication Endpoints

Autori: James Dinan Pavan Balaji David Goodell a ďalší

Prispievatelia: James Dinan Pavan Balaji David Goodell a ďalší

Zdroj: http://www.mcs.anl.gov/~thakur/papers/endpoints.pdf.

Predmety: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming— Parallel programming, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures General Terms Design, Performance Keywords MPI, Interoperability, Endpoints, Hybrid Parallel Programming

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.9184; http://www.mcs.anl.gov/~thakur/papers/endpoints.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.9184
http://www.mcs.anl.gov/~thakur/papers/endpoints.pdf

Poster – High-Level, One-Sided Models on MPI: A Case Study with Global Arrays and NWChem

Autori: James Dinan Pavan Jeff R. Hammond Sriram Krishnamoorthy a ďalší

Prispievatelia: James Dinan Pavan Jeff R. Hammond Sriram Krishnamoorthy a ďalší

Zdroj: http://www.mcs.anl.gov/~balaji/pubs/2011/sc/sc11.armci-mpi.pdf.

Predmety: Categories and Subject Descriptors, D.1.3 [Programming Tech- niques, Concurrent Programming – Parallel programming, D.3.3 [Programming Languages, Language Constructs and Features– Concurrent programming structures General Terms, Design, Performance Keywords, One-sided Communication, MPI, GA, ARMCI, PGAS

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.8777

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.8777
http://www.mcs.anl.gov/~balaji/pubs/2011/sc/sc11.armci-mpi.pdf

TBD A Transactional Memory with Automatic Performance Tuning

Autori: Qingping Wang Sameer Kulkarni The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Qingping Wang Sameer Kulkarni The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.eecis.udel.edu/~cavazos/hipeac-2012.pdf.

Predmety: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent Programming Structures General Terms, Algorithms, Design, Performance Additional Key Words and Phrases, Atomicity, Serializability, Synchronization, Dynamic Adaptivity, Machine Learning ACM Reference Format

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7020

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7020
http://www.eecis.udel.edu/~cavazos/hipeac-2012.pdf

A Proof-Directed Parallelization Synthesis by Separation Logic

Autori: Matko Botinčan The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Matko Botinčan The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www-users.cs.york.ac.uk/%7Emiked/publications/proof-directed_synthesis.pdf.

Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Program Verification—Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Separation Logic, Abduction, Frame Inference, Deterministic Parallelism

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.5733

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.5733
http://www-users.cs.york.ac.uk/%7Emiked/publications/proof-directed_synthesis.pdf

Deep Learning-Based Matrix of Mind Multi-Diagnostic Model for Identifying Dementia, Autism Spectrum Disorder, and Learning Disabilities.

Autori: Alsubai, Shtwai

Zdroj: Journal of Disability Research; Oct2025, Vol. 4 Issue 5, p1-30, 30p

Nanobody–antigen interaction prediction with ensemble deep learning and prompt-based protein language models.

Autori: Deng, Juntao Gu, Miao Zhang, Pengyan a ďalší

Zdroj: Nature Machine Intelligence; Dec2024, Vol. 6 Issue 12, p1594-1604, 11p

Improving diffusion-based protein backbone generation with global-geometry-aware latent encoding.

Autori: Zhang, Yuyang Liu, Yuhang Ma, Zinnia a ďalší

Zdroj: Nature Machine Intelligence; Jul2025, Vol. 7 Issue 7, p1104-1118, 15p