1
Publicado 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Ligazón do recurso
Electrónico eBook
2
Publicado 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Ligazón do recurso
Electrónico eBook
3
por Freeman, Adam., Freeman, Adam.
Publicado 2010
Table of Contents: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
Ligazón do recurso
Electrónico eBook
5
Publicado 2008
Table of Contents: ... Data Size on Massively Parallel GPGPUs -- Benchmark Study of a 3d Parallel Code for the Propagation...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ... Feature Selection -- Collection and Analysis of Data for Evaluation of Concatenation Cost Functions...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...
Ligazón do recurso
Electrónico eBook
8
Publicado 2006
Table of Contents: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
Ligazón do recurso
Electrónico eBook
9
Table of Contents: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Ligazón do recurso
Electrónico eBook
10
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Ligazón do recurso
Electrónico eBook
11
Table of Contents: ...Jython Basics: Learning the Language -- Language and Syntax -- Data Types and Referencing...
Ligazón do recurso
Electrónico eBook
12
Subjects: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
Ligazón do recurso
Electrónico eBook
13
Publicado 2006
Subjects: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ..., and the Social Web: The Live Social Semantics Experiments -- Web of Data Track -- LESS - Template-Based...
Ligazón do recurso
Electrónico eBook
15
Publicado 2012
Table of Contents: ... Bug Reproducing Method for the Debugging of Component-Based Parallel Discrete Event Simulation...
Ligazón do recurso
Electrónico eBook
16
Publicado 2008
Table of Contents: ... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...
Ligazón do recurso
Electrónico eBook
17
Publicado 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Ligazón do recurso
Electrónico eBook
18
Publicado 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Ligazón do recurso
Electrónico eBook
19
Table of Contents: ... -- Regression Management -- Revision Control and Change Integration -- Debug -- Executing The Verification...
Ligazón do recurso
Electrónico eBook