1
Опубликовано 2007
Оглавление: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2005
Оглавление: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2006
Оглавление: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2010
Оглавление: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2015
Оглавление: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2006
Оглавление: ... for Some Organic Crystals -- On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2008
Оглавление: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2010
Оглавление: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2005
Оглавление: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2005
Оглавление: ... Cycles for Topologically Embedded Graphs -- Delineating Boundaries for Imprecise Regions -- Exacus...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2008
Оглавление: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2010
Оглавление: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2014
Оглавление: ... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2010
Оглавление: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2008
Оглавление: ... of Regions and Function-to-Region Mapping for Scratchpad Memories -- An Utilization Driven Framework...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2007
Оглавление: ... Identification in the Wall Region of Turbulent Channel Flow -- Numerical Solution of a Two-Class LWR Traffic Flow...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2007
Оглавление: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2012
Оглавление: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2006
Оглавление: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2007
Оглавление: ... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...
Полный текст
Электронный ресурс eКнига