1
Publicerad 2010
Innehållsförteckning: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Hämta fulltext
Elektronisk E-bok
2
Innehållsförteckning: ....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...
Hämta fulltext
Elektronisk E-bok
3
Innehållsförteckning: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
Hämta fulltext
Elektronisk E-bok
4
Innehållsförteckning: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
Hämta fulltext
Elektronisk E-bok
5
Innehållsförteckning: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Technical Topics...
Hämta fulltext
Elektronisk E-bok
6
Innehållsförteckning: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Hämta fulltext
Elektronisk E-bok
7
Innehållsförteckning: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2013
Innehållsförteckning: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2005
Innehållsförteckning: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Hämta fulltext
Elektronisk E-bok
10
Ämnen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2007
Innehållsförteckning: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2005
Innehållsförteckning: ... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2013
Innehållsförteckning: ... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2013
Innehållsförteckning: ... -- There Are No CNF Problems -- Best Paper -- Soundness of Inprocessing in Clause Sharing SAT Solvers -- Technical...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2005
Innehållsförteckning: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2006
Innehållsförteckning: ..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2013
Innehållsförteckning: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2013
Innehållsförteckning: ...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2007
Innehållsförteckning: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2015
Innehållsförteckning: ... Constraints -- Analyzing Organization Structures and Performance through Agent-based Socio-technical Modeling...
Hämta fulltext
Elektronisk E-bok