Výsledky vyhľadávania - concurrent 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

A Survey of Active Object Languages.

Autori: DE BOER, FRANK SERBANESCU, VLAD HÄHNLE, REINER a ďalší

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

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

PROGRAMMING DISTRIBUTED COLLECTIVE PROCESSES IN THE EXCHANGE CALCULUS.

Autori: AUDRITO, GIORGIO CASADEI, ROBERTO DAMIANI, FERRUCCIO a ďalší

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

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

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

Verification of Distributed Quantum Programs.

Autori: YUAN FENG SANJIANG LI MINGSHENG YING

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

Predmety: QUANTUM teleportation, QUANTUM computing, QUANTUM logic, PROGRAMMING languages, DISTRIBUTED computing, QUANTUM computers

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

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

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

Distributed Caml Light.

Autori: Merah, E. Chaoui, A.

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

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

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

Distributed-Memory FastFlow Building Blocks.

Autori: Tonci, Nicolò Torquati, Massimo Mencagli, Gabriele a ďalší

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

Predmety: DATA transmission systems, PARALLEL programming

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

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

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

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

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

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

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

Autori: Dr. Gabriele Lanaro Quan Nguyen Sakis Kasampalis

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Languages / Python, COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel

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

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

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