Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
tool functionality » cell functionality, cova functionality, drop functionality
function https » functions https, fiction https
parallel code » parallel model, parallel 3d
code tool » code tools, case tool, one tool
functionality function » functionals function, functionaries function, functional functions
tool functionality » cell functionality, cova functionality, drop functionality
function https » functions https, fiction https
parallel code » parallel model, parallel 3d
code tool » code tools, case tool, one tool
1
Published 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”View full text
Electronic
eBook
2
Table of Contents:
“...Preface -- 1. Getting Acquainted -- 2. Complex Functions -- 3. Analytic Functions -- 4. Complex...”
View full text
View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
4
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
5
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
6
Table of Contents:
“...Basic Tools and Techniques -- The Universal Generating Function in Reliability Analysis of Binary...”
View full text
View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- Information Theory and Systems Neuroscience -- Population Coding -- Stochastic Models for Multivariate Neural...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”View full text
Electronic
eBook
10
Table of Contents:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”View full text
Electronic
eBook
12
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
13
Published 2008
Table of Contents:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Data Size on Massively Parallel GPGPUs -- Benchmark Study of a 3d Parallel Code for the Propagation...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
20
Table of Contents:
“...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...”
View full text
View full text
Electronic
eBook