Arama Sonuçları - parallel computers tools function 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

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

3

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

4

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

5

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

6

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

7

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

8

New Horizons of Parallel and Distributed Computing

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Tam Metin Erişim

Elektronik Ekitap

9

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

10

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Implementations on FPGA -- Comparison of Bit Serial Computation with Bit Parallel Computation for Reconfigurable...”
Tam Metin Erişim

Elektronik Ekitap

11

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

12

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

13

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

14

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: “... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...”
Tam Metin Erişim

Elektronik Ekitap

15

Analysis of Parallel Spike Trains

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”
Tam Metin Erişim

Elektronik Ekitap