1
Publicat 2010
Taula de continguts: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Obtenir text complet
Electrònic eBook
2
Taula de continguts: ...Basic Building Blocks -- Architecture of Digital Circuits -- Special Topics of Data Path Synthesis...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... in Quadratic Time -- The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity...
Obtenir text complet
Electrònic eBook
4
Taula de continguts: ...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...
Obtenir text complet
Electrònic eBook
7
Publicat 2007
Taula de continguts: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... for Task Parallelism and Data Movement -- OSCAR API for Real-Time Low-Power Multicores and Its Performance...
Obtenir text complet
Electrònic eBook
9
Publicat 2010
Taula de continguts: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Obtenir text complet
Electrònic eBook
11
Publicat 2010
Taula de continguts: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... for Solving Parametric Linear Systems Whose Input Data Are Rational Functions of Interval Parameters -- Direct...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Obtenir text complet
Electrònic eBook
15
Publicat 2011
Taula de continguts: ... -- Automation Tools Supporting the Development of Information Standards for Complex Systems -- Use of Structured...
Obtenir text complet
Electrònic eBook
16
Publicat 2015
Taula de continguts: ... Tournaments in Evolutionary Algorithm For CAD of Complex Systems with Higher Degree of Dependability...
Obtenir text complet
Electrònic eBook
17
Publicat 2008
Taula de continguts: ... Techniques for Data Mining -- On the Stochastic Geometry of Birth-and-Growth Processes. Application...
Obtenir text complet
Electrònic eBook
18
Publicat 2014
Taula de continguts: ...Malware Phylogenetics Based on the Multiview Graphical Lasso -- Modeling stationary data by a class...
Obtenir text complet
Electrònic eBook
19
Publicat 2013
Taula de continguts: ... -- Exploratory Data Analysis through the Inspection of the Probability Density Function of the Number...
Obtenir text complet
Electrònic eBook
20
Publicat 2012
Taula de continguts: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
Obtenir text complet
Electrònic eBook