{"product_id":"principles-and-practices-of-building-parallel-software-9783031974915","title":"Principles and  Practices of Building Parallel Software","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eRetrieving 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195500716375,"sku":"9783031974915","price":75.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/principles-and-practices-of-building-parallel-software-9783031974915","provider":"Book Curl","version":"1.0","type":"link"}