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