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