1
Pubblicazione 2008
Sommario: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Testo
Elettronico eBook
2
Pubblicazione 2007
Sommario: ... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...
Testo
Elettronico eBook
3
di Freeman, Adam., Freeman, Adam.
Pubblicazione 2010
Sommario: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
Testo
Elettronico eBook
4
Pubblicazione 2010
Sommario: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
Testo
Elettronico eBook
5
Pubblicazione 2008
Sommario: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Testo
Elettronico eBook
6
Sommario: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Testo
Elettronico eBook
7
Pubblicazione 2013
Sommario: ... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....
Testo
Elettronico eBook
8
Sommario: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Testo
Elettronico eBook
9
Sommario: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Testo
Elettronico eBook
10
Pubblicazione 2015
Sommario: ... Microprocessor using Adiabatic CMOS and Bennett Clocking -- Improved Algorithms for Debugging Problems...
Testo
Elettronico eBook
11
Sommario: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Testo
Elettronico eBook
12
Pubblicazione 2008
Sommario: ... Power ASIP -- IIb Compiler Optimizations -- Fast Bounds Checking Using Debug Register -- Studying...
Testo
Elettronico eBook
13
di Garofalo, Raffaele., Garofalo, Raffaele.
Pubblicazione 2011
Soggetti: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
Testo
Elettronico eBook
14
Sommario: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
Testo
Elettronico eBook
15
Pubblicazione 2010
Sommario: ...Doctoral Symposium -- The Doctoral Symposium at MODELS 2009 -- Catch Me If You Can – Debugging...
Testo
Elettronico eBook
16
Pubblicazione 2010
Sommario: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Testo
Elettronico eBook
17
Pubblicazione 2012
Sommario: ... Synthesis of Human Voice Using Radial Basis Function Networks -- A Business Entity Correlation Discovery...
Testo
Elettronico eBook
18
Pubblicazione 2006
Sommario: ... Functions for Large FPGAs -- Using Branch Prediction Information for Near-Optimal I-Cache Leakage...
Testo
Elettronico eBook
19
Pubblicazione 2010
Sommario: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Testo
Elettronico eBook
20
Pubblicazione 2008
Sommario: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
Testo
Elettronico eBook