Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionality function » functionals function, functionaries function, functional functions
parallel computers » parallel computing
tool functionality » cell functionality, cova functionality, drop functionality
computers tool » computers tools, computer tool, computer tools
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
parallel computers » parallel computing
tool functionality » cell functionality, cova functionality, drop functionality
computers tool » computers tools, computer tool, computer tools
function https » functions https, fiction https
1
Publicat 2006
Taula de continguts:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”Obtenir text complet
Electrònic
eBook
3
Publicat 2006
Taula de continguts:
“... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”Obtenir text complet
Electrònic
eBook
4
Publicat 2012
Taula de continguts:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Obtenir text complet
Electrònic
eBook
5
Taula de continguts:
“...Preface -- 1. Getting Acquainted -- 2. Complex Functions -- 3. Analytic Functions -- 4. Complex...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
6
per Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Publicat 2012
Taula de continguts:
“... -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Floating Point Arithmetic...”Publicat 2012
Obtenir text complet
Electrònic
eBook
7
Taula de continguts:
“...Basic Tools and Techniques -- The Universal Generating Function in Reliability Analysis of Binary...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Obtenir text complet
Electrònic
eBook
9
Publicat 2008
Taula de continguts:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“... Implementations on FPGA -- Comparison of Bit Serial Computation with Bit Parallel Computation for Reconfigurable...”Obtenir text complet
Electrònic
eBook
11
Taula de continguts:
“...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
12
Taula de continguts:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...”Obtenir text complet
Electrònic
eBook
15
Publicat 2015
Taula de continguts:
“... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”Obtenir text complet
Electrònic
eBook
16
Publicat 2010
Taula de continguts:
“... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...”Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...”Obtenir text complet
Electrònic
eBook
20
Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments 15th...
Publicat 2013
Taula de continguts:
“... in Smart Environments -- Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi...”Obtenir text complet
Electrònic
eBook