Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
static function » static functional, state function, static friction
parallel using » parallel routing, parallel parking, parallel imaging
function https » functions https, fiction https
using static » using semantic, using stochastic, using statistics
function function » function functional, functions functional, function dysfunction
static function » static functional, state function, static friction
parallel using » parallel routing, parallel parking, parallel imaging
function https » functions https, fiction https
using static » using semantic, using stochastic, using statistics
1
Published 2010
Table of Contents:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... for Parallel Computing on Heterogeneous Platforms (HeteroPar 2009) -- Preface -- Static Worksharing Strategies...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”View full text
Electronic
eBook
7
Table of Contents:
“... with Constrained Controls -- Static Output Feedback Control for Fuzzy Systems -- Stabilization of Discrete-time...”
View full text
View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... on Grassmann–Cayley Algebra -- Singularity Analysis of Limited-DOF Parallel Manipulators Using Grassmann–Cayley...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... of SBML Functionalities -- Active Membrane Systems Without Charges and Using Only Symmetric Elementary...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Francisco Novoa Colín -- Concurrent Structure-Control Design of Parallel Robots using an Estimation...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Linkages with Circular Translation -- Function Synthesis of the Planar 5R Mechanism Using Least Squares...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Module for Implementing Linear Tabling in Prolog -- Using Combined Static Analysis and Profiling...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...? -- Static Graphics -- Data Visualization Through Their Graph Representations -- Graph-theoretic Graphics...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... And Implementation of Novel Algorithms For Frequent Pattern Trees -- Using Symbolic Functional Decomposition...”View full text
Electronic
eBook
17
Published 2011
Table of Contents:
“... on The Degradation of MOV Used in Multiplate Paralleling -- A Kind of Integrated Resource Scheduling Framework...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Framework -- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Functions for Large FPGAs -- Using Branch Prediction Information for Near-Optimal I-Cache Leakage...”View full text
Electronic
eBook