1
Published 2005
Table of Contents: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Scanning Point Clouds -- A Novel Approach to the Common Due-Date Problem on Single and Parallel Machines...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Generators -- Open Problems on Binary Bent Functions -- On Semi-bent functions and Related Plateaued...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ...-Based Accelerators for BLAST Algorithm with Multi-seeds Detection and Parallel Extension -- Fast...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Platform and Open Source Environments -- Progress on Crossing Number Problems -- Full Contributed Papers...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... for Parabolic Optimal Control Problems -- Searching and Updating Metric Space Databases Using the Parallel EGNAT...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Binary Translation System -- Unbiased Branches: An Open Problem -- An Online Profile Guided Optimization...
View full text
Electronic eBook