Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program https » programs https, program has, program help
program 1 » program _, program a, program 3
1 program » 2 program
program https » programs https, program has, program help
program 1 » program _, program a, program 3
1 program » 2 program
1
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”View full text
Electronic
eBook
5
Table of Contents:
“... -- Passive Components -- Fundamental Circuit Blocks -- Layout -- The Organization of the Memory Array...”
View full text
View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”View full text
Electronic
eBook
8
Table of Contents:
“... Signals Systems -- RF Signals -- Adaptive Array Algorithms for Geolocation of RF Signals -- Recursive...”
View full text
View full text
Electronic
eBook
9
Subjects:
“...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...”
View full text
View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
11
by Quzwain, Kamelia, Yamada, Yoshihide, Kamardin, Kamilia, Abd Rahman, Nurul Huda, Ismail, Alyani
Published 2022
“... array antennas are developed for beam steering operations. However, the array antenna configuration has...”Published 2022
Article
12
Published 2013
Table of Contents:
“...Preface -- Section I – Foundation -- Autism Spectrum Disorder Enters the Age of Multidisciplinary...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Program at Thirty Years -- The Political Economy of Redistribution Through Higher Education Subsidies...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Core Processors -- Code Transformations for One-Pass Analysis -- Scalable Array SSA and Array Data Flow...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”View full text
Electronic
eBook