Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
implementation properties » complementation properties, implementation perspectives, implementation processes
properties functionality » protein functionality
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
implementation properties » complementation properties, implementation perspectives, implementation processes
properties functionality » protein functionality
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
1
Published 2012
Table of Contents:
“... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
3
Table of Contents:
“...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...”
View full text
View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Simulations -- Parallel Implementation of a Steady State Thermal and Hydraulic Analysis of Pipe Networks...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Caches -- A Multiprocessor Cache for Massively Parallel SoC Architectures -- Improving Resource Discovery...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Level Parallelism and Register File Traffic -- Scalable Architecture for Prefix Preserving Anonymization...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Simulations -- Sequential and Parallel Implementation of Networks -- Applications -- Parametric Studies...”View full text
Electronic
eBook
9
Table of Contents:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
View full text
View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“..., Modelling and Implementation for Highly Parallel Applications -- Computational Steering of Complex Flow...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”View full text
Electronic
eBook