Search Results - parallel containers program functionals function https

Search alternatives:
functionals function » function function , functions functional , function dysfunction
parallel containers » parallel contours
program functionals » programs functional , program functionality , problem functionals
containers program » constraints program , centers program , continuous program
function https » functions https , fiction https

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

Published 2013

Table of Contents: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
View full text

Electronic eBook

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Published 2006

Table of Contents: “...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”
View full text

Electronic eBook

New Horizons of Parallel and Distributed Computing

Published 2005

Table of Contents: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
View full text

Electronic eBook

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

Published 2014

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

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

by Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Published 2006

Table of Contents: “... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
View full text

Electronic eBook

A Primer on Scientific Programming with Python

by Langtangen, Hans Petter., Langtangen, Hans Petter.
Published 2014

Table of Contents: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
View full text

Electronic eBook

Software Engineering 1 Abstraction and Modelling /

by Bjørner, Dines., Bjørner, Dines.
Published 2006

Table of Contents: “...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
View full text

Electronic eBook

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 /

Published 2006

Table of Contents: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
View full text

Electronic eBook

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

by Sharan, Kishori., Sharan, Kishori.
Published 2014

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

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

Published 2015

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

Narrow Search