1
Publicado 2010
Table of Contents: ... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...
Ligazón do recurso
Electrónico eBook
2
Publicado 2010
Table of Contents: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Ligazón do recurso
Electrónico eBook
3
Publicado 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ... for Multiscale Flows – Towards the Petascale Generation of Mesoscale Numerical Weather Prediction -- Parallel...
Ligazón do recurso
Electrónico eBook
5
Publicado 2010
Table of Contents: ... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....
Ligazón do recurso
Electrónico eBook
6
Publicado 2008
Table of Contents: ... Generation Based on C++/OOMPI -- A Framework for Deploying Self-predefined MPI Communicators and Attributes...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...
Ligazón do recurso
Electrónico eBook
8
Publicado 2015
Table of Contents: ...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...
Ligazón do recurso
Electrónico eBook
9
Publicado 2006
Table of Contents: ... -- Software for Optimization and Geometric Computation (Komei Fukuda, Michael Joswig) -- Generation...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ... in Instance Generation for Udine Timetabling -- Special Session: LION-MOME -- A Study of the Parallelization...
Ligazón do recurso
Electrónico eBook
11
Publicado 2015
Table of Contents: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
Ligazón do recurso
Electrónico eBook
12
Publicado 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Ligazón do recurso
Electrónico eBook
13
Publicado 2008
Table of Contents: ... Structure of 64-Bit Exponential Function Implemented in FPGAs -- A Framework for the Automatic Generation...
Ligazón do recurso
Electrónico eBook
14
Publicado 2012
Table of Contents: ... -- Evolving Paradigms: Retrospective and Prospection -- Anthropology -- Parallel Paradigms of Artists...
Ligazón do recurso
Electrónico eBook
15
Publicado 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Ligazón do recurso
Electrónico eBook
16
Publicado 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Ligazón do recurso
Electrónico eBook
17
Publicado 2013
Table of Contents: ... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...
Ligazón do recurso
Electrónico eBook
18
Publicado 2015
Table of Contents: ...)construction of Urban Street Networks: Generative Design Using Global Information from Structure -- A...
Ligazón do recurso
Electrónico eBook
19
Publicado 2008
Table of Contents: ... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...
Ligazón do recurso
Electrónico eBook
20
Publicado 2007
Table of Contents: ... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...
Ligazón do recurso
Electrónico eBook