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

Alternativní vyhledávání:
containing functionality » containing functional , companies functionality , defining functionality
functionality function » functionals function , functionaries function , functional functions
programs containing » programs maintaining , programs combining , programs concerning
parallel programs » parallel programming
function https » functions https , fiction https

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Vydáno 2013

Obsah: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2013

Obsah: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Získat plný text

Elektronický zdroj E-kniha

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Vydáno 2010

Obsah: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Získat plný text

Elektronický zdroj E-kniha

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Vydáno 2005

Obsah: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Získat plný text

Elektronický zdroj E-kniha

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Vydáno 2006

Obsah: “...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”
Získat plný text

Elektronický zdroj E-kniha

New Horizons of Parallel and Distributed Computing

Vydáno 2005

Obsah: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Získat plný text

Elektronický zdroj E-kniha

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

Autor Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Vydáno 2006

Obsah: “... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Získat plný text

Elektronický zdroj E-kniha

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Vydáno 2014

Obsah: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
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

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Vydáno 2013

Obsah: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Získat plný text

Elektronický zdroj E-kniha

A Primer on Scientific Programming with Python

Autor Langtangen, Hans Petter., Langtangen, Hans Petter.
Vydáno 2014

Obsah: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Získat plný text

Elektronický zdroj E-kniha

Software Engineering 1 Abstraction and Modelling /

Autor Bjørner, Dines., Bjørner, Dines.
Vydáno 2006

Obsah: “...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Získat plný text

Elektronický zdroj E-kniha

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Vydáno 2006

Obsah: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Získat plný text

Elektronický zdroj E-kniha

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Vydáno 2006

Obsah: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Získat plný text

Elektronický zdroj E-kniha

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Vydáno 2007

Obsah: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Získat plný text

Elektronický zdroj E-kniha

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

Autor Sharan, Kishori., Sharan, Kishori.
Vydáno 2014

Témata: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Získat plný text

Elektronický zdroj E-kniha

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Vydáno 2015

Obsah: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
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

Upřesnit hledání