Suchergebnisse - concurrent (programming—distributed OR programing—distributed) program- (ming OR ing)

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

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

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

Keeping CALM: When Distributed Consistency Is Easy: In distributed systems theory, CALM presents a result that delineates the frontier of the possible.

Autoren: HELLERSTEIN, JOSEPH M. ALVARO, PETER

Quelle: Communications of the ACM; Sep2020, Vol. 63 Issue 9, p72-81, 10p, 1 Black and White Photograph, 2 Diagrams, 1 Graph

Schlagwörter: SYSTEMS theory, BIG data, PROGRAMMING languages, SYSTEMS development

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

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

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

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

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

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

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

The Guardian Model and Primitives for Exception Handling in Distributed Systems.

Autoren: Miller, Robert Tripathi, Anand

Quelle: IEEE Transactions on Software Engineering; Dec2004, Vol. 30 Issue 12, p1008-1022, 15p, 2 Diagrams, 9 Charts

Schlagwörter: SOFTWARE engineering, COMPUTER programming, COMPUTER systems, COMPUTER architecture

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

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

On Structuring Cooperative and Competitive Concurrent Systems.

Autoren: Romanovsky, Alexander

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

Schlagwörter: FAULT-tolerant computing, RELIABILITY in engineering, FAULT tolerance (Engineering), COMPUTER science, COMPUTER software industry

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

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

A Simple, Object-Based View of Multiprogramming.

Autoren: Misra, Jayadev

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

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

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