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 constraint » programming constrained, programming unconstrained, programming constructs
constraint constraint » constraints constraint, constraints constrained, concurrent constraint
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constraint » programming constrained, programming unconstrained, programming constructs
constraint constraint » constraints constraint, constraints constrained, concurrent constraint
1
Table of Contents:
“... fragments of CHR -- Expressive power of priorities in CHR -- Constraints in Clouds -- A Classification-based...”
View full text
View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... CHR??? -- Constructing Rule-Based Solvers for Intentionally-Defined Constraints -- Implementing...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“...The Role of Universal Constraints in Language Acquisition -- Building and Exploiting Constraint...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“...Constraint Satisfaction -- Efficient Pruning Technique Based on Linear Relaxations -- Inter-block...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”View full text
Electronic
eBook
8
by Mohammad Pour, Shahrzad
Published 2009
Subjects:
“...Computer algorithms...”Published 2009
View full text
Thesis
9
Published 2005
Table of Contents:
“... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”View full text
Electronic
eBook
13
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
14
Published 2006
Table of Contents:
“... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”View full text
Electronic
eBook