Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
framework functioning » framework functionality, work functioning
generation framework » integration framework, interaction framework, general framework
functioning function » functioning functional, function function, functionals function
parallel generation » parallel enumeration, parallel operation, parallel acceleration
function https » functions https, fiction https
framework functioning » framework functionality, work functioning
generation framework » integration framework, interaction framework, general framework
functioning function » functioning functional, function function, functionals function
parallel generation » parallel enumeration, parallel operation, parallel acceleration
function https » functions https, fiction https
1
Publicat 2010
Taula de continguts:
“... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”Obtenir text complet
Electrònic
eBook
3
Publicat 2006
Taula de continguts:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Obtenir text complet
Electrònic
eBook
4
Publicat 2010
Taula de continguts:
“... for Multiscale Flows – Towards the Petascale Generation of Mesoscale Numerical Weather Prediction -- Parallel...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“... Generation Based on C++/OOMPI -- A Framework for Deploying Self-predefined MPI Communicators and Attributes...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”Obtenir text complet
Electrònic
eBook
8
Publicat 2015
Taula de continguts:
“...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...”Obtenir text complet
Electrònic
eBook
9
Publicat 2006
Taula de continguts:
“... -- Software for Optimization and Geometric Computation (Komei Fukuda, Michael Joswig) -- Generation...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“... in Instance Generation for Udine Timetabling -- Special Session: LION-MOME -- A Study of the Parallelization...”Obtenir text complet
Electrònic
eBook
11
Publicat 2015
Taula de continguts:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”Obtenir text complet
Electrònic
eBook
12
Publicat 2006
Taula de continguts:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Obtenir text complet
Electrònic
eBook
14
Publicat 2008
Taula de continguts:
“... Structure of 64-Bit Exponential Function Implemented in FPGAs -- A Framework for the Automatic Generation...”Obtenir text complet
Electrònic
eBook
15
Publicat 2012
Taula de continguts:
“... -- Evolving Paradigms: Retrospective and Prospection -- Anthropology -- Parallel Paradigms of Artists...”Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Obtenir text complet
Electrònic
eBook
18
Publicat 2013
Taula de continguts:
“... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...”Obtenir text complet
Electrònic
eBook
19
Publicat 2005
Taula de continguts:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”Obtenir text complet
Electrònic
eBook
20
Publicat 2005
Taula de continguts:
“... Computational Framework for Generating Sizing Function in Assembly Meshing -- Session 3B -- A fews snags in mesh...”Obtenir text complet
Electrònic
eBook