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
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
4
Published 2010
Table of Contents: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Functional Unit -- A High Performance Simulator System for a Multiprocessor System Based on a Multi-way...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...The Need for Standards -- Programmable Platform Characterization for System Level Performance...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Ontological Structure from Folksonomy -- Debugging the Missing Is-A Structure of Networked Ontologies...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ...: Parallel Sensor Network Simulator -- A Study on Measurements System for Evaluating DA-C2’s Effectiveness...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009...
View full text
Electronic eBook
12
Table of Contents: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
View full text
Electronic eBook
13
Table of Contents: ... -- Regression Management -- Revision Control and Change Integration -- Debug -- Executing The Verification...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Networks in a Parametric SIMD Parallel System on Chip -- A Dedicated Reconfigurable Architecture for Finite...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...
View full text
Electronic eBook
16
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...
View full text
Electronic eBook
18
Table of Contents: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
View full text
Electronic eBook
19
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
20
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook