نتائج البحث - "CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS)"

1

dCUDA: GPU Cluster Programming using IB Verbs

المؤلفون: Kuster, Lukas

مصطلحات موضوعية: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, PARALLEL PROCESSORS + PARALLEL COMPUTERS + PARALLEL ARCHITECTURES (COMPUTER SYSTEMS), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPEZIELLE PROGRAMMIERMETHODEN, PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), SPECIAL PROGRAMMING METHODS, PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), PARALLELPROZESSOREN + PARALLELCOMPUTER + PARALLELARCHITEKTUREN (COMPUTERSYSTEME)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f328f389ece36f615cd25a0c7e702719

2

An Interference-Free Programming Model for Network Objects

المؤلفون: Mischael Schill, Bertrand Meyer, Christopher M. Poskitt

المساهمون: Politecnico di Milano [Milan] (POLIMI), Innopolis University, Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées, Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich), Singapore University of Technology and Design (SUTD), Alberto Lluch Lafuente, José Proença, TC 6, WG 6.1

المصدر: Lecture Notes in Computer Science
18th International Conference on Coordination Languages and Models (COORDINATION)
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.227-244, ⟨10.1007/978-3-319-39519-7_14⟩
Lecture Notes in Computer Science ISBN: 9783319395180

مصطلحات موضوعية: FOS: Computer and information sciences, Java, Semantics (computer science), Computer science, Concurrency, Distributed computing, SPECIAL PROGRAMMING METHODS, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 0102 computer and information sciences, 02 engineering and technology, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), 01 natural sciences, CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Computer Science - Software Engineering, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), Synchronization (computer science), SPECIFICATIONS (SOFTWARE ENGINEERING), 0202 electrical engineering, electronic engineering, information engineering, Overhead (computing), [INFO]Computer Science [cs], SPEZIFIKATIONEN (SOFTWARE ENGINEERING), Protocol (object-oriented programming), computer.programming_language, Abstraction (linguistics), Computer Science - Programming Languages, SPEZIELLE PROGRAMMIERMETHODEN, 020207 software engineering, Software Engineering (cs.SE), Computer Science - Distributed, Parallel, and Cluster Computing, 010201 computation theory & mathematics, Programming paradigm, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, computer, Programming Languages (cs.PL)

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf0c75148fa6659814910c974e89db07
http://arxiv.org/abs/1604.04591

3

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

المؤلفون: Claudio Corrodi, Christopher M. Poskitt, Alexander Heußner

المساهمون: Stevens, Perdita, Wasowski, Andrzej

المصدر: Lecture Notes in Computer Science, 9633
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering ISBN: 9783662496640

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, Concurrency, SCOOP, PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), GRAPHENALGORITHMEN + GEOMETRISCHE ALGORITHMEN (GRAPHENTHEORIE), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING), GRAPH ALGORITHMS + GEOMETRIC ALGORITHMS (GRAPH THEORY), 0102 computer and information sciences, 02 engineering and technology, Semantics, computer.software_genre, 01 natural sciences, Data processing, computer science, Computer Science - Software Engineering, 510 Mathematics, ComputingMilieux_COMPUTERSANDEDUCATION, 0202 electrical engineering, electronic engineering, information engineering, 000 Computer science, knowledge & systems, computer.programming_language, Soundness, Graph rewriting, Computer Science - Programming Languages, business.industry, Programming language, 020207 software engineering, Modular design, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Distributed, Parallel, and Cluster Computing, 010201 computation theory & mathematics, Asynchronous communication, Graph (abstract data type), Workbench, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, business, computer, Programming Languages (cs.PL)