Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
programming problem » programming problems
services computing » server computing, services computer, service computer
problem constructs » problem construction, problem constructive, problem constructing
constructs part » construction part
computing programming » computer programming, computers programming
programming problem » programming problems
services computing » server computing, services computer, service computer
problem constructs » problem construction, problem constructive, problem constructing
constructs part » construction part
1
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
2
Published 2012
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Algorithm of Tree and Unicyclic Graph -- Scientific and Engineering Computing -- Fault-Tolerant Service...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”View full text
Electronic
eBook
6
Table of Contents:
“... -- Case Study: Lattice Cover Graph Construction -- Case Study 2: Classifying MADFA Construction Algorithms....”
View full text
View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...-Time Calculus: The Causality Problem and Its Solutions -- Computing the Leakage of Information-Hiding...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“.... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- On the Definition of Service Abstractions for Parallel Computing -- The Second Workshop on Performance Evaluation...”View full text
Electronic
eBook
18
Table of Contents:
“...Computer Analysis of Sequence Data -- GCG: Fragment Assembly Programs -- GCG: Drawing Linear...”
View full text
View full text
Electronic
eBook
19
Table of Contents:
“...Computer Analysis of Sequence Data -- Staden: Introduction -- Staden: Sequence Input, Editing...”
View full text
View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...”View full text
Electronic
eBook