1
Published 2005
Table of Contents: ...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
View full text
Electronic eBook
5
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
6
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- M2E: A Multiple-Input, Multiple-Output Function Extension for RISC-Based Extensible Processors...
View full text
Electronic eBook