Search Results - concurrent (programming—distributed OR programming—distributed) program- (ming* OR ing*)*

Efficient Query Evaluation on Distributed Graphs with Hadoop Environment

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

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

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

Subject Terms: 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

File Description: 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

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

PROGRAMMING DISTRIBUTED COLLECTIVE PROCESSES IN THE EXCHANGE CALCULUS.

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

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

Subject Terms: DISTRIBUTED computing, INTERNET of things, GROUP formation, ADAPTIVE computing systems, COMPUTER programming, COOPERATIVE control systems, CALCULUS

A Survey of Active Object Languages.

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

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

Subject Terms: SOFTWARE engineering, PARALLEL programs (Computer programs), CONCURRENT engineering, PROGRAMMING languages, COMPUTER programming

Distributed Processes: A Concurrent Programming Concept.

Authors: Hansen, Per Brinch

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

Subject Terms: COMPUTER multitasking, COMPUTER system failures

Detecting Locally Distributed Predicates

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

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

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

Subject Terms: 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

File Description: 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

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

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

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

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

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

Verification of Distributed Quantum Programs.

Authors: YUAN FENG SANJIANG LI MINGSHENG YING

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

Subject Terms: QUANTUM teleportation, QUANTUM computing, QUANTUM logic, PROGRAMMING languages, DISTRIBUTED computing, QUANTUM computers

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

Authors: HELLERSTEIN, JOSEPH M. ALVARO, PETER

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

Subject Terms: SYSTEMS theory, BIG data, PROGRAMMING languages, SYSTEMS development

Distributed Caml Light.

Authors: Merah, E. Chaoui, A.

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

Subject Terms: PROGRAMMING languages, FUNCTIONAL programming (Computer science), MOBILE computing, CONCURRENT Aggregates (Computer program language), ERLANG (Computer program language)

Distributed-Memory FastFlow Building Blocks.

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

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

Subject Terms: DATA transmission systems, PARALLEL programming

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

Authors: Dr. Gabriele Lanaro Quan Nguyen Sakis Kasampalis

Resource Type: eBook.

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

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

Causal memory: definitions, implementation, and programming.

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

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

Parallel Processing, 1980 to 2020.

Authors: Kuhn, Robert Padua, David

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

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

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

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

Subject Terms: DISTRIBUTED computing, DISTRIBUTED algorithms, BIG data, GRAPHIC methods, GRAPH algorithms, GEOMETRIC vertices

A Rewriting Framework for Rule-Based Programming Dynamic Applications.

Authors: Doroshenko, Anatoliy Shevchenko, Ruslan

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

Subject Terms: FORMAL methods (Computer science), COMPUTER software, SEMANTICS, COST effectiveness, COMPARATIVE linguistics

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

Authors: Zhu, Ling Kulkarni, Sandeep S.

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

PRODUCTIVITY IN HIGH PERFORMANCE COMPUTING.

Authors: Kuck, David J.

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

Subject Terms: HIGH performance computing, SYSTEMS software, COST effectiveness, COMPUTER software development, ELECTRONIC data processing, SUPERCOMPUTERS

Prophecy Made Simple.

Authors: LAMPORT, LESLIE MERZ, STEPHAN

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

Subject Terms: PROPHECY

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

Authors: Miller, Robert Tripathi, Anand

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

Subject Terms: SOFTWARE engineering, COMPUTER programming, COMPUTER systems, COMPUTER architecture

Logic programming as a service.

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

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

Subject Terms: LOGIC programming, COMPUTER network architectures, INTERNETWORKING, PROLOG (Computer program language), SEMANTICS