Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
models functionals » models functional, model functional, godel's functional
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java models » data models, java modul, maa models
functionals function » function function, functions functional, function dysfunction
models functionals » models functional, model functional, godel's functional
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java models » data models, java modul, maa models
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 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”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 2015
Table of Contents:
“... Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint...”View full text
Electronic
eBook
13
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
14
Published 2013
Table of Contents:
“... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”View full text
Electronic
eBook
17
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
18
Published 2008
Table of Contents:
“... Visually Interpretable Models with GUIDE -- Structural Adaptive Smoothing by Propagation–Separation Methods...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...Query Processing Over The Grid: The Role Of Workflow Management -- From Orc Models To Distributed...”View full text
Electronic
eBook