Principles and Practices of Building Parallel Software

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

Häftad, Engelska, 2025

Av Rajkishore Barik, Rajiv Gupta, Jens Palsberg

1 519 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2025-06-28
Mått155 x 235 x 9 mm
Vikt236 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor121
FörlagSpringer International Publishing AG
ISBN9783031974915

Tillhör följande kategorier

Programvaruutveckling inom Data och it
Systemvetenskap och AI inom Data och it

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.