Søgeresultater - parallel function program functionality equations https*

Søg alternativer:
functionality equations » functional equations , functionality evaluation , functional equation
program functionality » protein functionality , programs functional , supra functionality
parallel function » parallel functional , parallel auction , parallel union
function program » functional program , functions programs , functional programs
equations https » relations https

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Udgivet 2005

Indholdsfortegnelse: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Få fuldtekst

Electronisk eBog

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Få fuldtekst

Electronisk eBog

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Udgivet 2006

Indholdsfortegnelse: “...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”
Få fuldtekst

Electronisk eBog

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Udgivet 2010

Indholdsfortegnelse: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Få fuldtekst

Electronisk eBog

A Primer on Scientific Programming with Python

af Langtangen, Hans Petter., Langtangen, Hans Petter.
Udgivet 2011

Indholdsfortegnelse: “... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Technical Topics...”
Få fuldtekst

Electronisk eBog

A Primer on Scientific Programming with Python

af Langtangen, Hans Petter., Langtangen, Hans Petter.
Udgivet 2012

Indholdsfortegnelse: “... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...”
Få fuldtekst

Electronisk eBog

A Primer on Scientific Programming with Python

af Langtangen, Hans Petter., Langtangen, Hans Petter.
Udgivet 2014

Indholdsfortegnelse: “... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...”
Få fuldtekst

Electronisk eBog

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Få fuldtekst

Electronisk eBog

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Få fuldtekst

Electronisk eBog

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Udgivet 2005

Indholdsfortegnelse: “... Integral Equation of Prandtl’s Type -- Fourier Integral Operators and Gelfand-Shilov Spaces -- Strongly...”
Få fuldtekst

Electronisk eBog

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...”
Få fuldtekst

Electronisk eBog

Guide to Scientific Computing in C++

af Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Udgivet 2012

Indholdsfortegnelse: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Få fuldtekst

Electronisk eBog

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Få fuldtekst

Electronisk eBog

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... and the Coefficient in a Parabolic Equation -- Effectiveness of the parallel implementation of the FEM for the problem...”
Få fuldtekst

Electronisk eBog

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Udgivet 2015

Indholdsfortegnelse: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Få fuldtekst

Electronisk eBog

Innovations in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Få fuldtekst

Electronisk eBog

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning