1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
View full text
Electronic eBook
4
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Data Size on Massively Parallel GPGPUs -- Benchmark Study of a 3d Parallel Code for the Propagation...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Languages -- Reverse Code Generation for Parallel Discrete Event Simulation -- Towards a Domain-Specific...
View full text
Electronic eBook
8
Table of Contents: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
View full text
Electronic eBook
9
Table of Contents: ... -- Regression Management -- Revision Control and Change Integration -- Debug -- Executing The Verification...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Processors and Application Parallelization -- Compilation Strategies for Reducing Code Size on a VLIW...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
View full text
Electronic eBook
13
Table of Contents: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
View full text
Electronic eBook
14
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...
View full text
Electronic eBook
17
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... Bug Reproducing Method for the Debugging of Component-Based Parallel Discrete Event Simulation...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
20
Published 2006
Subjects: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
View full text
Electronic eBook