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 2012
Table of Contents: ... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... -- Progress (and Lack Thereof) for Graph Coloring Approximation Problems -- Recent Results in Scalable Multi...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Polynomial Systems -- Cryptology -- Some Mathematical Problems in Cryptanalysis -- A Reduction Attack...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Templates for Information Systems: Foundations and Perspectives -- Reduction Based Symbolic Value Partition...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... -- The Diagonal Reduction Algorithm Using Fast Givens -- Constructing Generalized Bent Functions from Trace Forms...
View full text
Electronic eBook