Výsledky vyhledávání - Concurrent Programming—Distributed Pro- programming General Terms Algorithms~

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

Autoři: Luís Nogueira Luís Miguel Pinho The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Luís Nogueira Luís Miguel Pinho The Pennsylvania State University CiteSeerX Archives

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

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

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

Deadlock avoidance for streaming computations with filtering

Autoři: Peng Li Kunal Agrawal Jeremy Buhler a další

Přispěvatelé: Peng Li Kunal Agrawal Jeremy Buhler a další

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

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

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

BFSiena: a Communication Substrate for StreamMine

Autoři: Zbigniew Jerzak Christof Fetzer The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Zbigniew Jerzak Christof Fetzer The Pennsylvania State University CiteSeerX Archives

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

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

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

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

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

Autoři: Huang, Tsung-Wei Lin, Yibo Lin, Chun-Xun a další

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

Témata: PARALLEL programming, GRAPH algorithms, C++, HEURISTIC algorithms, TASK analysis, PARALLEL processing

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

Autoři: Bing Li

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

Témata: PROGRAMMING languages, CLOUD computing, COMPUTER operating systems, INTERNET, KNOWLEDGE management

A theory of distributed aspects

Autoři: Nicolas Tabareau The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: 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.

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

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

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

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

Autoři: Christian Maurer

Resource Type: eBook.

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

Modal Abstractions of Concurrent Behavior.

Autoři: NIELSON, FLEMMING NANZ, SEBASTIAN NIELSON, HANNE RIIS

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

Témata: COMPUTER programming, MODAL logic, ABSTRACT thought, ALGORITHMS, COMPUTER multitasking, FORMAL languages, COMPUTER network protocols

Overview of Software Agent Platforms Available in 2023.

Autoři: Wrona, Zofia Buchwald, Wojciech Ganzha, Maria a další

Zdroj: Information; Jun2023, Vol. 14 Issue 6, p348, 47p

Témata: COMPUTER software, SWARM intelligence, ARTIFICIAL intelligence, MULTIAGENT systems

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Expert C++ Programming : Leveraging the Power of Modern C++ to Build Scalable Modular Applications

Autoři: Maya Posch Jacek Galowicz

Resource Type: eBook.

Categories: COMPUTERS / Languages / C++, COMPUTERS / Distributed Systems / General, COMPUTERS / Programming / General

Detecting Locally Distributed Predicates.

Autoři: DE ROSA, MICHAEL GOLDSTEIN, SETH COPEN LEE, PETER a další

Zdroj: ACM Transactions on Autonomous & Adaptive Systems; 2011, Vol. 6 Issue 2, p13-13:14, 14p, 2 Diagrams, 2 Charts

Témata: ROBOTICS, DEBUGGING, DISTRIBUTED computing, EMPIRICAL research, ALGORITHMS, SPARSE matrices, SYSTEMS theory

Programming distributed medical applications with XWCH2.

Autoři: Solomonides, Tony Blanquer, Ignacio Breton, Vincent a další

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

On Structuring Cooperative and Competitive Concurrent Systems.

Autoři: Romanovsky, Alexander

Zdroj: Computer Journal; Nov1999, Vol. 42 Issue 8, p627-637, 11p, 3 Diagrams

Témata: FAULT-tolerant computing, RELIABILITY in engineering, FAULT tolerance (Engineering), COMPUTER science, COMPUTER software industry

Parallel Processing, 1980 to 2020.

Autoři: Kuhn, Robert Padua, David

Zdroj: Synthesis Lectures on Computer Architecture; 10/14/2020, Vol. 15 Issue 4, pxi-166, 180p

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

Autoři: 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.

Autoři: Kurki-Suonio, R.

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

Témata: DISTRIBUTED computing, MATHEMATICAL models, ABSTRACT thought, SYSTEMS theory, COMPUTER programming, COMPUTER systems

Models, Languages, and Tools for Concurrent and Distributed Programming

Autoři: Michele Boreale Flavio Corradini Michele Loreti a další

Resource Type: eBook.

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

VARIATIONS ON UNIX FOR PARALLEL-PROCESSING COMPUTERS.

Autoři: Russell, Channing H. Waterman, Pamela J.

Zdroj: Communications of the ACM; Dec1987, Vol. 30 Issue 12, p1048-1055, 8p, 2 Diagrams, 2 Charts

Témata: COMPUTER operating systems, SYSTEMS software, COMPUTER engineering