1
Gepubliceerd in 2012
Inhoudsopgave: ... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2006
Inhoudsopgave: ... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...
Volledige tekst
Elektronisch E-boek
3
Inhoudsopgave: ... -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Floating Point Arithmetic...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2007
Inhoudsopgave: ... to Sensor Acquired Information -- Parallel Broadband Finite Element Time Domain Algorithm Implemented...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2010
Inhoudsopgave: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2008
Inhoudsopgave: ... Structure of 64-Bit Exponential Function Implemented in FPGAs -- A Framework for the Automatic Generation...
Volledige tekst
Elektronisch E-boek
7
door Applebaum, Benny., Applebaum, Benny.
Gepubliceerd in 2014
Inhoudsopgave: ...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2008
Inhoudsopgave: ... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2005
Inhoudsopgave: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2005
Inhoudsopgave: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2010
Inhoudsopgave: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2010
Inhoudsopgave: ... Implementation of the Orbital Function for Quantum Chemistry Calculations -- Reconfigurable Polyphase Filter Bank...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2006
Onderwerpen: ...Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2013
Inhoudsopgave: ... Evaluation of Mobile Web Applications -- Design and Implementation of ErgoIdentifier: A Tool for Automated...
Volledige tekst
Elektronisch E-boek
15
Onderwerpen: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2010
Inhoudsopgave: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2006
Inhoudsopgave: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2007
Inhoudsopgave: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2008
Inhoudsopgave: ... Systems -- Streaming Systems in FPGAs -- Heterogeneous Design in Functional DIF -- Tool Integration...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2007
Inhoudsopgave: ... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...
Volledige tekst
Elektronisch E-boek