Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
termination function » permutation function, termination detection, coordination function
program termination » program verification, proving termination
parallel problem » parallel program, parallel programs, parallel robots
problem program » problems programs, program program, problem problem
function https » functions https, fiction https
termination function » permutation function, termination detection, coordination function
program termination » program verification, proving termination
parallel problem » parallel program, parallel programs, parallel robots
problem program » problems programs, program program, problem problem
function https » functions https, fiction https
1
Pubblicazione 2010
Sommario:
“... Differential Evolution Algorithm for Solving the Terminal Assignment Problem -- Decentralized Evolutionary...”Testo
Elettronico
eBook
2
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Pubblicazione 2015
Sommario:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Testo
Elettronico
eBook
3
Pubblicazione 2005
Sommario:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testo
Elettronico
eBook
4
Pubblicazione 2008
Sommario:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”Testo
Elettronico
eBook
5
Pubblicazione 2005
Sommario:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testo
Elettronico
eBook
6
Pubblicazione 2015
Sommario:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Testo
Elettronico
eBook
7
Pubblicazione 2014
Sommario:
“... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...”Testo
Elettronico
eBook
8
Sommario:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Testo
Testo
Elettronico
eBook
9
Pubblicazione 2013
Sommario:
“... -- On the Complexity of Shortest Path Problems on Discounted Cost Graphs.- Termination of Rule-Based Calculi...”Testo
Elettronico
eBook
10
Pubblicazione 2010
Sommario:
“... Control -- Termination of Loop Programs with Polynomial Guards -- Development of Web Based Management...”Testo
Elettronico
eBook
11
Pubblicazione 2006
Sommario:
“... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...”Testo
Elettronico
eBook
12
Pubblicazione 2006
Sommario:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”Testo
Elettronico
eBook
13
Pubblicazione 2010
Sommario:
“... on Constrained Minimum Enclosing Circle Problem -- Searching for an Axis-Parallel Shoreline -- Bounded Length, 2...”Testo
Elettronico
eBook
14
Pubblicazione 2013
Sommario:
“... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...”Testo
Elettronico
eBook
15
Pubblicazione 2008
Sommario:
“... Networks -- Single Straddle Carrier Routing Problem in Port Container Terminals: Mathematical Model...”Testo
Elettronico
eBook
16
Pubblicazione 2008
Sommario:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”Testo
Elettronico
eBook
17
Pubblicazione 2007
Sommario:
“... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”Testo
Elettronico
eBook
18
Pubblicazione 2007
Sommario:
“...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”Testo
Elettronico
eBook
19
Pubblicazione 2006
Sommario:
“... ONRBF NEURAL NETWORKS -- A HYBRID META-HEURISTIC FOR A ROUTING PROBLEM -- IDENTIFICATION OF GEOMETRIC...”Testo
Elettronico
eBook
20
Pubblicazione 2014
Sommario:
“... Salesman Problem -- Multi-Sub-Swarm PSO Algorithm for Multi-Modal Function Optimization -- Reliable License...”Testo
Elettronico
eBook