Výsledky vyhledávání - concurrent (programming—distributed OR programming—distributed) program- (ming* OR ing*)

Efficient Query Evaluation on Distributed Graphs with Hadoop Environment

Autoři: Le-duc Tung Quyet Nguyen-van Zhenjiang Hu a další

Přispěvatelé: Le-duc Tung Quyet Nguyen-van Zhenjiang Hu a další

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

Témata: 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 souboru: 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

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

Autoři: AUDRITO, GIORGIO CASADEI, ROBERTO DAMIANI, FERRUCCIO a další

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

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

A Survey of Active Object Languages.

Autoři: DE BOER, FRANK SERBANESCU, VLAD HÄHNLE, REINER a další

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

Témata: SOFTWARE engineering, PARALLEL programs (Computer programs), CONCURRENT engineering, PROGRAMMING languages, COMPUTER programming

Distributed Processes: A Concurrent Programming Concept.

Autoři: Hansen, Per Brinch

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

Témata: COMPUTER multitasking, COMPUTER system failures

Detecting Locally Distributed Predicates

Autoři: Michael De Rosa Seth Copen Goldstein Peter Lee a další

Přispěvatelé: Michael De Rosa Seth Copen Goldstein Peter Lee a další

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

Témata: 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 souboru: 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

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

Autoři: Alsaegg, Khalid Amjed Mohammed Pashazadeh, Saeid Zolfy Lighvan, Mina

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

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

Verification of Distributed Quantum Programs.

Autoři: YUAN FENG SANJIANG LI MINGSHENG YING

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

Témata: 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.

Autoři: 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

Témata: SYSTEMS theory, BIG data, PROGRAMMING languages, SYSTEMS development

Distributed Caml Light.

Autoři: Merah, E. Chaoui, A.

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

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

Distributed-Memory FastFlow Building Blocks.

Autoři: Tonci, Nicolò Torquati, Massimo Mencagli, Gabriele a další

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

Témata: DATA transmission systems, PARALLEL programming

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

Autoři: Dr. Gabriele Lanaro Quan Nguyen Sakis Kasampalis

Resource Type: eBook.

Témata: Python (Computer program language), Application software--Development

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

Causal memory: definitions, implementation, and programming.

Autoři: Ahamad, Mustaque Neiger, Gil Burns, James a další

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

Parallel Processing, 1980 to 2020.

Autoři: Kuhn, Robert Padua, David

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

Autoři: 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

Témata: DISTRIBUTED computing, DISTRIBUTED algorithms, BIG data, GRAPHIC methods, GRAPH algorithms, GEOMETRIC vertices

A Rewriting Framework for Rule-Based Programming Dynamic Applications.

Autoři: Doroshenko, Anatoliy Shevchenko, Ruslan

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

Témata: FORMAL methods (Computer science), COMPUTER software, SEMANTICS, COST effectiveness, COMPARATIVE linguistics

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

Autoři: 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.

Autoři: Kuck, David J.

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

Témata: HIGH performance computing, SYSTEMS software, COST effectiveness, COMPUTER software development, ELECTRONIC data processing, SUPERCOMPUTERS

Prophecy Made Simple.

Autoři: LAMPORT, LESLIE MERZ, STEPHAN

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

Témata: PROPHECY

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

Autoři: Miller, Robert Tripathi, Anand

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

Témata: SOFTWARE engineering, COMPUTER programming, COMPUTER systems, COMPUTER architecture

Logic programming as a service.

Autoři: CALEGARI, ROBERTA DENTI, ENRICO MARIANI, STEFANO a další

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

Témata: LOGIC programming, COMPUTER network architectures, INTERNETWORKING, PROLOG (Computer program language), SEMANTICS