1
Gepubliceerd in 2007
Inhoudsopgave: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2010
Inhoudsopgave: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2010
Inhoudsopgave: ... -- Parallel Algorithms -- Scalable Co-clustering Algorithms -- Parallel Pattern Matching with Swaps on a...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2010
Inhoudsopgave: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2006
Inhoudsopgave: ... of Error-Correcting Codes -- ID-Based Series-Parallel Multisignature Schemes for Multi-Messages from...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2015
Inhoudsopgave: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2008
Inhoudsopgave: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2010
Inhoudsopgave: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2010
Inhoudsopgave: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2015
Inhoudsopgave: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2013
Inhoudsopgave: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2010
Inhoudsopgave: ... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2013
Inhoudsopgave: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2014
Inhoudsopgave: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2008
Inhoudsopgave: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2006
Inhoudsopgave: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2010
Inhoudsopgave: ...Keynotes (Abstracts) -- High-Performance Energy-Efficient Reconfigurable Accelerators/Co-processors...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2013
Inhoudsopgave: ... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2010
Inhoudsopgave: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2014
Inhoudsopgave: ... Rule for Matrices -- What Is New in CoCoA? -- Maximizing Likelihood Function for Parameter Estimation...
Volledige tekst
Elektronisch E-boek