Výsledky vyhledávání - Language Constructs and Features– Concurrent programming structures General Terms

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

Autoři: Amadeo Casas The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Amadeo Casas The Pennsylvania State University CiteSeerX Archives

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

Popis souboru: application/pdf

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

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

Composable Asynchronous Events

Autoři: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a další

Přispěvatelé: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a další

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

Témata: 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 souboru: 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

Dostupnost: 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

Autoři: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan a další

Přispěvatelé: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan a další

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

Témata: 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 souboru: 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

Dostupnost: 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

Autoři: Laura K. Dillon The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Laura K. Dillon The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: 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

Dostupnost: 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

Autoři: Michel Charpentier

Resource Type: eBook.

Témata: Computer multitasking, Object-oriented programming (Computer science)

Categories: 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.

Autoři: Liu, Liu Li, Guang Deng, Dingfan a další

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

AVerifying Custom Synchronisation Constructs Using Higher-Order Separation Logic

Autoři: Mike Dodds The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Mike Dodds The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: application/pdf

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

Dostupnost: 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

Enabling MPI Interoperability Through Flexible Communication Endpoints

Autoři: James Dinan Pavan Balaji David Goodell a další

Přispěvatelé: James Dinan Pavan Balaji David Goodell a další

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

Témata: 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 souboru: 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

Dostupnost: 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

Autoři: James Dinan Pavan Jeff R. Hammond Sriram Krishnamoorthy a další

Přispěvatelé: James Dinan Pavan Jeff R. Hammond Sriram Krishnamoorthy a další

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

Témata: 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 souboru: application/pdf

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

Dostupnost: 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

Autoři: Qingping Wang Sameer Kulkarni The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Qingping Wang Sameer Kulkarni The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: application/pdf

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

Dostupnost: 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

Autoři: Matko Botinčan The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Matko Botinčan The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: application/pdf

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

Dostupnost: 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

A Filter Model for Concurrent $\lambda$-Calculus: A filter model for concurrent \(\lambda\)-calculus

Autoři: DEZANI, Mariangiola DE' LIGUORO, Ugo PIPERNO A.

Zdroj: SIAM Journal on Computing. 27:1376-1419

Témata: nondeterminism, Logic in computer science, parallelism, Theory of programming languages, Semantics in the theory of computing, functional programming, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), concurrency, full abstraction, lambda-calculus, type-theoretic semantics, 0102 computer and information sciences, 01 natural sciences, operational semantics, Combinatory logic and lambda calculus, 0101 mathematics, semantics of untyped lambda calculus, powerdomain, Logical aspects of lattices and related structures

Popis souboru: application/xml

Přístupová URL adresa: https://epubs.siam.org/doi/abs/10.1137/S0097539794275860
https://dblp.uni-trier.de/db/journals/siamcomp/siamcomp27.html#Dezani-CiancaglinidP98
https://doi.org/10.1137/S0097539794275860
https://hdl.handle.net/2318/4654

Proceedings 35th Symposium ESVN‐ECVN.

Zdroj: Journal of Veterinary Internal Medicine. Mar2025, Vol. 39 Issue 2, p1-66. 66p.

From facial expressions to algorithms: a narrative review of animal pain recognition technologies.

Autoři: Chiavaccini, Ludovica Gupta, Anjali Chiavaccini, Guido

Zdroj: Frontiers in Veterinary Science. 2024, p1-12. 12p.

Comparing Ease of Programming in C++, Go, and Java for Implementing a Next-Generation Sequencing Tool.

Autoři: Costanza, Pascal Herzeel, Charlotte Verachtert, Wilfried

Zdroj: Evolutionary Bioinformatics; 2019, p1-5, 5p

Témata: NUCLEOTIDE sequencing, C++, PROGRAMMING languages, SEQUENCE alignment, SOFTWARE frameworks

Introduction to Programming Languages

Autoři: Arvind Kumar Bansal

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Handbooks, manuals, etc, Computer programming--Handbooks, manuals, etc

Categories: COMPUTERS / Programming / Games, COMPUTERS / Languages / General, MATHEMATICS / General, MATHEMATICS / Arithmetic

Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency.

Autoři: Roman, Gruia-Catalin Cunningham, H. Conrad

Zdroj: IEEE Transactions on Software Engineering. Dec90, Vol. 16 Issue 12, p1361-1373. 13p. 2 Color Photographs.

Témata: *COMPUTER programming, *SOFTWARE engineering, *COMPUTER software, *COMPUTER systems, *COMPUTER networks

Short-term feeding of defatted bovine colostrum mitigates inflammation in the gut via changes in metabolites and microbiota in a chicken animal model.

Autoři: Elsasser, Ted H. Ma, Bing Ravel, Jacques a další

Zdroj: Animal Microbiome. 1/26/2023, Vol. 5 Issue 1, p1-22. 22p.

Facilitating the Representation of Composite Structure, Active objects, Code Generation, and Software Component Descriptions in the Umple Model-Oriented Programming Language

Autoři: Husseini Orabi, Mahmoud

Thesis Advisors: Lethbridge, Timothy

Témata: Umple, Composite Structure, Distributed Systems, Real-time, Embedded, UML, RTOS, C++, Component-based development, ROOM

Dostupnost: http://hdl.handle.net/10393/36452

An Analysis Of The Concept Of Law And Its Importance In Society And Education Of Jean-Jacques Rousseau.

Autoři: P. P., Yathukrishna Neena, T. S.

Zdroj: Journal of Advanced Zoology. 2024, Vol. 45 Issue 2, p42-44. 3p.