1
Publicado em 2008
Sumário: ... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2015
Sumário: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2008
Sumário: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2007
Sumário: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Sumário: ...Termination of Multipartite Graph Series Arising from Complex Network Modelling -- Simple Cuts...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2013
Sumário: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2007
Sumário: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2006
Sumário: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2014
Sumário: ... Authentication Scheme Based on the Label -- A Mobile Terminal Authentication Scheme Based on Symmetric...
Obter o texto integral
Recurso Electrónico livro electrónico