1
Publicado 2010
Tabla de Contenidos: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Enlace del recurso
Electrónico eBook
3
Publicado 2005
Tabla de Contenidos: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Enlace del recurso
Electrónico eBook
4
Publicado 2005
Tabla de Contenidos: ... Implementation for Distributed Signal Processing -- A Parallel Exponential Integrator for Large-Scale...
Enlace del recurso
Electrónico eBook
5
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
6
Publicado 2005
Tabla de Contenidos: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Enlace del recurso
Electrónico eBook
7
Publicado 2005
Tabla de Contenidos: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Enlace del recurso
Electrónico eBook
9
Publicado 2010
Tabla de Contenidos: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
Enlace del recurso
Electrónico eBook
10
Publicado 2007
Tabla de Contenidos: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
Enlace del recurso
Electrónico eBook
11
Publicado 2015
Tabla de Contenidos: ... -- Optimization of Livestock Feed by Blend of Linear Programming and SOMGA -- Earthquake Data Sorting with Minimum...
Enlace del recurso
Electrónico eBook
12
Publicado 2015
Tabla de Contenidos: ... Environment -- 4. Enhanced Security Framework for Data Integrity Using Third-Party Auditing in the Cloud...
Enlace del recurso
Electrónico eBook
13
Publicado 2006
Tabla de Contenidos: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Enlace del recurso
Electrónico eBook
14
Publicado 2013
Tabla de Contenidos: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Enlace del recurso
Electrónico eBook
15
Publicado 2014
Tabla de Contenidos: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...
Enlace del recurso
Electrónico eBook
17
Publicado 2013
Tabla de Contenidos: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
Enlace del recurso
Electrónico eBook
18
Publicado 2005
Tabla de Contenidos: ... Processes for Real Functions and Ill-posed Toeplitz Problems -- Minimal State-space Realization for a Class...
Enlace del recurso
Electrónico eBook
19
Publicado 2008
Tabla de Contenidos: ... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...
Enlace del recurso
Electrónico eBook
20
Publicado 2008
Tabla de Contenidos: ... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...
Enlace del recurso
Electrónico eBook