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 2008
Table of Contents: ... Structural Unit-Testing on Third-Party Object-Oriented Java Software -- Adaptive Spatial Allocation...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Design -- A Data Warehouse Engineering Process -- Aggregation and Analysis of Spatial Data by Means...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Processing -- rMPI: Message Passing on Multicore Processors with On-Chip Interconnect -- Modeling Multigrain...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...Full Papers -- Efficiently Updating Cost Repository Values for Query Optimization on Web Data...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... the Code Review Process Using Simple Pattern Recognition -- An Extensible Open-Source Compiler...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... on Third-Party Infrastructures -- A New Fragile Mesh Watermarking Algorithm for Authentication -- New...
View full text
Electronic eBook