1
Published 2014
Table of Contents: ... for GPUs -- Towards Parallel Constraint-Based Local Search with the X10 Language -- Debate Games in Logic...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... into Java Environment -- Content-Based Distribution for Load Sharing in Locally Clustered Web Servers -- A...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Small-World Properties in VANETs -- Impact of the Number of Beacons in PSO-Based Auto-localization...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook