1
Publicado 2014
Tabla de Contenidos: ... Computational Intelligence -- Modeling Heavy-tails in Traffic Sources for Network Performance Evaluation...
Enlace del recurso
Electrónico eBook
2
3
Publicado 2005
Tabla de Contenidos: ...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...
Enlace del recurso
Electrónico eBook
4
Publicado 2005
Tabla de Contenidos: ... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...
Enlace del recurso
Electrónico eBook
5
Publicado 2007
Tabla de Contenidos: ... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...
Enlace del recurso
Electrónico eBook
6
Publicado 2006
Tabla de Contenidos: ... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...
Enlace del recurso
Electrónico eBook
7
Publicado 2005
Tabla de Contenidos: ... Distribution of Tasks on a Commodity Grid -- Modeling Execution Time of Selected Computation and Communication...
Enlace del recurso
Electrónico eBook
8
Publicado 2012
Tabla de Contenidos: ... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...
Enlace del recurso
Electrónico eBook
9
Publicado 2005
Tabla de Contenidos: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
Enlace del recurso
Electrónico eBook
10
Publicado 2007
Tabla de Contenidos: ... with Multidimensional Arrays -- A New Memory Slowdown Model for the Characterization of Computing Systems -- SCRF – A...
Enlace del recurso
Electrónico eBook
11
Publicado 2005
Tabla de Contenidos: ...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...
Enlace del recurso
Electrónico eBook
12
Publicado 2014
Tabla de Contenidos: ... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...
Enlace del recurso
Electrónico eBook
13
Publicado 2010
Tabla de Contenidos: ... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...
Enlace del recurso
Electrónico eBook
14
Publicado 2008
Tabla de Contenidos: ... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...
Enlace del recurso
Electrónico eBook
15
Publicado 2005
Tabla de Contenidos: ... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...
Enlace del recurso
Electrónico eBook
16
Publicado 2005
Tabla de Contenidos: ... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...
Enlace del recurso
Electrónico eBook
17
Publicado 2010
Tabla de Contenidos: ... and Preferred Solution Methodologies -- A Relation-Based Model for Convergence Analysis of Evolutionary...
Enlace del recurso
Electrónico eBook
18
Publicado 2010
Tabla de Contenidos: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Enlace del recurso
Electrónico eBook
19
Publicado 2010
Tabla de Contenidos: ... Service Model Based on Workflows for u-Agriculture -- A History-Based Scheduler for Dynamic Load Balancing...
Enlace del recurso
Electrónico eBook
20
Publicado 2005
Tabla de Contenidos: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
Enlace del recurso
Electrónico eBook