Suchergebnisse - Concurrent Programming—Distributed program- ming

Detecting Locally Distributed Predicates

Autoren: Michael De Rosa Seth Copen Goldstein Peter Lee et al.

Weitere Verfasser: Michael De Rosa Seth Copen Goldstein Peter Lee et al.

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

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

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

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

Autoren: Le-duc Tung Quyet Nguyen-van Zhenjiang Hu et al.

Weitere Verfasser: Le-duc Tung Quyet Nguyen-van Zhenjiang Hu et al.

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

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

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

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

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

Autoren: Alsaegg, Khalid Amjed Mohammed Pashazadeh, Saeid Zolfy Lighvan, Mina

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

Schlagwörter: CONSISTENCY models (Computers), PETRI nets, SOFTWARE validation, DISTRIBUTED computing, VERIFICATION of computer systems, APPLIED sciences, SYNCHRONIZATION

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

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

Autoren: Zhu, Ling Kulkarni, Sandeep S.

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

A Simple, Object-Based View of Multiprogramming.

Autoren: Misra, Jayadev

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

Prophecy Made Simple.

Autoren: LAMPORT, LESLIE MERZ, STEPHAN

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

Schlagwörter: PROPHECY

Causal memory: definitions, implementation, and programming.

Autoren: Ahamad, Mustaque Neiger, Gil Burns, James et al.

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

A Rewriting Framework for Rule-Based Programming Dynamic Applications.

Autoren: Doroshenko, Anatoliy Shevchenko, Ruslan

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

Schlagwörter: FORMAL methods (Computer science), COMPUTER software, SEMANTICS, COST effectiveness, COMPARATIVE linguistics

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

Autoren: MCCUNE, ROBERT RYAN WENINGER, TIM MADEY, GREG

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

Schlagwörter: DISTRIBUTED computing, DISTRIBUTED algorithms, BIG data, GRAPHIC methods, GRAPH algorithms, GEOMETRIC vertices

PRODUCTIVITY IN HIGH PERFORMANCE COMPUTING.

Autoren: Kuck, David J.

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

Schlagwörter: HIGH performance computing, SYSTEMS software, COST effectiveness, COMPUTER software development, ELECTRONIC data processing, SUPERCOMPUTERS

Towards systolizing compilation.

Autoren: Lengauer, Christian Barnett, Michael Hudson, Duncan

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

Parallel Processing, 1980 to 2020.

Autoren: Kuhn, Robert Padua, David

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

Parallel programming in Panda.

Autoren: Assenmacher, H. Breitbach, T. Buhler, P. et al.

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

Abstract Communication Model for Distribution Systems.

Autoren: Glässer, Uwe Gurevich, Yuri Veanes, Margus

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

Schlagwörter: COMMUNICATION models, COMPUTER networks, INFORMATION theory, DATA transmission systems, INFORMATION networks, NETWORK PC (Computer), COMPUTER architecture

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

Constructing Reconfigurable Software for Machine Control Systems.

Autoren: Shige Wang Shin, Kang G.

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

Schlagwörter: COMPUTER software, CONTROL theory (Engineering)

A Survey on NoSQL Stores.

Autoren: DAVOUDIAN, ALI LIU CHEN MENGCHI LIU

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

Schlagwörter: DISTRIBUTED databases, DATABASES, BIG data, DATA modeling, CAPS (Headgear)

Parallel Programming Is Here To Stay.

Autoren: Wong, Bill

Quelle: Electronic Design; 2/26/2009, Vol. 57 Issue 4, p27-31, 5p, 3 Diagrams

Schlagwörter: COMPUTER programming, PARALLEL processing, PARALLEL programming, ELECTRONIC data processing, VIRTUAL storage (Computer science), PROGRAMMING languages, C (Computer program language), C++, JAVA programming language

Annual Index.

Quelle: IEEE Transactions on Dependable & Secure Computing; Oct/Sep2005, Vol. 2 Issue 4, p356-359, 4p