Suchergebnisse - parallel programs containing functionals function https

Andere Suchmöglichkeiten:
containing functionals » containing functional , attaining functionals , attaining fuctionals
functionals function » function function , functions functional , function dysfunction
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 /

Veröffentlicht 2013

Inhaltsangabe: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2013

Inhaltsangabe: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Volltext

Elektronisch E-Book

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Veröffentlicht 2006

Inhaltsangabe: “...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”
Volltext

Elektronisch E-Book

New Horizons of Parallel and Distributed Computing

Veröffentlicht 2005

Inhaltsangabe: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Volltext

Elektronisch E-Book

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

von Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Veröffentlicht 2006

Inhaltsangabe: “... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2013

Inhaltsangabe: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Volltext

Elektronisch E-Book

A Primer on Scientific Programming with Python

von Langtangen, Hans Petter., Langtangen, Hans Petter.
Veröffentlicht 2014

Inhaltsangabe: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Volltext

Elektronisch E-Book

Software Engineering 1 Abstraction and Modelling /

von Bjørner, Dines., Bjørner, Dines.
Veröffentlicht 2006

Inhaltsangabe: “...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Volltext

Elektronisch E-Book

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 /

Veröffentlicht 2006

Inhaltsangabe: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Volltext

Elektronisch E-Book

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

von Sharan, Kishori., Sharan, Kishori.
Veröffentlicht 2014

Schlagworte: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2015

Inhaltsangabe: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2015

Inhaltsangabe: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

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

Elektronisch E-Book

Suche einschränken