1
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
4
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
6
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... of Interests -- Publishing Math Lecture Notes as Linked Data -- GoNTogle: A Tool for Semantic Annotation...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
View full text
Electronic eBook