1
Wydane 2006
Spis treści: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2010
Spis treści: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2007
Spis treści: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2010
Spis treści: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2006
Spis treści: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2008
Spis treści: ... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2010
Spis treści: ...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2010
Spis treści: ...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2007
Spis treści: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2005
Spis treści: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2012
Spis treści: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2008
Spis treści: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2010
Spis treści: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2010
Spis treści: ... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Wydane 2005
Spis treści: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Wydane 2008
Spis treści: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Wydane 2008
Spis treści: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Wydane 2005
Spis treści: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2015
Spis treści: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Wydane 2008
Spis treści: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Dokumenty pełnotekstowe
Elektroniczne E-book