אפשרויות חיפוש:
program optimizations » problem optimization, programming optimization, process optimization
optimizations java » optimization jan, optimizations a, optimizations fast
program paths » program path, program pages, program pathway
paths program » atas program, cloths program, papers program
https » http
1
מאת Vanderbei, Robert J., Vanderbei, Robert J.
יצא לאור 2014
תוכן הענינים: ... Applications -- Network-Type Problems -- Applications -- Structural Optimization -- The Central Path -- A Path...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
מאת Vanderbei, Robert J., Vanderbei, Robert J.
יצא לאור 2008
תוכן הענינים: ... -- Structural Optimization -- Interior-Point Methods -- The Central Path -- A Path-Following Method -- The KKT...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים: ... the Absence of Errors -- Protocol Inference Using Static Path Profiles -- Solving Multiple Dataflow Queries...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים: ... Manipulations in Critical Embedded C Programs -- Session 2 -- Abstract Regular Tree Model Checking of Complex...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2005
תוכן הענינים: ... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים: ... of Deterministic Blocks in Java PathFinder -- Tools -- A Tool for a Formal Pattern Modeling Language -- An Open...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים: ...A Preliminary Study of Fitness Inheritance in Evolutionary Constrained Optimization...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2006
תוכן הענינים: ... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים: ...Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
מאת Percival, John., Percival, John.
יצא לאור 2013
נושאים: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2005
תוכן הענינים: ... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים: ... -- Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
מאת Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
יצא לאור 2008
תוכן הענינים: ... -- Graph Traversal -- Shortest Paths -- Minimum Spanning Trees -- Generic Approaches to Optimization....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים: ... of Java Bytecode -- Hybrid Optimizations: Which Optimization Algorithm to Use? -- A Fresh Look at PRE as a...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים: ... -- An Operational Approach to Validate the Path of BGP -- 1-Persistent Collision-Free CSMA Protocols...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2005
תוכן הענינים: ... Study -- Model Checking Real Time Java Using Java PathFinder -- Infinite-State and Parameterized Systems...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים: ... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2010
תוכן הענינים: ... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים: ... Program Path Locality for Real-Time Embedded Systems -- Advanced Resource Management and Scheduling...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני