1
出版 2010
書本目錄: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
獲取全文
電子 電子書
2
出版 2010
書本目錄: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
獲取全文
電子 電子書
3
出版 2005
書本目錄: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
獲取全文
電子 電子書
4
出版 2010
書本目錄: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
獲取全文
電子 電子書
5
出版 2006
書本目錄: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
獲取全文
電子 電子書
6
出版 2008
書本目錄: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
獲取全文
電子 電子書
7
出版 2005
書本目錄: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
獲取全文
電子 電子書
8
出版 2006
書本目錄: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
獲取全文
電子 電子書
9
出版 2008
書本目錄: ...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...
獲取全文
電子 電子書
10
出版 2014
書本目錄: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
獲取全文
電子 電子書
11
出版 2005
書本目錄: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
獲取全文
電子 電子書
12
出版 2006
書本目錄: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
獲取全文
電子 電子書
13
出版 2010
書本目錄: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
獲取全文
電子 電子書
14
出版 2005
書本目錄: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
獲取全文
電子 電子書
15
出版 2008
書本目錄: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
獲取全文
電子 電子書
16
出版 2005
書本目錄: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
獲取全文
電子 電子書
17
書本目錄: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
獲取全文
電子 電子書
18
書本目錄: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
獲取全文
電子 電子書
19
出版 2012
書本目錄: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
獲取全文
電子 電子書
20
出版 2012
書本目錄: ...: Parallel Sensor Network Simulator -- A Study on Measurements System for Evaluating DA-C2’s Effectiveness...
獲取全文
電子 電子書