1
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- An Improved Branch-and-Bound Algorithm for the Test Cover Problem -- Degree-Based Treewidth Lower Bounds...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ....- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
View full text
Electronic eBook
9
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
10
Published 2008
Table of Contents: ... Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Parallel Execution in Grid Environment -- Toward Dynamic Adoption for a User’s Situation Information in a...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... ONRBF NEURAL NETWORKS -- A HYBRID META-HEURISTIC FOR A ROUTING PROBLEM -- IDENTIFICATION OF GEOMETRIC...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook
16
Table of Contents: ...- and Many-Core Systems -- Parallelizing Compiler for High Performance Computing -- Dual-Execution Processor...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ...-borne Phased Array Radar --  A Second-order Algorithm for Curve Parallel Projection on Parametric...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Salesman Problem -- Multi-Sub-Swarm PSO Algorithm for Multi-Modal Function Optimization -- Reliable License...
View full text
Electronic eBook