1
Publicerad 2015
Innehållsförteckning: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2005
Innehållsförteckning: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2008
Innehållsförteckning: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Innehållsförteckning: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2013
Innehållsförteckning: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2013
Innehållsförteckning: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2010
Innehållsförteckning: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2010
Innehållsförteckning: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2010
Innehållsförteckning: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Hämta fulltext
Elektronisk E-bok
10
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
11
Ämnen: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2012
Innehållsförteckning: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2007
Innehållsförteckning: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2008
Innehållsförteckning: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2007
Innehållsförteckning: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2005
Innehållsförteckning: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2015
Innehållsförteckning: ... for Restoration of Upper-Limb Function: Introduction -- Functional Electrical Stimulation Therapy: Enabling...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2014
Innehållsförteckning: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2005
Innehållsförteckning: ... Length with Location Information to Align Monolingual Parallel Texts -- Web Search -- Effective Topic...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2012
Innehållsförteckning: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
Hämta fulltext
Elektronisk E-bok