Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
program optimizations » problem optimization, programming optimization, process optimization
computing testing » computing tweeting, computing getting, computing setting
testing program » writing program, training program, learning program
https » http
program optimizations » problem optimization, programming optimization, process optimization
computing testing » computing tweeting, computing getting, computing setting
testing program » writing program, training program, learning program
https » http
1
Publié 2005
Table des matières:
“... -- Generating Set Partitioning Test Problems with Known Optimal Integer Solutions -- Computational Aspects...”Accéder au texte intégral
Électronique
eBook
2
Publié 2006
Table des matières:
“... for Global Optimization -- Disciplined Convex Programming -- Writing Global Optimization Software...”Accéder au texte intégral
Électronique
eBook
3
Publié 2010
Table des matières:
“... Programming for Resource-Limited Embedded Systems with Golog -- RobustHX - The Robust Middleware Library...”Accéder au texte intégral
Électronique
eBook
4
Publié 2014
Table des matières:
“... Programs -- Property-Directed Shape Analysis -- Shape Analysis via Second-Order Bi-Abduction -- ICE: A...”Accéder au texte intégral
Électronique
eBook
5
Publié 2013
Table des matières:
“... Concurrent Reentrant Higher-Order Library -- Enabling Modularity and Re-use in Dynamic Program Analysis Tools...”Accéder au texte intégral
Électronique
eBook
6
Publié 2008
Table des matières:
“... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”Accéder au texte intégral
Électronique
eBook
7
Publié 2005
Table des matières:
“... Multilevel Approach for Optimizing Collective Communications in Computational Grids -- Rough Set Based...”Accéder au texte intégral
Électronique
eBook
8
Publié 2007
Table des matières:
“... Grid Environment -- Recognition and Optimization of Loop-Carried Stream Reusing of Scientific Computing...”Accéder au texte intégral
Électronique
eBook
9
Table des matières:
“...Production Planning and MIP -- The Modeling and Optimization Approach -- Production Planning Models...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
10
Publié 2014
Table des matières:
“... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”Accéder au texte intégral
Électronique
eBook
11
Publié 2013
Table des matières:
“... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”Accéder au texte intégral
Électronique
eBook
12
Publié 2008
Table des matières:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”Accéder au texte intégral
Électronique
eBook
13
Publié 2007
Table des matières:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”Accéder au texte intégral
Électronique
eBook
14
Publié 2015
Table des matières:
“... Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries...”Accéder au texte intégral
Électronique
eBook
15
Publié 2013
Table des matières:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”Accéder au texte intégral
Électronique
eBook
16
Publié 2013
Table des matières:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Accéder au texte intégral
Électronique
eBook
17
Publié 2014
Table des matières:
“...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...”Accéder au texte intégral
Électronique
eBook
18
Publié 2010
Table des matières:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”Accéder au texte intégral
Électronique
eBook
19
Publié 2007
Table des matières:
“...: The Evolution of A Network Enabled Solver -- A Test Harness TH for Numerical Applications and Libraries -- Event...”Accéder au texte intégral
Électronique
eBook
20
Table des matières:
“... in modern microprocessors through genetic programming -- Antenna array synthesis with Evolutionary...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook