Search Results - concurrent programming and distributed computing
-
1
Energy landscape analysis for regulatory RNA finding using scalable distributed cyberinfrastructure
ISSN: 1532-0626, 1532-0634, 1532-0634Published: Chichester, UK John Wiley & Sons, Ltd 10.12.2011Published in Concurrency and computation (10.12.2011)“… We develop the Distributed Adaptive Runtime Environment to effectively address the computational requirements…”
Get full text
Journal Article -
2
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
ISSN: 0934-5043, 1433-299XPublished: London Springer London 01.01.2018Published 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…”
Get full text
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-7621Published: Amsterdam Elsevier 1999Published in Journal of systems architecture (1999)Get full text
Journal Article -
4
The design, implementation, and use of a concurrent LISP programming system for distributed computing environments
ISBN: 9798207898216Published: 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…”
Get full text
Dissertation -
5
HADES: Hardware-Assisted Distributed Transactions in the Age of Fast Networks and SmartNICs
Published: IEEE 29.06.2024Published 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…”
Get full text
Conference Proceeding -
6
Evaluation of an Online Judge for Concurrent Programming Learning
ISSN: 2771-5752Published: IEEE 16.10.2023Published 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…”
Get full text
Conference Proceeding -
7
Reengineering the SLEEP simulator in a concurrent and distributed programming course
ISSN: 1061-3773, 1099-0542Published: Hoboken Wiley Subscription Services, Inc., A Wiley Company 01.03.2014Published 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…”
Get full text
Journal Article -
8
Gluon-Async: A Bulk-Asynchronous System for Distributed and Heterogeneous Graph Analytics
ISSN: 2641-7936Published: IEEE 01.09.2019Published 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…”
Get full text
Conference Proceeding -
9
LLM-Based Java Concurrent Program to ArkTS Converter
ISSN: 2643-1572Published: ACM 27.10.2024Published 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…”
Get full text
Conference Proceeding -
10
On the viability of component frameworks for high performance distributed computing: a case study
ISBN: 0769516866, 9780769516868ISSN: 1082-8907Published: IEEE 2002Published 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…”
Get full text
Conference Proceeding -
11
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures
ISSN: 2475-1421, 2475-1421Published: New York, NY, USA ACM 02.01.2019Published in Proceedings of ACM on programming languages (02.01.2019)“… This enables safe MPST-based programming of the parameterised endpoints in distributed settings…”
Get full text
Journal Article -
12
The Design of OpenMP Tasks
ISSN: 1045-9219, 1558-2183Published: New York IEEE 01.03.2009Published 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…”
Get full text
Journal Article Publication -
13
C++ reactive programming : design concurrent and asynchronous applications using the RxCpp library and modern C++17
ISBN: 1788629779, 9781788629775Published: Birmingham Packt 2018“…Reactive programming is an effective way to build highly responsive applications with an easy-to-maintain code base…”
Get full text
eBook Book -
14
Falcon: fault localization in concurrent programs
ISBN: 9781605587196, 1605587192ISSN: 0270-5257Published: New York, NY, USA ACM 01.05.2010Published 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…”
Get full text
Conference Proceeding -
15
Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts
ISSN: 1558-1225Published: ACM 01.05.2022Published 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…”
Get full text
Conference Proceeding -
16
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 01.01.2024Published 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…”
Get full text
Journal Article -
17
Introduction to Parallel and Distributed Programming using N-Body Simulations
Published: IEEE 17.11.2024Published 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…”
Get full text
Conference Proceeding -
18
S4: Distributed Stream Computing Platform
ISBN: 9781424492442, 1424492440ISSN: 2375-9232Published: IEEE 01.12.2010Published 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…”
Get full text
Conference Proceeding -
19
Observational and behavioural equivalences for soft concurrent constraint programming
ISSN: 2352-2208Published: Elsevier 01.11.2017Published 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…”
Get full text
Journal Article -
20
Revisiting actor programming in C++
ISSN: 1477-8424, 1873-6866Published: Elsevier Ltd 01.04.2016Published in Computer languages, systems & structures (01.04.2016)“… Its high level of abstraction makes it appealing for concurrent applications in parallel and distributed systems…”
Get full text
Journal Article

