1
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... of Two Wide-band Sources with Four-element Planar Cross Array Based on Three Algorithms -- Fast...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... -- Automatic Broadcast Soccer Video Analysis, Player Detection and Tracking Based on Color Histogram...
View full text
Electronic eBook