Rezultati - parallel explicit programs functionals function https

Poišči alternative:
programs functionals » programs functional , programming functionals , program functionality
functionals function » function function , functions functional , function dysfunction
parallel explicit » parallel exploring , parallel exact
explicit programs » explicit problems , explicite diagrams , explicit forms
function https » functions https , fiction https

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

Izdano 2007

Kazalo: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Polni tekst

Elektronski eKnjiga

Modern Compiler Design

od Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Izdano 2012

Kazalo: “... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2015

Kazalo: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2014

Kazalo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Polni tekst

Elektronski eKnjiga

COMPSTAT 2008 Proceedings in Computational Statistics /

Izdano 2008

Kazalo: “... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Polni tekst

Elektronski eKnjiga

A Singular Introduction to Commutative Algebra

od Greuel, Gert-Martin., Greuel, Gert-Martin., Pfister, Gerhard.
Izdano 2008

Kazalo: “... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... in Subquadratic Time -- Non-approximability of the Randomness Deficiency Function -- Multi-agent Explicit...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2012

Kazalo: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... Explicit Pareto Ranking -- Parallelization of Multi-objective Evolutionary Algorithms Using Clustering...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje