Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
function detection » mutation detection, reaction detection, action detection
parallel problem » parallel program, parallel programs, parallel robots
program function » programme function, programs functional, program foundation
problem program » problems programs, program program, problem problem
detection https » protection https, exertion https, infection https
function detection » mutation detection, reaction detection, action detection
parallel problem » parallel program, parallel programs, parallel robots
program function » programme function, programs functional, program foundation
problem program » problems programs, program program, problem problem
detection https » protection https, exertion https, infection https
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
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
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