1
Pubblicazione 2008
Sommario: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Testo
Elettronico eBook
2
Pubblicazione 2013
Sommario: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Testo
Elettronico eBook
3
Pubblicazione 2007
Sommario: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Testo
Elettronico eBook
4
Sommario: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
Testo
Elettronico eBook
5
Pubblicazione 2011
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
6
Sommario: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
Testo
Elettronico eBook
7
Pubblicazione 2007
Sommario: ... Models and Orthomax Rotations -- A Fully 3D System for Cardiac Wall Deformation Analysis in MRI Data...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ... Ratio and Parallel Imaging -- Special Applications of Parallel Imaging -- Parallel-Imaging...
Testo
Elettronico eBook
9
Pubblicazione 2005
Sommario: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
Testo
Elettronico eBook
10
Pubblicazione 2006
Sommario: ... Problems for Parabolic Systems -- Applications -- Parallel Simulations of Phase Transitions in Disordered...
Testo
Elettronico eBook
11
di Levitin, Gregory., Levitin, Gregory.
Pubblicazione 2005
Sommario: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
Testo
Elettronico eBook
12
Pubblicazione 2012
Soggetti: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
13
Pubblicazione 2007
Sommario: ... System for Parallel Execution of Fragmented Subroutines -- Application of Simulation Approaches...
Testo
Elettronico eBook
14
Pubblicazione 2010
Sommario: ... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...
Testo
Elettronico eBook
15
Pubblicazione 2005
Sommario: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
Testo
Elettronico eBook
16
Pubblicazione 2010
Sommario: ... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...
Testo
Elettronico eBook
17
Pubblicazione 2010
Sommario: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
Testo
Elettronico eBook
18
Pubblicazione 2014
Sommario: ... the Perspective of Loss Function -- Rating Propagation in Web Services Reputation Systems: A Fast Shapley Value...
Testo
Elettronico eBook
19
Pubblicazione 2014
Sommario: ... the Perspective of Loss Function -- Rating Propagation in Web Services Reputation Systems: A Fast Shapley Value...
Testo
Elettronico eBook
20
Pubblicazione 2006
Sommario: ... Queries over Conceptual Schemata -- Data Tables with Similarity Relations: Functional Dependencies...
Testo
Elettronico eBook