Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
intervals computing » interval computing, intervals comparing, internet computing
programming program » programming programmed, programming problem, programming problems
program contract » programme contract, program abstract, program controls
contract https » control https, conflict https, contract nets
computing programming » computer programming, computers programming
intervals computing » interval computing, intervals comparing, internet computing
programming program » programming programmed, programming problem, programming problems
program contract » programme contract, program abstract, program controls
contract https » control https, conflict https, contract nets
1
Published 2006
Table of Contents:
“... -- Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner’s Contraction -- Best Student Paper 2006...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Recovery -- Formally Efficient Program Instrumentation -- Interval Analysis for Concurrent Trace Programs...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“.... Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Bounds on the Approximation of the Exemplar Conserved Interval Distance Problem of Genomes -- Computing...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Comparison of Two Algorithms for Computing Page Importance -- The Invisible Hand for Risk Averse...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Time -- Computing Common Intervals of K Permutations, with Applications to Modular Decomposition...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Forgetting -- Computing Repairs for Inconsistent DL-programs over EL Ontologies -- A Prioritized Assertional...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... -- Component Composition Preserving Behavioural Contracts Based on Communication Traces -- Strong Retiming...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Evolutionary Algorithm Based on Decomposition and Contraction for Many-objective Optimization Problems -- Cell...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“...: Combining Multivariate Time Series and Labelled Interval Sequences for Classification -- Knowledge Discovery...”View full text
Electronic
eBook