Suchergebnisse - concurrent programming and distributed computing
-
1
Energy landscape analysis for regulatory RNA finding using scalable distributed cyberinfrastructure
ISSN: 1532-0626, 1532-0634, 1532-0634Veröffentlicht: Chichester, UK John Wiley & Sons, Ltd 10.12.2011Veröffentlicht in Concurrency and computation (10.12.2011)“… We develop the Distributed Adaptive Runtime Environment to effectively address the computational requirements …”
Volltext
Journal Article -
2
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
ISSN: 0934-5043, 1433-299XVeröffentlicht: London Springer London 01.01.2018Veröffentlicht in Formal aspects of computing (01.01.2018)“… A number of high-level languages and libraries have been proposed that offer novel and simple to use abstractions for concurrent, asynchronous, and distributed programming …”
Volltext
Journal Article -
3
Developing technologies for broad-network concurrent computing: New trends in programming and execution models for parallel architectures, heterogeneously distributed systems and mobile computing
ISSN: 1383-7621Veröffentlicht: Amsterdam Elsevier 1999Veröffentlicht in Journal of systems architecture (1999)Volltext
Journal Article -
4
The design, implementation, and use of a concurrent LISP programming system for distributed computing environments
ISBN: 9798207898216Veröffentlicht: ProQuest Dissertations & Theses 01.01.1993“… This dissertation discusses the design, implementation and use of a LISP programming system built on top of a distributed operating system …”
Volltext
Dissertation -
5
HADES: Hardware-Assisted Distributed Transactions in the Age of Fast Networks and SmartNICs
Veröffentlicht: IEEE 29.06.2024Veröffentlicht in 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) (29.06.2024)“… Transactional-based distributed storage applications such as key-value stores and databases are widely used in the cloud …”
Volltext
Tagungsbericht -
6
Evaluation of an Online Judge for Concurrent Programming Learning
ISSN: 2771-5752Veröffentlicht: IEEE 16.10.2023Veröffentlicht in Proceedings of the Latin American Computing Conference (Online) (16.10.2023)“… One of these requirements is the learning of concurrent and distributed programming, despite the increasing importance of these computing paradigms …”
Volltext
Tagungsbericht -
7
Reengineering the SLEEP simulator in a concurrent and distributed programming course
ISSN: 1061-3773, 1099-0542Veröffentlicht: Hoboken Wiley Subscription Services, Inc., A Wiley Company 01.03.2014Veröffentlicht in Computer applications in engineering education (01.03.2014)“… This article presents laboratory exercises and project assignments developed to teach concepts of concurrent and distributed programming in Java …”
Volltext
Journal Article -
8
Gluon-Async: A Bulk-Asynchronous System for Distributed and Heterogeneous Graph Analytics
ISSN: 2641-7936Veröffentlicht: IEEE 01.09.2019Veröffentlicht in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“… Distributed graph analytics systems for CPUs, like D-Galois and Gemini, and for GPUs, like D-IrGL and Lux, use a bulk-synchronous parallel (BSP …”
Volltext
Tagungsbericht -
9
LLM-Based Java Concurrent Program to ArkTS Converter
ISSN: 2643-1572Veröffentlicht: ACM 27.10.2024Veröffentlicht in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)“… HarmonyOS NEXT is a distributed operating system developed to support HarmonyOS native apps …”
Volltext
Tagungsbericht -
10
On the viability of component frameworks for high performance distributed computing: a case study
ISBN: 0769516866, 9780769516868ISSN: 1082-8907Veröffentlicht: IEEE 2002Veröffentlicht in 11th International Symposium on High-Performance Distributed Computing (HPDC-11 2002) (2002)“… , and deliver enhanced functionality. The Harness system, a software backplane enabling reconfigurable distributed concurrent computing is used to emulate the PVM programming environment …”
Volltext
Tagungsbericht -
11
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures
ISSN: 2475-1421, 2475-1421Veröffentlicht: New York, NY, USA ACM 02.01.2019Veröffentlicht in Proceedings of ACM on programming languages (02.01.2019)“… This enables safe MPST-based programming of the parameterised endpoints in distributed settings …”
Volltext
Journal Article -
12
The Design of OpenMP Tasks
ISSN: 1045-9219, 1558-2183Veröffentlicht: New York IEEE 01.03.2009Veröffentlicht in IEEE transactions on parallel and distributed systems (01.03.2009)“… OpenMP has been very successful in exploiting structured parallelism in applications. With increasing application complexity, there is a growing need for …”
Volltext
Journal Article Verlag -
13
C++ reactive programming : design concurrent and asynchronous applications using the RxCpp library and modern C++17
ISBN: 1788629779, 9781788629775Veröffentlicht: Birmingham Packt 2018“… Reactive programming is an effective way to build highly responsive applications with an easy-to-maintain code base …”
Volltext
E-Book Buch -
14
Falcon: fault localization in concurrent programs
ISBN: 9781605587196, 1605587192ISSN: 0270-5257Veröffentlicht: New York, NY, USA ACM 01.05.2010Veröffentlicht in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)“… This paper presents a new dynamic fault-localization technique that can pinpoint faulty data-access patterns in multi-threaded concurrent programs …”
Volltext
Tagungsbericht -
15
Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts
ISSN: 1558-1225Veröffentlicht: ACM 01.05.2022Veröffentlicht in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)“… Traditional public blockchain systems typically had very limited transaction throughput because of the bottleneck of the consensus protocol itself. With recent …”
Volltext
Tagungsbericht -
16
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
ISSN: 1860-5974, 1860-5974Veröffentlicht: Logical Methods in Computer Science e.V 01.01.2024Veröffentlicht in Logical methods in computer science (01.01.2024)“… However, it is non-trivial to generate worst-case inputs for concurrent programs, particularly for resources like memory where the peak cost depends on how processes are scheduled …”
Volltext
Journal Article -
17
Introduction to Parallel and Distributed Programming using N-Body Simulations
Veröffentlicht: IEEE 17.11.2024Veröffentlicht in SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis (17.11.2024)“… This paper describes how we use n-body simulations as an interesting and visually compelling way to teach efficient, parallel, and distributed programming …”
Volltext
Tagungsbericht -
18
S4: Distributed Stream Computing Platform
ISBN: 9781424492442, 1424492440ISSN: 2375-9232Veröffentlicht: IEEE 01.12.2010Veröffentlicht in 2010 IEEE International Conference on Data Mining Workshops (01.12.2010)“… and location transparency, thus allowing applications to be massively concurrent while exposing a simple programming …”
Volltext
Tagungsbericht -
19
Observational and behavioural equivalences for soft concurrent constraint programming
ISSN: 2352-2208Veröffentlicht: Elsevier 01.11.2017Veröffentlicht in Journal of logical and algebraic methods in programming (01.11.2017)“… We present a labelled semantics for Soft Concurrent Constraint Programming (SCCP), a meta-language where concurrent agents may synchronise on a shared store by either posting or checking the satisfaction …”
Volltext
Journal Article -
20
Revisiting actor programming in C++
ISSN: 1477-8424, 1873-6866Veröffentlicht: Elsevier Ltd 01.04.2016Veröffentlicht in Computer languages, systems & structures (01.04.2016)“… Its high level of abstraction makes it appealing for concurrent applications in parallel and distributed systems …”
Volltext
Journal Article

