Suchergebnisse - Concurrent Programming—Distributed pro- programming

Deadlock avoidance for streaming computations with filtering

Autoren: Peng Li Kunal Agrawal Jeremy Buhler et al.

Weitere Verfasser: Peng Li Kunal Agrawal Jeremy Buhler et al.

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

Schlagwörter: 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

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

Verfügbarkeit: 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

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

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

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

Schlagwörter: 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

Verfügbarkeit: 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.

Autoren: Bing Li

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

Schlagwörter: PROGRAMMING languages, CLOUD computing, COMPUTER operating systems, INTERNET, KNOWLEDGE management

Natural Proofs for Asynchronous Programs using Almost-Synchronous Reductions

Autoren: Ankush Desai Pranav Garg P. Madhusudan et al.

Weitere Verfasser: Ankush Desai Pranav Garg P. Madhusudan et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Heather Miller The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Heather Miller The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

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

Verfügbarkeit: 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

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

Weitere Verfasser: Zbigniew Jerzak Christof Fetzer The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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.

Autoren: Hansen, Per Brinch

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

Schlagwörter: COMPUTER multitasking, COMPUTER system failures

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

Autoren: Dr. Gabriele Lanaro Quan Nguyen Sakis Kasampalis

Resource Type: eBook.

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

Categories: COMPUTERS / Languages / Python, COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel

Concurrent Programming, Open Systems and Formal Methods

Autoren: Jose Meseguer Carlos A. Varela Nalini Venkatasubramanian

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

Communication Mechanisms for Programming Distributed Systems.

Autoren: Shatz

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

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

Autoren: Huang, Tsung-Wei Lin, Yibo Lin, Chun-Xun et al.

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

Schlagwörter: PARALLEL programming, GRAPH algorithms, C++, HEURISTIC algorithms, TASK analysis, PARALLEL processing

Programming distributed medical applications with XWCH2.

Autoren: Solomonides, Tony Blanquer, Ignacio Breton, Vincent et al.

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

A theory of distributed aspects

Autoren: Nicolas Tabareau The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Nicolas Tabareau The Pennsylvania State University CiteSeerX Archives

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

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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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.

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

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

Schlagwörter: COMPUTER programming, MODAL logic, ABSTRACT thought, ALGORITHMS, COMPUTER multitasking, FORMAL languages, COMPUTER network protocols

Models, Languages, and Tools for Concurrent and Distributed Programming

Autoren: Michele Boreale Flavio Corradini Michele Loreti et al.

Resource Type: eBook.

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

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

Autoren: Yves Deville

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

Action systems in incremental and aspect-oriented modeling.

Autoren: Kurki-Suonio, R.

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

Schlagwörter: DISTRIBUTED computing, MATHEMATICAL models, ABSTRACT thought, SYSTEMS theory, COMPUTER programming, COMPUTER systems

Programming Languages: Principles and Paradigms

Autoren: Maurizio Gabbrielli Simone Martini Saverio Giallorenzo

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

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

Autoren: Christian Maurer

Resource Type: eBook.

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

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

Autoren: Nielsen, Brian Agha, Gul

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

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