Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
problem modular » problem molecular, problems popular, problem model
modular program » modul program, modular programming
program https » programs https, program has, program help
problem modular » problem molecular, problems popular, problem model
modular program » modul program, modular programming
program https » programs https, program has, program help
1
Published 2006
Table of Contents:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“..., Modular, Synthetic Chromosomes -- GPU Parallelization of Algebraic Dynamic Programming -- Parallel Extreme...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Sampling Component of the Dendritic Cell Algorithm -- FDCM: A Fuzzy Dendritic Cell Method -- Modular RADAR...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Programming: A Declarative Approach to Solving Search Problems -- Inconsistencies in Ontologies -- Technical...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Reconfiguration Algorithm for Field Programmable Analog Scalable Device Array (FPADA) with Fixed Topology...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“...-Objective Linear Fractional Programming Problem Using First Order -- Taylor’s Series Approximation...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Mapping Problem onto NoCs -- Modular Asynchronous Network-on-Chip: Application to GALS Systems Rapid...”View full text
Electronic
eBook