Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functionality function » functionals function, functionaries function, functional functions
a functionality » _ functionality, 2 functionality, 5 functionality
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java a » java _
functionality function » functionals function, functionaries function, functional functions
a functionality » _ functionality, 2 functionality, 5 functionality
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java a » java _
1
Argitaratua 2013
Aurkibidea:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2013
Aurkibidea:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Testu osoa
Baliabide elektronikoa
eBook
4
Gaiak:
“...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2006
Aurkibidea:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Testu osoa
Baliabide elektronikoa
eBook
6
Gaiak:
“...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2012
Aurkibidea:
“... -- RT-OSGi: Integrating the OSGi Framework with the Real-time Specifications for Java -- JavaES, a...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2005
Aurkibidea:
“... -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Support Vector Machines...”Testu osoa
Baliabide elektronikoa
eBook
11
nork Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Argitaratua 2010
Aurkibidea:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Argitaratua 2010
Testu osoa
Baliabide elektronikoa
eBook
12
Gaiak:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2014
Aurkibidea:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2013
Aurkibidea:
“... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2013
Aurkibidea:
“... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2015
Aurkibidea:
“... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...”Testu osoa
Baliabide elektronikoa
eBook
17
Aurkibidea:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2005
Aurkibidea:
“... of Embedded Control Software -- Reflection Analysis for Java -- Lightweight Family Polymorphism -- A Portable...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2006
Aurkibidea:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- Hurrengoa »
- [3]