Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming optimization » foraging optimization, programming application, programming applications
optimization program » optimization problem, optimization problems, optimization proximal
program security » program series, process security, program section
security array » security arab, security area, security asia
https » http
programming optimization » foraging optimization, programming application, programming applications
optimization program » optimization problem, optimization problems, optimization proximal
program security » program series, process security, program section
security array » security arab, security area, security asia
https » http
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:
“... Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”View full text
Electronic
eBook
4
Table of Contents:
“... Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Building Web Sites for the World -- MVC...”
View full text
View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... -- The Future of Access Control: Attributes, Automation and Adaptation -- Optimal Control for an MX/G/1/N + 1...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... -- The Building Blocks of Consensus -- Continuous Consensus with Ambiguous Failures -- On Optimal Probabilistic...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... and Reasoning About Timing Constraints in Real-Time Systems -- Finding Pareto-Optimal Set of Distributed Vectors...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...-Agreement -- Renaming with k-Set-Consensus: An Optimal Algorithm into n + k – 1 Slots -- When Consensus...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Certification Authority Coordination Group -- Grid Enabled Optimization -- Towards a Coordination Model...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... and Heterogeneous Processor Rings -- Effect of Optimizations on Performance of OpenMP Programs -- Sparse Matrices...”View full text
Electronic
eBook