Rekommenderade teman
Rekommenderade teman
Menade du:
function computing » education computing, generation computing
java programming » c programming
https » http
function computing » education computing, generation computing
java programming » c programming
https » http
1
2
3
Publicerad 2010
Innehållsförteckning:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2006
Innehållsförteckning:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Hämta fulltext
Elektronisk
E-bok
5
av Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Publicerad 2010
Innehållsförteckning:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Publicerad 2010
Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2013
Innehållsförteckning:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2012
Innehållsförteckning:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2005
Innehållsförteckning:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2014
Innehållsförteckning:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2005
Innehållsförteckning:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2013
Innehållsförteckning:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2013
Innehållsförteckning:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2010
Innehållsförteckning:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2010
Innehållsförteckning:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2005
Innehållsförteckning:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Hämta fulltext
Elektronisk
E-bok
16
17
Publicerad 2013
Innehållsförteckning:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2014
Innehållsförteckning:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Hämta fulltext
Elektronisk
E-bok
19
Innehållsförteckning:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2008
Innehållsförteckning:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Hämta fulltext
Elektronisk
E-bok