Search Results - concurrent programming and distributed computing

Refine Results
  1. 1

    Energy landscape analysis for regulatory RNA finding using scalable distributed cyberinfrastructure by Kim, Joohyun, Huang, Wei, Maddineni, Sharath, Aboul-ela, Fareed, Jha, Shantenu

    ISSN: 1532-0626, 1532-0634, 1532-0634
    Published: Chichester, UK John Wiley & Sons, Ltd 10.12.2011
    Published 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. 2

    A semantics comparison workbench for a concurrent, asynchronous, distributed programming language by Corrodi, Claudio, Heußner, Alexander, Poskitt, Christopher M.

    ISSN: 0934-5043, 1433-299X
    Published: London Springer London 01.01.2018
    Published 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. 3
  4. 4

    The design, implementation, and use of a concurrent LISP programming system for distributed computing environments by Pearson, Mark Philip

    ISBN: 9798207898216
    Published: 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. 5

    HADES: Hardware-Assisted Distributed Transactions in the Age of Fast Networks and SmartNICs by Kokolis, Apostolos, Psistakis, Antonis, Reidys, Benjamin, Huang, Jian, Torrellas, Josep

    Published: IEEE 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. 6

    Evaluation of an Online Judge for Concurrent Programming Learning by Hidalgo-Cespedes, Jeisson

    ISSN: 2771-5752
    Published: IEEE 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. 7

    Reengineering the SLEEP simulator in a concurrent and distributed programming course by Radivojevic, Zaharije, Cvetanovic, Milos, Jovanovic, Zoran

    ISSN: 1061-3773, 1099-0542
    Published: Hoboken Wiley Subscription Services, Inc., A Wiley Company 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. 8

    Gluon-Async: A Bulk-Asynchronous System for Distributed and Heterogeneous Graph Analytics by Dathathri, Roshan, Gill, Gurbinder, Hoang, Loc, Jatala, Vishwesh, Pingali, Keshav, Nandivada, V. Krishna, Dang, Hoang-Vu, Snir, Marc

    ISSN: 2641-7936
    Published: IEEE 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. 9

    LLM-Based Java Concurrent Program to ArkTS Converter by Liu, Runlin, Lin, Yuhang, Hu, Yunge, Zhang, Zhe, Gao, Xiang

    ISSN: 2643-1572
    Published: ACM 27.10.2024
    “…HarmonyOS NEXT is a distributed operating system developed to support HarmonyOS native apps…”
    Get full text
    Conference Proceeding
  10. 10

    On the viability of component frameworks for high performance distributed computing: a case study by Kurzyniec, D., Sunderam, V., Migliardi, M.

    ISBN: 0769516866, 9780769516868
    ISSN: 1082-8907
    Published: IEEE 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. 11

    Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures by Castro, David, Hu, Raymond, Jongmans, Sung-Shik, Ng, Nicholas, Yoshida, Nobuko

    ISSN: 2475-1421, 2475-1421
    Published: New York, NY, USA ACM 02.01.2019
    “… This enables safe MPST-based programming of the parameterised endpoints in distributed settings…”
    Get full text
    Journal Article
  12. 12

    The Design of OpenMP Tasks by Ayguade, E., Copty, N., Duran, A., Hoeflinger, J., Yuan Lin, Massaioli, F., Teruel, X., Unnikrishnan, P., Guansong Zhang

    ISSN: 1045-9219, 1558-2183
    Published: New York IEEE 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. 13

    C++ reactive programming : design concurrent and asynchronous applications using the RxCpp library and modern C++17 by Pai, Praseed, Abraham, Peter

    ISBN: 1788629779, 9781788629775
    Published: 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. 14

    Falcon: fault localization in concurrent programs by Park, Sangmin, Vuduc, Richard W., Harrold, Mary Jean

    ISBN: 9781605587196, 1605587192
    ISSN: 0270-5257
    Published: New York, NY, USA ACM 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. 15

    Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts by Garamvolgyi, Peter, Liu, Yuxi, Zhou, Dong, Long, Fan, Wu, Ming

    ISSN: 1558-1225
    Published: ACM 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. 16

    Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics by Pham, Long, Hoffmann, Jan

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 01.01.2024
    Published 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. 17

    Introduction to Parallel and Distributed Programming using N-Body Simulations by Van Craen, Alexander, Breyer, Marcel, Pfluger, Dirk

    Published: IEEE 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. 18

    S4: Distributed Stream Computing Platform by Neumeyer, L, Robbins, B, Nair, A, Kesari, A

    ISBN: 9781424492442, 1424492440
    ISSN: 2375-9232
    Published: IEEE 01.12.2010
    “… and location transparency, thus allowing applications to be massively concurrent while exposing a simple programming…”
    Get full text
    Conference Proceeding
  19. 19

    Observational and behavioural equivalences for soft concurrent constraint programming by Gadducci, Fabio, Santini, Francesco, Pino, Luis F., Valencia, Frank D.

    ISSN: 2352-2208
    Published: Elsevier 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. 20

    Revisiting actor programming in C++ by Charousset, Dominik, Hiesgen, Raphael, Schmidt, Thomas C.

    ISSN: 1477-8424, 1873-6866
    Published: Elsevier Ltd 01.04.2016
    Published 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