Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming complexity » programming complete, programming comparing, programming component
complexity context » complexity contexts, complexity concepts, complex context
context a » context _
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming complexity » programming complete, programming comparing, programming component
complexity context » complexity contexts, complexity concepts, complex context
context a » context _
1
2
Published 2015
Table of Contents:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... of Concurrent Programs Under a Context Bound -- Context-Bounded Analysis of Concurrent Queue Systems...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Efficient Verification for a Class of Infinite-State Systems -- Context-Bounded Model Checking of Concurrent...”View full text
Electronic
eBook
5
Table of Contents:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
View full text
View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... -- A Flow-Sensitive Region Inference for CLI -- Context-Sensitive Relevancy Analysis for Efficient...”View full text
Electronic
eBook
12
Table of Contents:
“... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...”
View full text
View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... -- Slightly Beyond Turing’s Computability for Studying Genetic Programming -- A Smallest Five-State Solution...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... of Immersive Display Media for Construction Planning -- A Forward Look at Computational Support for Conceptual...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Processing -- A Novel Scheme for the Parallel Computation of SVDs -- Cache-Optimal Data-Structures...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Context-Aware Workflow System -- A Dataflow-Oriented Atomicity and Provenance System for Pipelined...”View full text
Electronic
eBook