Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
models function » models functional, models fiction, codes function
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
code models » ode models, core models, code model
models function » models functional, models fiction, codes function
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
code models » ode models, core models, code model
1
Published 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Discretizations of Advection-Diffusion Models -- Parallel Grid Adaptation and Dynamic Load Balancing for a CFD...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Supporting Molecular Modeling Workflows within a Grid Services Cloud -- Distributed and Collaborative...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Visually Interpretable Models with GUIDE -- Structural Adaptive Smoothing by Propagation–Separation Methods...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Grid Java Code -- Using Cliques Of Nodes To Store Desktop Grid Checkpoints -- EDGeS: The Common...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Java Virtual Machine -- Power Awareness -- PASCOM: Power Model for Supercomputers -- Power-Aware...”View full text
Electronic
eBook