Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs functional » programming functional, proteins functional, processes functional
parallel java » parallel data, parallel scara, parallel a
java programs » java programming
method https » methods https
programs functional » programming functional, proteins functional, processes functional
parallel java » parallel data, parallel scara, parallel a
java programs » java programming
method https » methods https
1
af Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Udgivet 2010
Indholdsfortegnelse:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Udgivet 2010
Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Få fuldtekst
Electronisk
eBog
3
4
Udgivet 2010
Indholdsfortegnelse:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2005
Indholdsfortegnelse:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2014
Indholdsfortegnelse:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2015
Indholdsfortegnelse:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2008
Indholdsfortegnelse:
“... Visually Interpretable Models with GUIDE -- Structural Adaptive Smoothing by Propagation–Separation Methods...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2010
Indholdsfortegnelse:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2014
Indholdsfortegnelse:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“... Method to Get a Municipality Event Information -- Design and Implementation of Adaptive Inter-platform...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2006
Indholdsfortegnelse:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2005
Indholdsfortegnelse:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2013
Indholdsfortegnelse:
“... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2008
Indholdsfortegnelse:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2006
Indholdsfortegnelse:
“... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2006
Indholdsfortegnelse:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2005
Indholdsfortegnelse:
“...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”Få fuldtekst
Electronisk
eBog