Principles and Practices of Building Parallel Software

Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

AvRajkishore Barik,Rajiv Gupta

Häftad, Engelska, 2025

Del 14564 i serien Lecture Notes in Computer Science

1 091 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-performance computers. After foundational Ph.D.

Produktinformation

Utgivningsdatum:2025-06-28
Mått:155 x 235 x 9 mm
Vikt:236 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:121
Förlag:Springer International Publishing AG
ISBN:9783031974915

Utforska kategorier

Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Retrieving Unknown SMT Formulas via Structural Mutations.- On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud.- A Formal Model for Portable, Heterogeneous Accelerator Programming.- Evaluation of Speedup and Energy with Multigrain Parallelizing Compiler.- Hidden assumptions in static verification of data-race free GPU programs.- Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism.- Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting.- Learning to harness in-vitro biological neural networks.- Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation.- Scalable Small Message Aggregation on Modern Interconnects.- Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models.