Search Results - concurrent 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

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

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

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

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

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

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

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

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

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

On Structuring Cooperative and Competitive Concurrent Systems.

Authors: Romanovsky, Alexander

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

Subject Terms: FAULT-tolerant computing, RELIABILITY in engineering, FAULT tolerance (Engineering), COMPUTER science, COMPUTER software industry

Parallel Programming Is Here To Stay.

Authors: Wong, Bill

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

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

Abstract Communication Model for Distribution Systems.

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

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

Subject Terms: COMMUNICATION models, COMPUTER networks, INFORMATION theory, DATA transmission systems, INFORMATION networks, NETWORK PC (Computer), COMPUTER architecture

Parallel programming in Panda.

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

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

Action systems in incremental and aspect-oriented modeling.

Authors: Kurki-Suonio, R.

Source: Distributed Computing; Sep2003, Vol. 16 Issue 2/3, p201-217, 17p

Subject Terms: DISTRIBUTED computing, MATHEMATICAL models, ABSTRACT thought, SYSTEMS theory, COMPUTER programming, COMPUTER systems

A Simple, Object-Based View of Multiprogramming.

Authors: Misra, Jayadev

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

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

Modal Abstractions of Concurrent Behavior.

Authors: NIELSON, FLEMMING NANZ, SEBASTIAN NIELSON, HANNE RIIS

Source: ACM Transactions on Computational Logic; May2011, Vol. 12 Issue 3, p18-18:40, 40p

Subject Terms: COMPUTER programming, MODAL logic, ABSTRACT thought, ALGORITHMS, COMPUTER multitasking, FORMAL languages, COMPUTER network protocols

An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination.

Authors: Cicirelli, Franco Furtaro, Angelo Nigro, Libero

Source: Simulation; Jan2009, Vol. 85 Issue 1, p17-32, 16p

Subject Terms: CASE studies, INTELLIGENT agents, SIMULATION methods & models, JAVA programming language, REMOTELY piloted vehicles, AERIAL observation (Military science)