Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
framework functionality » facebook functionality, framework functioning, network functionality
functionality function » functionals function, functionaries function, functional functions
generation framework » integration framework, interaction framework, general framework
parallel generation » parallel enumeration, parallel operation, parallel acceleration
function https » functions https, fiction https
framework functionality » facebook functionality, framework functioning, network functionality
functionality function » functionals function, functionaries function, functional functions
generation framework » integration framework, interaction framework, general framework
parallel generation » parallel enumeration, parallel operation, parallel acceleration
function https » functions https, fiction https
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 2010
Table of Contents:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... for Multiscale Flows – Towards the Petascale Generation of Mesoscale Numerical Weather Prediction -- Parallel...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Generation Based on C++/OOMPI -- A Framework for Deploying Self-predefined MPI Communicators and Attributes...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... -- Software for Optimization and Geometric Computation (Komei Fukuda, Michael Joswig) -- Generation...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... in Instance Generation for Udine Timetabling -- Special Session: LION-MOME -- A Study of the Parallelization...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Structure of 64-Bit Exponential Function Implemented in FPGAs -- A Framework for the Automatic Generation...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... -- Evolving Paradigms: Retrospective and Prospection -- Anthropology -- Parallel Paradigms of Artists...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...”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 2005
Table of Contents:
“... Computational Framework for Generating Sizing Function in Assembly Meshing -- Session 3B -- A fews snags in mesh...”View full text
Electronic
eBook