Výsledky vyhľadávania - concurrent (programming—distributed OR programming—distributed) program- (ming OR ing)*

Efficient Query Evaluation on Distributed Graphs with Hadoop Environment

Autori: Le-duc Tung Quyet Nguyen-van Zhenjiang Hu a ďalší

Prispievatelia: Le-duc Tung Quyet Nguyen-van Zhenjiang Hu a ďalší

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

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

Popis súboru: 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

Dostupnosť: 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.

Autori: Hansen, Per Brinch

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

Predmety: COMPUTER multitasking, COMPUTER system failures

Detecting Locally Distributed Predicates

Autori: Michael De Rosa Seth Copen Goldstein Peter Lee a ďalší

Prispievatelia: Michael De Rosa Seth Copen Goldstein Peter Lee a ďalší

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

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

Popis súboru: 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

Dostupnosť: 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.

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

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

Predmety: 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.

Autori: HELLERSTEIN, JOSEPH M. ALVARO, PETER

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

Predmety: SYSTEMS theory, BIG data, PROGRAMMING languages, SYSTEMS development

Causal memory: definitions, implementation, and programming.

Autori: Ahamad, Mustaque Neiger, Gil Burns, James a ďalší

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

Parallel Processing, 1980 to 2020.

Autori: Kuhn, Robert Padua, David

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

A Rewriting Framework for Rule-Based Programming Dynamic Applications.

Autori: Doroshenko, Anatoliy Shevchenko, Ruslan

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

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

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

Autori: Zhu, Ling Kulkarni, Sandeep S.

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

PRODUCTIVITY IN HIGH PERFORMANCE COMPUTING.

Autori: Kuck, David J.

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

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

Prophecy Made Simple.

Autori: LAMPORT, LESLIE MERZ, STEPHAN

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

Predmety: PROPHECY

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

Autori: Miller, Robert Tripathi, Anand

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

Predmety: SOFTWARE engineering, COMPUTER programming, COMPUTER systems, COMPUTER architecture

On Structuring Cooperative and Competitive Concurrent Systems.

Autori: Romanovsky, Alexander

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

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

Abstract Communication Model for Distribution Systems.

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

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

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

Action systems in incremental and aspect-oriented modeling.

Autori: Kurki-Suonio, R.

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

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

Parallel programming in Panda.

Autori: Assenmacher, H. Breitbach, T. Buhler, P. a ďalší

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

A Simple, Object-Based View of Multiprogramming.

Autori: Misra, Jayadev

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

Parallel Programming Is Here To Stay.

Autori: Wong, Bill

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

Predmety: 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.

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

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

Predmety: 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.

Autori: Cicirelli, Franco Furtaro, Angelo Nigro, Libero

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

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