Search Results - parallel explicit programs function function https

Search alternatives:
parallel explicit » parallel exploring , parallel exact
explicit programs » explicit problems , explicite diagrams , explicit forms
programs function » programs functional , programme function , programs fiction
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

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

Published 2007

Table of Contents: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
View full text

Electronic eBook

Modern Compiler Design

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

Table of Contents: “... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
View full text

Electronic eBook

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

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

Published 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
View full text

Electronic eBook

COMPSTAT 2008 Proceedings in Computational Statistics /

Published 2008

Table of Contents: “... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
View full text

Electronic eBook

A Singular Introduction to Commutative Algebra

by Greuel, Gert-Martin., Greuel, Gert-Martin., Pfister, Gerhard.
Published 2008

Table of Contents: “... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... in Subquadratic Time -- Non-approximability of the Randomness Deficiency Function -- Multi-agent Explicit...”
View full text

Electronic eBook

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

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

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

Published 2007

Table of Contents: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Explicit Pareto Ranking -- Parallelization of Multi-objective Evolutionary Algorithms Using Clustering...”
View full text

Electronic eBook

Narrow Search