Suchergebnisse - concurrent programming—distributed program- ing*

PROGRAMMING DISTRIBUTED COLLECTIVE PROCESSES IN THE EXCHANGE CALCULUS.

Autoren: AUDRITO, GIORGIO CASADEI, ROBERTO DAMIANI, FERRUCCIO et al.

Quelle: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p3:1-3:41, 1p

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

A Survey of Active Object Languages.

Autoren: DE BOER, FRANK SERBANESCU, VLAD HÄHNLE, REINER et al.

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

Schlagwörter: SOFTWARE engineering, PARALLEL programs (Computer programs), CONCURRENT engineering, PROGRAMMING languages, COMPUTER programming

Distributed Caml Light.

Autoren: Merah, E. Chaoui, A.

Quelle: International Review on Computers & Software; Sep2008, Vol. 3 Issue 5, p564-571, 8p, 1 Diagram

Schlagwörter: PROGRAMMING languages, FUNCTIONAL programming (Computer science), MOBILE computing, CONCURRENT Aggregates (Computer program language), ERLANG (Computer program language)

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

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

Distributed-Memory FastFlow Building Blocks.

Autoren: Tonci, Nicolò Torquati, Massimo Mencagli, Gabriele et al.

Quelle: International Journal of Parallel Programming; Feb2023, Vol. 51 Issue 1, p1-21, 21p

Schlagwörter: DATA transmission systems, PARALLEL programming

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

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

Advanced Python Programming : Build High Performance, Concurrent, and Multi-threaded Apps with Python Using Proven Design Patterns

Autoren: Dr. Gabriele Lanaro Quan Nguyen Sakis Kasampalis

Resource Type: eBook.

Schlagworte: Python (Computer program language), Application software--Development

Categories: COMPUTERS / Languages / Python, COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel

Logic programming as a service.

Autoren: CALEGARI, ROBERTA DENTI, ENRICO MARIANI, STEFANO et al.

Quelle: Theory & Practice of Logic Programming; Sep2018, Vol. 18 Issue 5/6, p846-873, 28p

Schlagwörter: LOGIC programming, COMPUTER network architectures, INTERNETWORKING, PROLOG (Computer program language), SEMANTICS

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

Verification of Sequential and Concurrent Programs

Autoren: Krzysztof R. Apt Amir Pnueli Frank S. de Boer et al.

Resource Type: eBook.

Schlagworte: Computer software--Verification

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms

Models, Languages, and Tools for Concurrent and Distributed Programming

Autoren: Michele Boreale Flavio Corradini Michele Loreti et al.

Resource Type: eBook.

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

Concurrent test systems using the structured distributed-programming paradigm.

Autoren: Salley, R.C.

Quelle: Proceedings, IEEE AUTOTESTCON; 2002, p152-163, 12p

FEDERAL REGISTER.

Quelle: Federal Register (National Archives & Records Service, Office of the Federal Register); 8/2/2024, Vol. 89 Issue 149, pI-63255, 190p

Schlagwörter: GOVERNMENT agency rules & practices, NOTICE of proposed rulemaking (Administrative law), MEMBERSHIP, AIRSPACE (International law), AGRICULTURAL Adjustment Act of 1938

Firma/Körperschaft: UNITED States. Agency for International Development

Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing.

Autoren: Ahuja, Mohan Carison, Timothy Gahlot, Ashwani

Quelle: IEEE Transactions on Software Engineering; Sep93, Vol. 19 Issue 9, p845-855, 11p, 7 Diagrams

Schlagwörter: DISTRIBUTED computing, ELECTRONIC data processing, COMPUTER systems, ELECTRONIC systems, COMPUTERS

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 Programming in Computing Undergraduate Courses: a Systematic Mapping of the Literature.

Autoren: Lara Soares, Felipe Augusto Neri Nobre, Cristiane Cota de Freitas, Henrique

Quelle: IEEE Latin America Transactions; Aug2018, Vol. 17 Issue 8, p1371-1381, 11p

Toward software metrics for distributed software.

Autoren: Woei-Jiunn Tsaur Shi-Jinn Horng

Quelle: Proceedings 1995 Asia Pacific Software Engineering Conference; 1995, p209-216, 8p