Výsledky vyhledávání - concurrent (Programming—Distributed OR Programing—Distributed) program- ming*

A Survey of Active Object Languages.

Autoři: DE BOER, FRANK SERBANESCU, VLAD HÄHNLE, REINER a další

Zdroj: ACM Computing Surveys; Sep2018, Vol. 50 Issue 5, p76:1-76:39, 39p

Témata: SOFTWARE engineering, PARALLEL programs (Computer programs), CONCURRENT engineering, PROGRAMMING languages, COMPUTER programming

Verification of Distributed Quantum Programs.

Autoři: YUAN FENG SANJIANG LI MINGSHENG YING

Zdroj: ACM Transactions on Computational Logic; Apr2022, Vol. 23 Issue 3, p1-40, 40p

Témata: QUANTUM teleportation, QUANTUM computing, QUANTUM logic, PROGRAMMING languages, DISTRIBUTED computing, QUANTUM computers

Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net.

Autoři: Alsaegg, Khalid Amjed Mohammed Pashazadeh, Saeid Zolfy Lighvan, Mina

Zdroj: PeerJ Computer Science; Jul2025, p1-35, 35p

Témata: CONSISTENCY models (Computers), PETRI nets, SOFTWARE validation, DISTRIBUTED computing, VERIFICATION of computer systems, APPLIED sciences, SYNCHRONIZATION

Detecting Locally Distributed Predicates

Autoři: Michael De Rosa Seth Copen Goldstein Peter Lee a další

Přispěvatelé: Michael De Rosa Seth Copen Goldstein Peter Lee a další

Zdroj: http://www.cs.cmu.edu/~CompThink/probes/papers/top1.pdf.

Témata: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems, D.1.3 [Programming Techniques, Concurrent Programming—distributed program- ming, D.3.2 [Programming Languages, Language Classifications—concurrent, distributed, and parallel languages, F.1.2 [Computation by Abstract Devices, Modes of Computation— parallelism and concurrency General Terms, Languages, Theory Additional Key Words and Phrases, distributed predicates, distributed computing, snapshots

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.7581; http://www.cs.cmu.edu/~CompThink/probes/papers/top1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.7581
http://www.cs.cmu.edu/~CompThink/probes/papers/top1.pdf

Efficient Query Evaluation on Distributed Graphs with Hadoop Environment

Autoři: Le-duc Tung Quyet Nguyen-van Zhenjiang Hu a další

Přispěvatelé: Le-duc Tung Quyet Nguyen-van Zhenjiang Hu a další

Zdroj: http://research.nii.ac.jp/%7Ehu/pub/soict2013a.pdf.

Témata: Categories and Subject Descriptors H.2.4 [Database Management, System—Query process- ing, Distributed databases, D.1.3 [Programming Tech- niques, Concurrent Programming—Distributed program- ming, Parallel programming General Terms Algorithms, Performance Keywords Graph databases, MapReduce, Big data

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.675.652; http://research.nii.ac.jp/%7Ehu/pub/soict2013a.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.675.652
http://research.nii.ac.jp/%7Ehu/pub/soict2013a.pdf

Distributed Processes: A Concurrent Programming Concept.

Autoři: Hansen, Per Brinch

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

Témata: COMPUTER multitasking, COMPUTER system failures

Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study.

Autoři: Zhu, Ling Kulkarni, Sandeep S.

Zdroj: 2015 IEEE 35th International Conference on Distributed Computing Systems Workshops; 2015, p29-34, 6p

A Simple, Object-Based View of Multiprogramming.

Autoři: Misra, Jayadev

Zdroj: Formal Methods in System Design; Jan2002, Vol. 20 Issue 1, p23-45, 23p

Prophecy Made Simple.

Autoři: LAMPORT, LESLIE MERZ, STEPHAN

Zdroj: ACM Transactions on Programming Languages & Systems; 2022, Vol. 44 Issue 2, p1-27, 27p

Témata: PROPHECY

Concurrent Objects and Beyond

Autoři: Gul Agha Atsushi Igarashi Naoki Kobayashi a další

Resource Type: eBook.

Témata: Software engineering, Artificial intelligence, Compilers (Computer programs), Operating systems (Computers), Computer programming

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General

Causal memory: definitions, implementation, and programming.

Autoři: Ahamad, Mustaque Neiger, Gil Burns, James a další

Zdroj: Distributed Computing; Sep1995, Vol. 9 Issue 1, p37-49, 13p

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

A Rewriting Framework for Rule-Based Programming Dynamic Applications.

Autoři: Doroshenko, Anatoliy Shevchenko, Ruslan

Zdroj: Fundamenta Informaticae; 2006, Vol. 72 Issue 1-3, p95-108, 14p, 1 Graph

Témata: FORMAL methods (Computer science), COMPUTER software, SEMANTICS, COST effectiveness, COMPARATIVE linguistics

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

Thinking Like a Vertex: A Survey of Vertex-Centric Frameworks for Large-Scale Distributed Graph Processing.

Autoři: MCCUNE, ROBERT RYAN WENINGER, TIM MADEY, GREG

Zdroj: ACM Computing Surveys; Nov2015, Vol. 48 Issue 2, p25:1-25:39, 39p, 5 Diagrams, 5 Charts

Témata: DISTRIBUTED computing, DISTRIBUTED algorithms, BIG data, GRAPHIC methods, GRAPH algorithms, GEOMETRIC vertices

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

Mastering C++ Multithreading : Write Robust, Concurrent, and Parallel Applications

Autoři: Maya Posch

Resource Type: eBook.

Témata: C++ (Computer program language), Threads (Computer programs)

Categories: COMPUTERS / Languages / C++, COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel

PRODUCTIVITY IN HIGH PERFORMANCE COMPUTING.

Autoři: Kuck, David J.

Zdroj: International Journal of High Performance Computing Applications; Winter2004, Vol. 18 Issue 4, p489-504, 16p

Témata: HIGH performance computing, SYSTEMS software, COST effectiveness, COMPUTER software development, ELECTRONIC data processing, SUPERCOMPUTERS

Towards systolizing compilation.

Autoři: Lengauer, Christian Barnett, Michael Hudson, Duncan

Zdroj: Distributed Computing; Jun1991, Vol. 5 Issue 1, p7-24, 18p

A Survey on NoSQL Stores.

Autoři: DAVOUDIAN, ALI LIU CHEN MENGCHI LIU

Zdroj: ACM Computing Surveys; Mar2019, Vol. 51 Issue 2, p1-43, 43p

Témata: DISTRIBUTED databases, DATABASES, BIG data, DATA modeling, CAPS (Headgear)