Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
programs function » programs functional, programme function, programs fiction
volume programs » value programs, rogue programs, evolve programs
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
programs function » programs functional, programme function, programs fiction
volume programs » value programs, rogue programs, evolve programs
function https » functions https, fiction https
1
Published 2015
Table of Contents:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
7
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
9
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
10
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
12
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Optimization for the Se-ries-Parallel Redundancy Allocation Problem -- Impact of the length of optical flow...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... -- Optimization of Livestock Feed by Blend of Linear Programming and SOMGA -- Earthquake Data Sorting with Minimum...”View full text
Electronic
eBook
16
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...”Published 2012
View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”View full text
Electronic
eBook
18
Table of Contents:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
View full text
View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
20
Table of Contents:
“... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....”
View full text
View full text
Electronic
eBook