Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs acceleration » process acceleration, programs cooperation, protons acceleration
acceleration https » acceleration sites, acceleration output, degeneration https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
programs acceleration » process acceleration, programs cooperation, protons acceleration
acceleration https » acceleration sites, acceleration output, degeneration https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2013
Table of Contents:
“... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”View full text
Electronic
eBook
2
Table of Contents:
“... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“... Neighborhood Functions. Convolution. Morphology. Feature Extraction. Automatic Target Recognition. Image...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
View full text
View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Needs -- Why the Development Outcome Does Not Meet the Product Owners’ Expectations? -- Functional Size...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Programs -- The Case for Nuclear Energy -- Nuclear Safety and Energy Security -- Nuclear Energy and Social...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... SchemaGuide for Accelerating the View Adaptation Process -- Operations on Spatio-temporal Data -- Complexity...”View full text
Electronic
eBook
11
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text
View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... Trajectory Evaluation in THM&STE -- HAVEN: An Open Framework for FPGA-Accelerated Functional Verification...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Architecture for Dynamic Function Patterns -- Reconfigurable Components for Application-Specific Processor...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
18
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...Keynotes (Abstracts) -- High-Performance Energy-Efficient Reconfigurable Accelerators/Co-processors...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Functions -- Stateless Model Checking for TSO and PSO -- GPU Accelerated Strong and Branching Bisimilarity...”View full text
Electronic
eBook