1
Publicat 2010
Taula de continguts: ... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...
Obtenir text complet
Electrònic eBook
2
Publicat 2007
Taula de continguts: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Obtenir text complet
Electrònic eBook
7
Publicat 2005
Taula de continguts: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Obtenir text complet
Electrònic eBook
8
Publicat 2015
Taula de continguts: ... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ... -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A...
Obtenir text complet
Electrònic eBook
10
Publicat 2006
Taula de continguts: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obtenir text complet
Electrònic eBook
11
Publicat 2005
Taula de continguts: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Obtenir text complet
Electrònic eBook
12
Publicat 2015
Taula de continguts: ... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...
Obtenir text complet
Electrònic eBook
13
Publicat 2014
Taula de continguts: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Obtenir text complet
Electrònic eBook
14
Publicat 2008
Taula de continguts: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Obtenir text complet
Electrònic eBook
15
Publicat 2005
Taula de continguts: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ... Algorithms -- Stxxl: Standard Template Library for XXL Data Sets -- Negative Cycle Detection Problem...
Obtenir text complet
Electrònic eBook
17
Publicat 2008
Taula de continguts: ... Streams -- The Effects of Local Randomness in the Adversarial Queueing Model -- Parallel Imaging Problem...
Obtenir text complet
Electrònic eBook
18
Publicat 2010
Taula de continguts: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Obtenir text complet
Electrònic eBook
19
Publicat 2010
Taula de continguts: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
Obtenir text complet
Electrònic eBook
20
Publicat 2008
Taula de continguts: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Obtenir text complet
Electrònic eBook