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