Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming interval » programming internal, programming internals, programming interface
interval programs » interface programs, integral program, internet programs
https » http
programming interval » programming internal, programming internals, programming interface
interval programs » interface programs, integral program, internet programs
https » http
1
Published 2008
Table of Contents:
“... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- On the Parameterized Complexity of Some Optimization Problems Related to Multiple-Interval Graphs -- Succinct...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... to Interval Contention -- Optimistic Algorithms for Partial Database Replication -- Optimal Clock...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Programming -- Finding the Best CAFE Is NP-Hard -- The Size and Depth of Layered Boolean Circuits -- Lipschitz...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... in Distributed Environment.-Differential Evolution Applied to Large Scale Parametric Interval Linear Systems...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Abstract) -- Sparse Approximate Solutions to Semidefinite Programs -- On the Facets of Mixed Integer...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Combinatorial Approach to Collapsing Words -- Optimal Linear Arrangement of Interval Graphs -- The Lempel-Ziv...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... -- Describing Global Musical Structures by Integer Programming on Musical Patterns -- Improved Iterative Random...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Optimization -- Online Capacitated Interval Coloring -- Energy Efficient Heuristic Scheduling Algorithms...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook