Amanote Research
Register
Sign In
A Framework for the Automatic Correction of Constraint Programs
doi 10.1109/icst.2011.41
Full Text
Open PDF
Abstract
Available in
full text
Date
March 1, 2011
Authors
Nadjib Lazaar
Arnaud Gotlieb
Yahia Lebbah
Publisher
IEEE
Related search
A Framework for Automatic Debugging
A General Framework for Constraint Minimization for the Inversion of Electromagnetic Measurements
Progress In Electromagnetics Research
Automatic Constraint Detection for 2D Layout Regularization
IEEE Transactions on Visualization and Computer Graphics
Computer Graphics
Pattern Recognition
Computer Vision
Computer-Aided Design
Signal Processing
Software
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A General Constraint-Centric Scheduling Framework for Spatial Architectures
On Termination of Constraint Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal and Practical Framework for Constraint-Based Routing
A Possibilistic Framework for Constraint-Based Metabolic Flux Analysis
BMC Systems Biology
Molecular Biology
Applied Mathematics
Structural Biology
Simulation
Computer Science Applications
Modeling
Stochastic MPC Framework for Controlling the Average Constraint Violation
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering