Search Results - parallel programs 14 function function https

1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Published 2013

Table of Contents: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
View full text

Electronic eBook

2

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Published 2006

Table of Contents: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
View full text

Electronic eBook

3

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Published 2013

Table of Contents: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
View full text

Electronic eBook

4

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Published 2013

Table of Contents: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
View full text

Electronic eBook

5

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Published 2008

Table of Contents: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
View full text

Electronic eBook

6

A Primer on Scientific Programming with Python

by Langtangen, Hans Petter., Langtangen, Hans Petter.
Published 2014

Table of Contents: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text

Electronic eBook

7

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”
View full text

Electronic eBook

8

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Published 2006

Table of Contents: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
View full text

Electronic eBook

9

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Published 2014

Table of Contents: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
View full text

Electronic eBook

10

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /

Published 2014

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

11

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1...

Published 2010

Table of Contents: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
View full text

Electronic eBook

12

Coding and Cryptography International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... to Algebraic Attacks on Stream Ciphers -- On the Non-linearity and Sparsity of Boolean Functions Related...”
View full text

Electronic eBook

13

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...”
View full text

Electronic eBook

14

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germany /

Published 2005

Table of Contents: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
View full text

Electronic eBook

15

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
View full text

Electronic eBook

16

C++ Recipes A Problem-Solution Approach /

by Sutherland, Bruce., Sutherland, Bruce.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

17

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

Published 2005

Table of Contents: “... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...”
View full text

Electronic eBook

18

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II /

Published 2012

Table of Contents: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
View full text

Electronic eBook

19

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Published 2010

Table of Contents: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
View full text

Electronic eBook

20

Distributed Algorithms for Message-Passing Systems

by Raynal, Michel., Raynal, Michel.
Published 2013

Table of Contents: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
View full text

Electronic eBook

Narrow Search