Transient Analysis and Synthesis of Linear Circuits using Constraint Logic Programming (2007)
Archana Shankar, David Gilbert, Michael Jampel
In this paper describes the design of a transient analysis program for linear circuits and its implementation in a Constraint Logic Programming language, CLP(R). The transient analysis program parses...
Transient Analysis and Synthesis of Linear Circuits using Constraint Logic Programming (2007)
Archana Shankar, David Gilbert, Michael Jampel
this paper describes the design of a transient analysis program for linear circuits and its implementation in a Constraint Logic Programming language, CLP(R). The transient analysis program parses...
Jampel M., Transient Analysis of Linear Circuits using Constraint Logic Programming (1996)
Dr. David Gilbert, Michael Jampel, Archana Shankar, Archana Shankar, David R. Gilbert, Michael B. Jampel
This report describes the design of a transient analysis program for linear circuits and its implementation in a Constraint Logic Programming language. CLP(R) was chosen to be the implementation...
A General Framework for Integrating HCLP and PCSP (1996)
Michael Jampel, Jean-marie Jacquet, David Gilbert
We present Gocs, a general framework for reasoning about over-constrained systems. It includes HCLP and PCSP as special cases, but also allows the user to benefit from both at the same time. We...
Transformations between HCLP and PCSP (1996)
Jean-marie Jacquet, Michael Jampel, Michael Jampel
We present a general methodology for transforming between HCLP and PCSP in both directions. HCLP and PCSP each have advantages when modelling problems, and each have advantages when implementing...
Constraint (Logic) Programming: A Bibliography (1996)
Michael Jampel, Jean-louis Lassez, Vijay Saraswat, C. Ziegler, M. Surauer
ion for unstructured CSPs. In SARA'92: Proceedings of the Symposium on Abstraction, Reformulation, and Approximation, pages 126--133, 1992. http://www.cs.utexas.edu/users/schrag/SARA.ps. [733]...
A General Framework for Integrating HCLP and PCSP (1996)
Jean-marie Jacquet, Jean-marie Jacquet, David Gilbert, David Gilbert, Michael Jampel, Michael Jampel, ...
We present Gocs, a general framework for reasoning about over-constrained systems. It includes HCLP and PCSP as special cases, but also allows the user to benefit from both at the same time. We...
A Compositional Theory of Constraint Hierarchies (Operational Semantics) (1995)
We propose a variant of the Hierarchical Constraint Logic Programming (HCLP) scheme of Borning, Wilson, and others. We consider compositionality and incrementality in Constraint Logic Programming,...
A Compositional Theory of Constraint Hierarchies (1995)
We propose a variant of the Hierarchical Constraint Logic Programming (HCLP) scheme of Borning, Wilson, and others. We consider compositionality and incrementality in Constraint Logic Programming,...
Fair Hierarchical Constraint Logic Programming (1994)
We propose a variant of Hierarchical Constraint Logic Programming (HCLP) which is more general than standard CLP, but less general than the HCLP scheme of Borning, Wilson, and others. We conjecture...
We propose a variant of Hierarchical Constraint Logic Programming (HCLP) which is more general than standard CLP, but less general than the HCLP scheme of Borning, Wilson, and others. We conjecture...
Transient Analysis of Linear Circuits using Constraint Logic Programming
Archana Shankar, David Gilbert, Michael Jampel
This paper describes the design of a transient analysis program for linear circuits and its implementation in a Constraint Logic Programming language, CLP(R). The transient analysis program parses...
Transient Analysis of Linear Circuits using Constraint Logic Programming
Archana Shankar, David Gilbert, Michael Jampel
This paper describes the design of a transient analysis program for linear circuits and its implementation in a Constraint Logic Programming language, CLP(R). The transient analysis program parses...