Výsledky vyhledávání - parallel programs explicit functionality function https

Alternativní vyhledávání:
explicit functionality » exploit functional , optical functionality , plc functionality
functionality function » functionals function , functionaries function , functional functions
parallel programs » parallel programming
programs explicit » programming explicit , programs exploiting , programs explaining
function https » functions https , fiction https

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Vydáno 2007

Obsah: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Získat plný text

Elektronický zdroj E-kniha

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Vydáno 2006

Obsah: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Získat plný text

Elektronický zdroj E-kniha

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Vydáno 2008

Obsah: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Získat plný text

Elektronický zdroj E-kniha

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Vydáno 2008

Obsah: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Získat plný text

Elektronický zdroj E-kniha

Modern Compiler Design

Autor Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Vydáno 2012

Obsah: “... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”
Získat plný text

Elektronický zdroj E-kniha

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Vydáno 2010

Obsah: “... -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution...”
Získat plný text

Elektronický zdroj E-kniha

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Vydáno 2010

Obsah: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Získat plný text

Elektronický zdroj E-kniha

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Vydáno 2010

Obsah: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2015

Obsah: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Získat plný text

Elektronický zdroj E-kniha

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Vydáno 2014

Obsah: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Získat plný text

Elektronický zdroj E-kniha

COMPSTAT 2008 Proceedings in Computational Statistics /

Vydáno 2008

Obsah: “... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...”
Získat plný text

Elektronický zdroj E-kniha

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Vydáno 2007

Obsah: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Získat plný text

Elektronický zdroj E-kniha

A Singular Introduction to Commutative Algebra

Autor Greuel, Gert-Martin., Greuel, Gert-Martin., Pfister, Gerhard.
Vydáno 2008

Obsah: “... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2006

Obsah: “... in Subquadratic Time -- Non-approximability of the Randomness Deficiency Function -- Multi-agent Explicit...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2012

Obsah: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Získat plný text

Elektronický zdroj E-kniha

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Vydáno 2007

Obsah: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Získat plný text

Elektronický zdroj E-kniha

Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings /

Vydáno 2005

Obsah: “... Explicit Pareto Ranking -- Parallelization of Multi-objective Evolutionary Algorithms Using Clustering...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání