1
Publicado 2007
Tabla de Contenidos: ... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...
Enlace del recurso
Electrónico eBook
2
Publicado 2006
Tabla de Contenidos: ... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...
Enlace del recurso
Electrónico eBook
3
Publicado 2006
Tabla de Contenidos: ... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...
Enlace del recurso
Electrónico eBook
4
Publicado 2007
Tabla de Contenidos: ... Support Based on Influence Diagrams with Rough Sets -- Object Class Recognition Using SNoW with a Part...
Enlace del recurso
Electrónico eBook
5
Publicado 2014
Tabla de Contenidos: ... Climbing Memetic Algorithm -- Using base position errors in an entropy-based evaluation function...
Enlace del recurso
Electrónico eBook
6
Tabla de Contenidos: ... Examples.-Whole Array and Additional Array Features -- Output of Results.-Reading in data.-Files.-Functions...
Enlace del recurso
Electrónico eBook
7
Publicado 2013
Tabla de Contenidos: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ... Record Detection Using q-Grams Array Inverted Index -- Modelling Complex Data by Learning Which Variable...
Enlace del recurso
Electrónico eBook
9
Publicado 2015
Tabla de Contenidos: ... -- Symbolic Model-Checking Using ITS-Tools -- Semantic Importance Sampling for Statistical Model Checking...
Enlace del recurso
Electrónico eBook
10
Publicado 2015
Tabla de Contenidos: ... -- An Innovative Framework for Personalized Health and Wellness Support -- An Ontology for Dynamic Sensor Selection...
Enlace del recurso
Electrónico eBook
11
Publicado 2010
Tabla de Contenidos: ... Technique for Medical Diagnosis Using a New Smooth Support Vector Machine -- Rule Induction as a Technique...
Enlace del recurso
Electrónico eBook
12
Publicado 2006
Tabla de Contenidos: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
Enlace del recurso
Electrónico eBook
13
Publicado 2010
Tabla de Contenidos: ... Supporting Conjunctive Queries on Document Collections -- String Retrieval for Multi-pattern Queries...
Enlace del recurso
Electrónico eBook
14
Publicado 2005
Tabla de Contenidos: ... Class of Pareto Archived Evolution Strategy Algorithms Using Immune Inspired Operators for Ab-Initio...
Enlace del recurso
Electrónico eBook
15
Publicado 2011
Tabla de Contenidos: ... on The Degradation of MOV Used in Multiplate Paralleling -- A Kind of Integrated Resource Scheduling Framework...
Enlace del recurso
Electrónico eBook
16
Publicado 2006
Tabla de Contenidos: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Enlace del recurso
Electrónico eBook
17
Tabla de Contenidos: ... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...
Enlace del recurso
Electrónico eBook
18
Publicado 2014
Tabla de Contenidos: ...-borne Phased Array Radar --  A Second-order Algorithm for Curve Parallel Projection on Parametric...
Enlace del recurso
Electrónico eBook
19
Publicado 2014
Tabla de Contenidos: ... Automata -- Calculation of Bridge Function and Thermodynamic Properties of Lennard-Jones Fluid using...
Enlace del recurso
Electrónico eBook
20
Tabla de Contenidos: ...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...
Enlace del recurso
Electrónico eBook