1
Published 2010
Table of Contents: ... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Real-Time Linux Framework for Designing Parallel Mobile Robotic Applications....
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
View full text
Electronic eBook
12
Subjects: ...Microsoft .NET Framework....
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... -- Evolving Paradigms: Retrospective and Prospection -- Anthropology -- Parallel Paradigms of Artists...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ...: Parallel Sensor Network Simulator -- A Study on Measurements System for Evaluating DA-C2’s Effectiveness...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ...: unnecessary or essential?.-Characterizing Synthetic Biology through Its Novel and Enhanced Functionalities...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ...-TRIZ Based Framework Towards the Computer-aided Identification of Cognitive Processes in Design...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... -- Parallel Sequence Alignment Algorithm for Clustering System -- Study of Data Mining Technique in Colliery...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Section: Advanced Neural Network Theory and Algorithms -- A General Framework for High-Dimensional Data...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... the Perspective of Loss Function -- Rating Propagation in Web Services Reputation Systems: A Fast Shapley Value...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... the Perspective of Loss Function -- Rating Propagation in Web Services Reputation Systems: A Fast Shapley Value...
View full text
Electronic eBook