1
出版 2006
書本目錄: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
獲取全文
電子 電子書
2
出版 2010
書本目錄: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
獲取全文
電子 電子書
3
出版 2005
書本目錄: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
獲取全文
電子 電子書
4
出版 2010
書本目錄: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
獲取全文
電子 電子書
5
出版 2012
書本目錄: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
獲取全文
電子 電子書
6
出版 2005
書本目錄: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
獲取全文
電子 電子書
7
出版 2015
書本目錄: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
獲取全文
電子 電子書
8
出版 2013
書本目錄: ... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...
獲取全文
電子 電子書
9
出版 2010
書本目錄: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
獲取全文
電子 電子書
10
出版 2005
書本目錄: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
獲取全文
電子 電子書
11
出版 2006
書本目錄: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
獲取全文
電子 電子書