Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel mathematical » particles mathematical, parameter mathematical, parties mathematical
programming function » programming functional, programming functionals, programme function
function java » function jane, function jason, function james
https » http
parallel mathematical » particles mathematical, parameter mathematical, parties mathematical
programming function » programming functional, programming functionals, programme function
function java » function jane, function jason, function james
https » http
1
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
9
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
10
Published 2008
Table of Contents:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook