932 search results - page 47 / 187 » Analysis and Optimization of CHR Programs |
99
Voted
SIAMJO
2008
15 years 15 days ago
2008
We consider a rather general class of mathematical programming problems with data uncertainty, where the uncertainty set is represented by a system of convex inequalities. We prove...
120
Voted
JAVA
2001
Springer
15 years 5 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
111
click to vote
SIAMJO
2008
15 years 15 days ago
2008
We present an algorithm for large-scale equality constrained optimization. The method is based on a characterization of inexact sequential quadratic programming (SQP) steps that ca...
121
click to vote
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
92
Voted
PASTE
1998
ACM
15 years 4 months ago
1998
ACM
The task of mappingbetween source programs and machine code, once the code has been optimizedand transformed by a compiler is often di cult. Yet there are many instances, such as ...