Programming Heterogeneous Multicore Systems Using Threading Building Blocks
Attributed to:
Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-21878-1_15
Publication URI: http://dx.doi.org/10.1007/978-3-642-21878-1_15
Type: Book Chapter
Book Title: Euro-Par 2010 Parallel Processing Workshops - HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3, 2010, Revised Selected Papers (2011)
Page Reference: 117-125
ISBN: 978-3-642-21877-4