Risultati della ricerca - parallel programs 14 functionality function https

1

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

Pubblicazione 2013

Sommario: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Testo

Elettronico eBook

2

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

Pubblicazione 2006

Sommario: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Testo

Elettronico eBook

3

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

Pubblicazione 2013

Sommario: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Testo

Elettronico eBook

4

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

Pubblicazione 2013

Sommario: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Testo

Elettronico eBook

5

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

Pubblicazione 2008

Sommario: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Testo

Elettronico eBook

6

A Primer on Scientific Programming with Python

di Langtangen, Hans Petter., Langtangen, Hans Petter.
Pubblicazione 2014

Sommario: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Testo

Elettronico eBook

7

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

Pubblicazione 2015

Sommario: “... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”
Testo

Elettronico eBook

8

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

Pubblicazione 2006

Sommario: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Testo

Elettronico 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 /

Pubblicazione 2014

Sommario: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Testo

Elettronico eBook

10

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

Pubblicazione 2014

Soggetti: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Testo

Elettronico 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...

Pubblicazione 2010

Sommario: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Testo

Elettronico eBook

12

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

Pubblicazione 2006

Sommario: “... to Algebraic Attacks on Stream Ciphers -- On the Non-linearity and Sparsity of Boolean Functions Related...”
Testo

Elettronico eBook

13

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

Pubblicazione 2007

Sommario: “... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...”
Testo

Elettronico 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 /

Pubblicazione 2005

Sommario: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Testo

Elettronico eBook

15

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

Pubblicazione 2010

Sommario: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Testo

Elettronico eBook

16

C++ Recipes A Problem-Solution Approach /

di Sutherland, Bruce., Sutherland, Bruce.
Pubblicazione 2015

Soggetti: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testo

Elettronico eBook

17

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

Pubblicazione 2005

Sommario: “... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...”
Testo

Elettronico 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 /

Pubblicazione 2012

Sommario: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Testo

Elettronico eBook

19

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

Pubblicazione 2010

Sommario: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Testo

Elettronico eBook

20

Distributed Algorithms for Message-Passing Systems

di Raynal, Michel., Raynal, Michel.
Pubblicazione 2013

Sommario: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Testo

Elettronico eBook

Restringi la ricerca