Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
implementation tool » implementation tools, implementation theory, implementation among
tool functionality » cell functionality, cova functionality, drop functionality
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
implementation tool » implementation tools, implementation theory, implementation among
tool functionality » cell functionality, cova functionality, drop functionality
function https » functions https, fiction https
1
Published 2012
Table of Contents:
“... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”View full text
Electronic
eBook
3
by Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Published 2012
Table of Contents:
“... -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Floating Point Arithmetic...”Published 2012
View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... to Sensor Acquired Information -- Parallel Broadband Finite Element Time Domain Algorithm Implemented...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Structure of 64-Bit Exponential Function Implemented in FPGAs -- A Framework for the Automatic Generation...”View full text
Electronic
eBook
7
Table of Contents:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
View full text
View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Implementation of the Orbital Function for Quantum Chemistry Calculations -- Reconfigurable Polyphase Filter Bank...”View full text
Electronic
eBook
13
Published 2006
Subjects:
“...Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes...”View full text
Electronic
eBook
14
Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments 15th...
Published 2013
Table of Contents:
“... Evaluation of Mobile Web Applications -- Design and Implementation of ErgoIdentifier: A Tool for Automated...”View full text
Electronic
eBook
15
by Canuto, Claudio., Canuto, Claudio., Hussaini, M. Yousuff., Quarteroni, Alfio., Zang, Thomas A.
Published 2007
Subjects:
“...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”Published 2007
View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Systems -- Streaming Systems in FPGAs -- Heterogeneous Design in Functional DIF -- Tool Integration...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...”View full text
Electronic
eBook