Výsledky vyhľadávania - Concurrent Programming—Distributed pro- programming*

Deadlock avoidance for streaming computations with filtering

Autori: Peng Li Kunal Agrawal Jeremy Buhler a ďalší

Prispievatelia: Peng Li Kunal Agrawal Jeremy Buhler a ďalší

Zdroj: http://www1.cse.wustl.edu/~lip/index_files/spaa10_li.pdf.

Predmety: Categories and Subject Descriptors C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications, D.1.3 [Programming Techniques, Concurrent Programming—Distributed pro- gramming, F.1.2 [Computation by Abstract Devices, Modes of Computation—Parallelism and concurrency General Terms Algorithms, Design, Theory Keywords Data Filtering, Dataflow, Architecturally Diverse Platforms

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.620.8539; http://www1.cse.wustl.edu/~lip/index_files/spaa10_li.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.620.8539
http://www1.cse.wustl.edu/~lip/index_files/spaa10_li.pdf

L.M.: Dynamic qos adaptation of inter-dependent task sets in cooperative embedded systems

Autori: Luís Nogueira Luís Miguel Pinho The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Luís Nogueira Luís Miguel Pinho The Pennsylvania State University CiteSeerX Archives

Zdroj: http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488.

Predmety: Categories and Subject Descriptors J.7 [Computers in Other Systems, Real time, D.1.3 [Pro- gramming Techniques, Concurrent Programming—Distributed programming General Terms Algorithms, Management, Performance Keywords Open real-time systems, Anytime algorithms, QoS optimisa- tion and adaptation, Service stability

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.4444; http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.4444
http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488

GreatFree as a Generic Distributed Programming Language and the Foundation of the Cloud-Side Operating System.

Autori: Bing Li

Zdroj: International Journal of Advanced Network, Monitoring & Controls; 2023, Vol. 8 Issue 4, p66-81, 16p

Predmety: PROGRAMMING languages, CLOUD computing, COMPUTER operating systems, INTERNET, KNOWLEDGE management

Natural Proofs for Asynchronous Programs using Almost-Synchronous Reductions

Autori: Ankush Desai Pranav Garg P. Madhusudan a ďalší

Prispievatelia: Ankush Desai Pranav Garg P. Madhusudan a ďalší

Zdroj: http://www.cs.uiuc.edu/~madhu/OOPSLA14.pdf.

Predmety: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming — Distributed pro- gramming, D.2.4 [Software Engineering, Software/Pro- gram Verification — Correctness proofs, Model checking, D.2.5 [Software Engineering, Testing and Debugging Keywords natural proofs, almost-synchronous reductions, asynchronous programs

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.6998; http://www.cs.uiuc.edu/~madhu/OOPSLA14.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.6998
http://www.cs.uiuc.edu/~madhu/OOPSLA14.pdf

Parallelizing machine learning- functionally: A framework and abstractions for parallel graph processing

Autori: Heather Miller The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Heather Miller The Pennsylvania State University CiteSeerX Archives

Zdroj: http://infoscience.epfl.ch/record/165111/files/scalawksp11.pdf?version=2.

Predmety: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming — Distributed and parallel pro- gramming, D.2.13 [Software Engineering, Reusable Software— Reusable libraries Keywords Parallel programming, distributed programming, ma- chine

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.7719; http://infoscience.epfl.ch/record/165111/files/scalawksp11.pdf?version=2

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.7719
http://infoscience.epfl.ch/record/165111/files/scalawksp11.pdf?version=2

BFSiena: a Communication Substrate for StreamMine

Autori: Zbigniew Jerzak Christof Fetzer The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Zbigniew Jerzak Christof Fetzer The Pennsylvania State University CiteSeerX Archives

Zdroj: http://jerzak.eu/publ/doc/jerzak2008bfsiena.pdf.

Predmety: C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed Applications, D.1.3 [Programming Techniques, Concurrent Programming—Distributed Pro- gramming General Terms Algorithms, Design Keywords distribution, interaction, publish/subscribe, event process- ing

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.583.8429; http://jerzak.eu/publ/doc/jerzak2008bfsiena.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.583.8429
http://jerzak.eu/publ/doc/jerzak2008bfsiena.pdf

Distributed Processes: A Concurrent Programming Concept.

Autori: Hansen, Per Brinch

Zdroj: Communications of the ACM; Nov78, Vol. 21 Issue 11, p934-941, 8p

Predmety: COMPUTER multitasking, COMPUTER system failures

Advanced Python Programming : Build High Performance, Concurrent, and Multi-threaded Apps with Python Using Proven Design Patterns

Autori: Dr. Gabriele Lanaro Quan Nguyen Sakis Kasampalis

Typ zdroja: eBook.

Predmet: Python (Computer program language), Application software--Development

Kategórie: COMPUTERS / Languages / Python, COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel

Concurrent Programming, Open Systems and Formal Methods

Autori: Jose Meseguer Carlos A. Varela Nalini Venkatasubramanian

Typ zdroja: eBook.

Kategórie: COMPUTERS / Software Development & Engineering / General

Communication Mechanisms for Programming Distributed Systems.

Autori: Shatz

Zdroj: Computer (00189162); 1984, Vol. 17 Issue 6, p21-28, 8p

Cpp-Taskflow: A General-Purpose Parallel Task Programming System at Scale.

Autori: Huang, Tsung-Wei Lin, Yibo Lin, Chun-Xun a ďalší

Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Aug2021, Vol. 40 Issue 8, p1687-1700, 14p

Predmety: PARALLEL programming, GRAPH algorithms, C++, HEURISTIC algorithms, TASK analysis, PARALLEL processing

Programming distributed medical applications with XWCH2.

Autori: Solomonides, Tony Blanquer, Ignacio Breton, Vincent a ďalší

Zdroj: Studies in Health Technology & Informatics; 2010, Vol. 159, p100-111, 12p, 5 Diagrams, 1 Chart, 2 Graphs

A theory of distributed aspects

Autori: Nicolas Tabareau The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Nicolas Tabareau The Pennsylvania State University CiteSeerX Archives

Zdroj: http://hal.archives-ouvertes.fr/docs/00/44/84/88/PDF/theory_of_distributed_aspects_fullversion.pdf.

Predmety: Categories and Subject Descriptors D.3.1 [Programming languages, Formal definitions and theory, D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming General Terms

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.491.411
http://hal.archives-ouvertes.fr/docs/00/44/84/88/PDF/theory_of_distributed_aspects_fullversion.pdf

Modal Abstractions of Concurrent Behavior.

Autori: NIELSON, FLEMMING NANZ, SEBASTIAN NIELSON, HANNE RIIS

Zdroj: ACM Transactions on Computational Logic; May2011, Vol. 12 Issue 3, p18-18:40, 40p

Predmety: COMPUTER programming, MODAL logic, ABSTRACT thought, ALGORITHMS, COMPUTER multitasking, FORMAL languages, COMPUTER network protocols

Models, Languages, and Tools for Concurrent and Distributed Programming

Autori: Michele Boreale Flavio Corradini Michele Loreti a ďalší

Typ zdroja: eBook.

Predmet: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Computer systems, Computer networks

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Concepts, Techniques, and Models of Computer Programming by Peter Van Roy and Seif Haridi, MIT Press, 2004, hard cover: ISBN 0-262-22069-5, xxvii + 900 pages, 55$.

Autori: Yves Deville

Zdroj: Theory & Practice of Logic Programming; Sep2005, Vol. 5 Issue 4/5, p595-600, 6p

Action systems in incremental and aspect-oriented modeling.

Autori: Kurki-Suonio, R.

Zdroj: Distributed Computing; Sep2003, Vol. 16 Issue 2/3, p201-217, 17p

Predmety: DISTRIBUTED computing, MATHEMATICAL models, ABSTRACT thought, SYSTEMS theory, COMPUTER programming, COMPUTER systems

Programming Languages: Principles and Paradigms

Autori: Maurizio Gabbrielli Simone Martini Saverio Giallorenzo

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

Nonsequential and Distributed Programming with Go : Synchronization of Concurrent Processes: Communication - Cooperation - Competition

Autori: Christian Maurer

Typ zdroja: eBook.

Predmet: Computer programming, Compilers (Computer programs), Artificial intelligence—Data processing, Computer science, Algorithms

Kategórie: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / Algorithms

Towards reusable real-time objects.

Autori: Nielsen, Brian Agha, Gul

Zdroj: Annals of Software Engineering; 1999, Vol. 7 Issue 1-4, p257-282, 26p

Predmety: COMPUTER systems, COMPUTER software, EMBEDDED computer systems, REAL-time programming, TIME measurements, ELECTRONIC systems, COMPUTER programming, COMPUTER simulation, HIGH technology industries, COMPUTER industry