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