1
出版 2008
書本目錄: ... Structural Unit-Testing on Third-Party Object-Oriented Java Software -- Adaptive Spatial Allocation...
獲取全文
電子 電子書
2
出版 2008
書本目錄: ... Processing -- rMPI: Message Passing on Multicore Processors with On-Chip Interconnect -- Modeling Multigrain...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
獲取全文
電子 電子書
4
出版 2005
書本目錄: ... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...
獲取全文
電子 電子書