Rezultaty - parallel branch function function function https

1

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

Wydane 2005

Spis treści: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Wydane 2006

Spis treści: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

An Introduction to Enumeration

od Camina, Alan., Camina, Alan., Lewis, Barry.
Wydane 2011

Spis treści: “...What Is Enumeration? -- Generating Functions Count -- Working with Generating Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Nature Inspired Cooperative Strategies for Optimization (NICSO 2013) Learning, Optimization and Interdisciplinary Applications /

Wydane 2014

Spis treści: “... Climbing Memetic Algorithm -- Using base position errors in an entropy-based evaluation function...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Wydane 2006

Spis treści: “... of the Gfan Software -- Parallel Homotopy Algorithms to Solve Polynomial Systems -- DEpthLAUNAY -- iB4e: A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

A Primer on Scientific Programming with Python

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2011

Spis treści: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

A Primer on Scientific Programming with Python

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2012

Spis treści: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Wydane 2006

Spis treści: “... Functions for Large FPGAs -- Using Branch Prediction Information for Near-Optimal I-Cache Leakage...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

Wydane 2005

Spis treści: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /

Wydane 2006

Spis treści: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

A Primer on Scientific Programming with Python

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2014

Spis treści: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Wydane 2008

Spis treści: “... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Wydane 2008

Spis treści: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Wydane 2007

Spis treści: “... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Wydane 2013

Spis treści: “... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Wydane 2005

Spis treści: “... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Wydane 2008

Spis treści: “... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Wydane 2015

Spis treści: “... Functions -- Stateless Model Checking for TSO and PSO -- GPU Accelerated Strong and Branching Bisimilarity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty