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