Výsledky vyhľadávania - Language Constructs 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

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.

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

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

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

Autori: DEZANI, Mariangiola DE' LIGUORO, Ugo PIPERNO A.

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

Predmety: 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 súboru: application/xml

Prí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.

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

Autori: Costanza, Pascal Herzeel, Charlotte Verachtert, Wilfried

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

Predmety: NUCLEOTIDE sequencing, C++, PROGRAMMING languages, SEQUENCE alignment, SOFTWARE frameworks

Introduction to Programming Languages

Autori: Arvind Kumar Bansal

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Handbooks, manuals, etc, Computer programming--Handbooks, manuals, etc

Kategórie: COMPUTERS / Programming / Games, COMPUTERS / Languages / General, MATHEMATICS / General, MATHEMATICS / Arithmetic

Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency.

Autori: Roman, Gruia-Catalin Cunningham, H. Conrad

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

Predmety: *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.

Autori: Elsasser, Ted H. Ma, Bing Ravel, Jacques a ďalší

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

Autori: Husseini Orabi, Mahmoud

Thesis Advisors: Lethbridge, Timothy

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

Dostupnosť: http://hdl.handle.net/10393/36452

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

Autori: P. P., Yathukrishna Neena, T. S.

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