1
Published 2013
Table of Contents: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
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 2005
Table of Contents: ... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
View full text
Electronic eBook