1
Published 2005
Table of Contents: ...Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Scope Analysis for Generic Programs on Arrays....
View full text
Electronic eBook
4
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
5
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Reconfigurable Array -- Implementation of an UWB Impulse-Radio Acquisition and Despreading Algorithm on a Low...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Classification -- Design of Electronic Circuits Using a Divide-and-Conquer Approach -- Implementing Multi-VRC...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook