Rekommenderade teman
Rekommenderade teman
Menade du:
functionality function » functionals function, functionaries function, functional functions
systems functionality » system functionality, systems fractionality, systems functionalities
parallel debug » parallel design, parallel dbms, parallel delay
function https » functions https, fiction https
debug systems » debug system, big systems, ecg systems
functionality function » functionals function, functionaries function, functional functions
systems functionality » system functionality, systems fractionality, systems functionalities
parallel debug » parallel design, parallel dbms, parallel delay
function https » functions https, fiction https
debug systems » debug system, big systems, ecg systems
1
Publicerad 2008
Innehållsförteckning:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2007
Innehållsförteckning:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Hämta fulltext
Elektronisk
E-bok
3
Innehållsförteckning:
“... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2010
Innehållsförteckning:
“... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2008
Innehållsförteckning:
“... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2006
Innehållsförteckning:
“... Functional Unit -- A High Performance Simulator System for a Multiprocessor System Based on a Multi-way...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2007
Innehållsförteckning:
“... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2006
Innehållsförteckning:
“...The Need for Standards -- Programmable Platform Characterization for System Level Performance...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2010
Innehållsförteckning:
“... Ontological Structure from Folksonomy -- Debugging the Missing Is-A Structure of Networked Ontologies...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2010
Innehållsförteckning:
“... International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2012
Innehållsförteckning:
“...: Parallel Sensor Network Simulator -- A Study on Measurements System for Evaluating DA-C2’s Effectiveness...”Hämta fulltext
Elektronisk
E-bok
12
av Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Publicerad 2010
Innehållsförteckning:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Publicerad 2010
Hämta fulltext
Elektronisk
E-bok
13
Innehållsförteckning:
“... -- Regression Management -- Revision Control and Change Integration -- Debug -- Executing The Verification...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2010
Innehållsförteckning:
“... Networks in a Parametric SIMD Parallel System on Chip -- A Dedicated Reconfigurable Architecture for Finite...”Hämta fulltext
Elektronisk
E-bok
15
Ämnen:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2008
Innehållsförteckning:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Hämta fulltext
Elektronisk
E-bok
17
Innehållsförteckning:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
18
Innehållsförteckning:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
19
Innehållsförteckning:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
20
Innehållsförteckning:
“... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok