Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program parameterized » programs parameterised, problem parameterized, problems parameterized
parameterized program » parameterized problems, parameterized array, parameterized preorder
program https » programs https, program has, program help
program parameterized » programs parameterised, problem parameterized, problems parameterized
parameterized program » parameterized problems, parameterized array, parameterized preorder
program https » programs https, program has, program help
1
Published 2015
Table of Contents:
“... Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree...”View full text
Electronic
eBook
2
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Solution Test -- Surfaces with Rational Chord Length Parameterization -- Support Function of Pythagorean...”View full text
Electronic
eBook
6
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Reconstruction -- The Diagnostic Application of Brain Image Processing and Analysis System for Ischemic Stroke...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Parameterized Asynchronous Shared-Memory Systems -- SMT and POR Beat Counter Abstraction: Parameterized Model...”View full text
Electronic
eBook
11
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... Complexity Analysis for Fork Processes -- Pure Pointer Programs and Tree Isomorphism -- A Language...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Backgrounds -- Procedural Image Processing for Visualization -- Tracking of Individuals in Very Long Video...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... using Quantitative Model Checking -- Parameterized Verification of Asynchronous Shared-Memory Systems...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... and Processing Using General Fourth Order Geometric Flows -- Geodesic as Limit of Geodesics on PL-Surfaces...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“...1. Scientific summary of the German CAWSES priority program -- 2. Models of solar total...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Negatives -- Behavioural Specifications from Class Models -- Inheriting Laws for Processes with States...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“...Keynotes -- Bi-Objective Optimization for Scheduling in Parallel Computing Systems -- Robust...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...”View full text
Electronic
eBook