Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
implementation bounded » implementation extended, implementation based, complementation bounds
function function » function functional, functions functional, function dysfunction
bounded function » bounded functions, unbounded functions, bonded functional
function https » functions https, fiction https
implementation bounded » implementation extended, implementation based, complementation bounds
function function » function functional, functions functional, function dysfunction
bounded function » bounded functions, unbounded functions, bonded functional
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... of PB Systems with Volatile Membranes -- A Logarithmic Bound for Solving Subset Sum with P Systems -- A...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- Efficient Implementation of Rank and Select Functions for Succinct Representation -- Comparative Experiments...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“... on the Hamsi-256 Compression Function -- Generalized Iterated Hash Fuctions Revisited: New Complexity Bounds...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Processor -- Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML -- Parallelization...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... in Caenorhabditis elegans -- High-throughput SELEX Determination of DNA Sequences Bound by Transcription Factors...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... and Electric Arc in Low Voltage Vacuum Circuit Breakers -- Accurate Modeling of Complete Functional RF Blocks...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... -- Parallelized Software Implementation of Elliptic Curve Scalar Multiplication -- A Note on Diem’s Proof -- Stand...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“...Design and Implementation of a Corporate Mesh Object -- Session 1B -- Unstructured Computational...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Systems -- Stabilization Criterion Based on New Lyapunov Functional Candidate for Networked Control...”View full text
Electronic
eBook