1
Wydane 2010
Spis treści: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2013
Spis treści: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2005
Spis treści: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2005
Spis treści: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2013
Spis treści: ... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2013
Spis treści: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2014
Spis treści: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2014
Spis treści: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2010
Spis treści: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2005
Spis treści: ... for Performance Evaluation of Parallel and Distributed Systems -- Integrating Distributed Composite Objects...
Dokumenty pełnotekstowe
Elektroniczne E-book