1
Published 2010
Table of Contents: ... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...
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 2015
Table of Contents: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... -- Predicting Protein-Peptide Binding Affinity by Learning Peptide-Peptide Distance Functions -- Keynote...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...
View full text
Electronic eBook
11
Published 2012
Table of Contents: ...-homologous End-joining-deficient Strains for Functional Gene Analyses in Filamentous Fungi -- Atomic Force...
View full text
Electronic eBook