1
Publicado em 2010
Sumário: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2007
Sumário: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2008
Sumário: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2015
Sumário: ... in a Decision Making Problem by Preference Relation -- RBHR: Region-Based Hybrid Routing Protocol...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2014
Sumário: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2005
Sumário: ... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2015
Sumário: ...-Coordinated Parallel Coordinates (GCPC): A Case Study of Environmental Data Analysis -- Generalized Shortest...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2006
Sumário: ... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2008
Sumário: ... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2015
Sumário: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2005
Sumário: ... on the Joint Linear Complexity Profile of Multisequences -- Period of Streamcipher Edon80 -- Boolean Function...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2015
Sumário: ... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ... on Constrained Minimum Enclosing Circle Problem -- Searching for an Axis-Parallel Shoreline -- Bounded Length, 2...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2014
Sumário: ... Criterion for the Fast Detection of Functional Modules in Protein Interaction Networks....
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2013
Sumário: ... Extraction from Remotely Sensed Images -- Partial Near-Duplicate Detection in Random Images by a Combination...
Obter o texto integral
Recurso Electrónico livro electrónico