Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
system functionality » system functional, systems functional, protein functionality
parallel debug » parallel design, parallel dbms, parallel delay
function https » functions https, fiction https
debug system » debug systems, debit system, debugger system
functionality function » functionals function, functionaries function, functional functions
system functionality » system functional, systems functional, protein functionality
parallel debug » parallel design, parallel dbms, parallel delay
function https » functions https, fiction https
debug system » debug systems, debit system, debugger system
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
Table of Contents:
“... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....”
View full text
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
by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010
Table of Contents:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Published 2010
View full text
Electronic
eBook
13
Table of Contents:
“... -- Regression Management -- Revision Control and Change Integration -- Debug -- Executing The Verification...”
View full text
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
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
View full text
Electronic
eBook
19
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text
View full text
Electronic
eBook
20
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text
View full text
Electronic
eBook



