Arama Sonuçları - parallel code tool functionals function https

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Tam Metin Erişim

Elektronik Ekitap

2

Visual Complex Functions An Introduction with Phase Portraits /

Yazar: Wegert, Elias., Wegert, Elias.
Baskı/Yayın Bilgisi 2012

İçindekiler: “...Preface -- 1. Getting Acquainted -- 2. Complex Functions -- 3. Analytic Functions -- 4. Complex...”
Tam Metin Erişim

Elektronik Ekitap

3

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

4

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”
Tam Metin Erişim

Elektronik Ekitap

5

Guide to FPGA Implementation of Arithmetic Functions

Yazar: Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Baskı/Yayın Bilgisi 2012

İçindekiler: “... -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Floating Point Arithmetic...”
Tam Metin Erişim

Elektronik Ekitap

6

The Universal Generating Function in Reliability Analysis and Optimization

Yazar: Levitin, Gregory., Levitin, Gregory.
Baskı/Yayın Bilgisi 2005

İçindekiler: “...Basic Tools and Techniques -- The Universal Generating Function in Reliability Analysis of Binary...”
Tam Metin Erişim

Elektronik Ekitap

7

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”
Tam Metin Erişim

Elektronik Ekitap

8

Analysis of Parallel Spike Trains

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Information Theory and Systems Neuroscience -- Population Coding -- Stochastic Models for Multivariate Neural...”
Tam Metin Erişim

Elektronik Ekitap

9

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”
Tam Metin Erişim

Elektronik Ekitap

10

Cryptography in Constant Parallel Time

Yazar: Applebaum, Benny., Applebaum, Benny.
Baskı/Yayın Bilgisi 2014

İçindekiler: “...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
Tam Metin Erişim

Elektronik Ekitap

11

New Horizons of Parallel and Distributed Computing

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”
Tam Metin Erişim

Elektronik Ekitap

12

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
Tam Metin Erişim

Elektronik Ekitap

13

Reconfigurable Computing: Architectures, Tools, and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”
Tam Metin Erişim

Elektronik Ekitap

14

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”
Tam Metin Erişim

Elektronik Ekitap

15

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Tam Metin Erişim

Elektronik Ekitap

16

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Tam Metin Erişim

Elektronik Ekitap

17

DNA Cloning and Assembly Methods

Baskı/Yayın Bilgisi 2014

İçindekiler: “...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...”
Tam Metin Erişim

Elektronik Ekitap

18

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Data Size on Massively Parallel GPGPUs -- Benchmark Study of a 3d Parallel Code for the Propagation...”
Tam Metin Erişim

Elektronik Ekitap

19

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Tam Metin Erişim

Elektronik Ekitap

20

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /

Yazar: Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
Baskı/Yayın Bilgisi 2007

İçindekiler: “...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt