Canlyniadau Chwilio - parallel programming 14 function function https

1

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Cael y testun llawn

Electronig eLyfr

3

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Cael y testun llawn

Electronig eLyfr

4

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Cael y testun llawn

Electronig eLyfr

5

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Cael y testun llawn

Electronig eLyfr

6

A Primer on Scientific Programming with Python

gan Langtangen, Hans Petter., Langtangen, Hans Petter.
Cyhoeddwyd 2014

Tabl Cynhwysion: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Cael y testun llawn

Electronig eLyfr

9

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”
Cael y testun llawn

Electronig eLyfr

10

C++ Recipes A Problem-Solution Approach /

gan Sutherland, Bruce., Sutherland, Bruce.
Cyhoeddwyd 2015

Pynciau: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... to Algebraic Attacks on Stream Ciphers -- On the Non-linearity and Sparsity of Boolean Functions Related...”
Cael y testun llawn

Electronig eLyfr

12

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 /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Cael y testun llawn

Electronig eLyfr

13

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

Cyhoeddwyd 2014

Pynciau: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Cael y testun llawn

Electronig eLyfr

14

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Cael y testun llawn

Electronig eLyfr

16

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 /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Cael y testun llawn

Electronig eLyfr

17

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...”
Cael y testun llawn

Electronig eLyfr

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 /

Cyhoeddwyd 2012

Tabl Cynhwysion: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Cael y testun llawn

Electronig eLyfr

19

Distributed Algorithms for Message-Passing Systems

gan Raynal, Michel., Raynal, Michel.
Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Cael y testun llawn

Electronig eLyfr

20

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad