1
Veröffentlicht 2012
Inhaltsangabe: ... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2008
Inhaltsangabe: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2007
Inhaltsangabe: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2006
Inhaltsangabe: ... Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences -- With-Loop...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2013
Inhaltsangabe: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Volltext
Elektronisch E-Book
6
Schlagworte: ...Special Purpose and Application-Based Systems. https://scigraph.springernature.com/ontologies...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2007
Inhaltsangabe: ...Imaging and Image Analysis -- Local Wall-Motion Classification in Echocardiograms Using Shape...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2007
Inhaltsangabe: ... Ratio and Parallel Imaging -- Special Applications of Parallel Imaging -- Parallel-Imaging...
Volltext
Elektronisch E-Book
9
Inhaltsangabe: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
Volltext
Elektronisch E-Book
10
von Levitin, Gregory., Levitin, Gregory.
Veröffentlicht 2005
Inhaltsangabe: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2012
Schlagworte: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2005
Inhaltsangabe: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2007
Inhaltsangabe: ... of Large-Scale MPI Scientific Applications -- Study of 3D Dynamics of Gravitating Systems Using...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2013
Inhaltsangabe: ..., Marco Buck, Oleg Iliev -- Preconditioners for some matrices of two-by-two block form, with applications...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2010
Inhaltsangabe: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2010
Inhaltsangabe: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2010
Inhaltsangabe: ... Grove and Its Distributed Performance -- A Massively Parallel Hardware for Modular Exponentiations Using...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2010
Inhaltsangabe: ... Vectorization -- A Balanced Approach to Application Performance Tuning -- Automatically Tuning Parallel...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2006
Inhaltsangabe: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Volltext
Elektronisch E-Book