בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
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
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
1
יצא לאור 2015
תוכן הענינים:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים:
“... Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2008
תוכן הענינים:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
תוכן הענינים:
“... Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Building Web Sites for the World -- MVC...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2014
תוכן הענינים:
“... -- The Future of Access Control: Attributes, Automation and Adaptation -- Optimal Control for an MX/G/1/N + 1...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2015
תוכן הענינים:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים:
“... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים:
“... -- The Building Blocks of Consensus -- Continuous Consensus with Ambiguous Failures -- On Optimal Probabilistic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים:
“...On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2013
תוכן הענינים:
“... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2015
תוכן הענינים:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים:
“... and Reasoning About Timing Constraints in Real-Time Systems -- Finding Pareto-Optimal Set of Distributed Vectors...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים:
“...-Agreement -- Renaming with k-Set-Consensus: An Optimal Algorithm into n + k – 1 Slots -- When Consensus...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2010
תוכן הענינים:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2005
תוכן הענינים:
“... Certification Authority Coordination Group -- Grid Enabled Optimization -- Towards a Coordination Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2015
תוכן הענינים:
“.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים:
“... and Heterogeneous Processor Rings -- Effect of Optimizations on Performance of OpenMP Programs -- Sparse Matrices...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני