Soggetti all'interno della tua ricerca.
Cerca anche:
programming optimization » foraging optimization, programming application, programming applications
optimization programming » imitation programming, organization programming, optimization program
programming decision » programming decisions, programming recursion, programming design
decision array » decision areas, emission array, decision diagram
https » http
1
Copertina
Sommario: “...and Basic Concepts -- Decision Procedures for Propositional Logic -- Equality Logic...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
2
Copertina
Pubblicazione 2006
Sommario: “...Optimization algorithms -- Interior Point Methods for Large-Scale Linear Programming -- Nonlinear...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
3
Copertina
Pubblicazione 2006
Sommario: “... for Solving Discrete Optimization Problems -- Logic-Based Modeling -- Modelling for Feasibility - the Case...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
4
Copertina
Pubblicazione 2010
Sommario: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
5
Copertina
Pubblicazione 2012
Sommario: “.... Karathanasopoulos) -- 5. Pattern Detection and Analysis in Financial Time Series Using Suffix Arrays (K. F...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
6
Copertina
Sommario: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
7
Copertina
Pubblicazione 2005
Sommario: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
8
Copertina
Pubblicazione 2014
Sommario: “..., memcpy, and Beyond -- An Improved Unrolling-Based Decision Procedure for Algebraic Data Types -- Program...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
9
Copertina
Pubblicazione 2014
Sommario: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
10
Copertina
Pubblicazione 2006
Sommario: “... and Infinite Signatures -- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
11
Copertina
Pubblicazione 2010
Sommario: “... Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
12
Copertina
Pubblicazione 2007
Sommario: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
13
Copertina
Sommario: “... Processes -- C Markov Chains, Martingales and Ergodic Processes -- D Markov Decision Theory and Optimality...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
14
Copertina
Soggetti: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
15
Copertina
Pubblicazione 2010
Sommario: “... Systems -- A Faster Clonal Selection Algorithm for Expensive Optimization Problems -- An Information...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
16
Copertina
Pubblicazione 2013
Sommario: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
17
Copertina
Pubblicazione 2008
Sommario: “... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
18
Copertina
Pubblicazione 2005
Sommario: “...-Based Approach to Delayed Decisions for Robust Conceptual Design -- Unified Particle Swarm Optimization...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
19
Copertina
Pubblicazione 2015
Sommario: “... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
20
Copertina
Pubblicazione 2005
Sommario: “... Certification Authority Coordination Group -- Grid Enabled Optimization -- Towards a Coordination Model...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email — Salva la ricerca