Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
a functionals » a functional, _ functionals, 3 functionals
java a » java _
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
a functionals » a functional, _ functionals, 3 functionals
java a » java _
1
Published 2013
Table of Contents:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why 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 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
4
Subjects:
“...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
View full text
View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”View full text
Electronic
eBook
6
Subjects:
“...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... -- RT-OSGi: Integrating the OSGi Framework with the Real-time Specifications for Java -- JavaES, a...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Support Vector Machines...”View full text
Electronic
eBook
11
by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010
Table of Contents:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Published 2010
View full text
Electronic
eBook
12
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
13
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
14
Published 2013
Table of Contents:
“... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...”View full text
Electronic
eBook
17
Table of Contents:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
View full text
View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... of Embedded Control Software -- Reflection Analysis for Java -- Lightweight Family Polymorphism -- A Portable...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”View full text
Electronic
eBook