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