Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programs functionality » programs functional, properties functionality, protein functionality
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
programs functionality » programs functional, properties functionality, protein functionality
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
1
Argitaratua 2013
Aurkibidea:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”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
4
Argitaratua 2005
Aurkibidea:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2010
Aurkibidea:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2006
Aurkibidea:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Testu osoa
Baliabide elektronikoa
eBook
7
8
Argitaratua 2014
Aurkibidea:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2013
Aurkibidea:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2005
Aurkibidea:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2010
Aurkibidea:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2005
Aurkibidea:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Testu osoa
Baliabide elektronikoa
eBook
14
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
15
Gaiak:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2012
Aurkibidea:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2013
Aurkibidea:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2014
Aurkibidea:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Testu osoa
Baliabide elektronikoa
eBook
19
Aurkibidea:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2008
Aurkibidea:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- Hurrengoa »
- [2]