1
Publicado 2007
Tabla de Contenidos: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Enlace del recurso
Electrónico eBook
3
Publicado 2006
Tabla de Contenidos: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Enlace del recurso
Electrónico eBook
4
Publicado 2010
Tabla de Contenidos: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
Enlace del recurso
Electrónico eBook
5
Publicado 2015
Tabla de Contenidos: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Enlace del recurso
Electrónico eBook
6
Publicado 2006
Tabla de Contenidos: ... for Some Organic Crystals -- On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions...
Enlace del recurso
Electrónico eBook
7
Publicado 2008
Tabla de Contenidos: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Enlace del recurso
Electrónico eBook
9
Publicado 2005
Tabla de Contenidos: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Enlace del recurso
Electrónico eBook
10
Publicado 2008
Tabla de Contenidos: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
Enlace del recurso
Electrónico eBook
11
Publicado 2005
Tabla de Contenidos: ... Cycles for Topologically Embedded Graphs -- Delineating Boundaries for Imprecise Regions -- Exacus...
Enlace del recurso
Electrónico eBook
12
Publicado 2010
Tabla de Contenidos: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Enlace del recurso
Electrónico eBook
13
Publicado 2023
Tabla de Contenidos: ... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...
Open Access Book. Read online
Electrónico eBook
14
Publicado 2014
Tabla de Contenidos: ... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...
Enlace del recurso
Electrónico eBook
15
Publicado 2008
Tabla de Contenidos: ... of Regions and Function-to-Region Mapping for Scratchpad Memories -- An Utilization Driven Framework...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Enlace del recurso
Electrónico eBook
17
Publicado 2007
Tabla de Contenidos: ... Identification in the Wall Region of Turbulent Channel Flow -- Numerical Solution of a Two-Class LWR Traffic Flow...
Enlace del recurso
Electrónico eBook
18
Publicado 2007
Tabla de Contenidos: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Enlace del recurso
Electrónico eBook
19
Publicado 2012
Tabla de Contenidos: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
Enlace del recurso
Electrónico eBook
20
Publicado 2006
Tabla de Contenidos: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Enlace del recurso
Electrónico eBook