Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
problem https » problem hips, problem has, problem hip
program test » programs test, program text, program crest
test problem » test problems, tests problems, set problem
problem https » problem hips, problem has, problem hip
program test » programs test, program text, program crest
test problem » test problems, tests problems, set problem
1
Udgivet 2012
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Få fuldtekst
Electronisk
eBog
2
af Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Udgivet 2007
Indholdsfortegnelse:
“... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”Udgivet 2007
Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”Få fuldtekst
Electronisk
eBog
4
Indholdsfortegnelse:
“...Using C-Style APIs -- C-Style APIs: Structures, Classes, and Arrays -- Win32 API -- Using C...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
5
Indholdsfortegnelse:
“...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
6
Udgivet 2010
Indholdsfortegnelse:
“... Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics -- SAT...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2014
Indholdsfortegnelse:
“...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2014
Indholdsfortegnelse:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2007
Indholdsfortegnelse:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2013
Indholdsfortegnelse:
“... and Prosody -- A Case Study in Romanian -- MAP: An Abstraction-Based Metaphor Analysis Program for Overcoming...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2014
Indholdsfortegnelse:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2007
Indholdsfortegnelse:
“... Prediction -- A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2005
Indholdsfortegnelse:
“... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2010
Indholdsfortegnelse:
“... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2006
Indholdsfortegnelse:
“... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“... Programs with Two Integer Variables and Two Constraints -- A Polyhedral Investigation of the LCS Problem...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2007
Indholdsfortegnelse:
“...Keynote Speech -- Programming Challenges for Petascale and Multicore Parallel Systems -- Towards...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“...: Reliability and Testing -- Reliability of VLSI Linear Arrays with Redundant Links -- A Technique to Ensure...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2007
Indholdsfortegnelse:
“... -- Sequential Vector Packing -- A Tighter Analysis of Set Cover Greedy Algorithm for Test Set -- A More...”Få fuldtekst
Electronisk
eBog
20
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog