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

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

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

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

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)

Abstract Communication Model for Distribution Systems.

Autoři: Glässer, Uwe Gurevich, Yuri Veanes, Margus

Zdroj: IEEE Transactions on Software Engineering; Jul2004, Vol. 30 Issue 7, p458-472, 15p, 1 Black and White Photograph, 5 Diagrams

Témata: COMMUNICATION models, COMPUTER networks, INFORMATION theory, DATA transmission systems, INFORMATION networks, NETWORK PC (Computer), COMPUTER architecture

Parallel programming in Panda.

Autoři: Assenmacher, H. Breitbach, T. Buhler, P. a další

Zdroj: Journal of Supercomputing; Mar1995, Vol. 9 Issue 1/2, p71-90, 20p

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

Constructing Reconfigurable Software for Machine Control Systems.

Autoři: Shige Wang Shin, Kang G.

Zdroj: IEEE Transactions on Robotics & Automation; Aug2002, Vol. 18 Issue 4, p475, 12p, 21 Diagrams, 3 Charts

Témata: COMPUTER software, CONTROL theory (Engineering)

From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Autoři: Saddek Bensalem Yassine Lakhnech Axel Legay

Resource Type: eBook.

Témata: Computer science, Compilers (Computer programs), Machine theory, Software engineering

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General