Andere Suchmöglichkeiten:
functional function » functionals function, functional functions, function function
models functional » model functional, cells functional, models additional
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java models » data models, java modul, maa models
1
Veröffentlicht 2013
Inhaltsangabe: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2013
Inhaltsangabe: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2010
Inhaltsangabe: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2006
Inhaltsangabe: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2010
Inhaltsangabe: ... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2010
Inhaltsangabe: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2005
Inhaltsangabe: ... Discretizations of Advection-Diffusion Models -- Parallel Grid Adaptation and Dynamic Load Balancing for a CFD...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2007
Inhaltsangabe: ... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2006
Inhaltsangabe: ... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2008
Inhaltsangabe: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2010
Inhaltsangabe: ... -- Supporting Molecular Modeling Workflows within a Grid Services Cloud -- Distributed and Collaborative...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2013
Inhaltsangabe: ... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2013
Inhaltsangabe: ... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....
Volltext
Elektronisch E-Book
14
Veröffentlicht 2005
Inhaltsangabe: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2008
Inhaltsangabe: ... Visually Interpretable Models with GUIDE -- Structural Adaptive Smoothing by Propagation–Separation Methods...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2015
Inhaltsangabe: ... Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2013
Inhaltsangabe: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2008
Inhaltsangabe: ...Query Processing Over The Grid: The Role Of Workflow Management -- From Orc Models To Distributed...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2008
Inhaltsangabe: ... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2010
Inhaltsangabe: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volltext
Elektronisch E-Book