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