4426 search results - page 637 / 886 » Concurrent Constraint Programming |
163
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
129
click to vote
APLAS
2005
ACM
15 years 12 months ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
169
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...
147
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
171
click to vote
CD
2004
Springer
15 years 11 months ago
2004
Springer
The deployment of distributed component-based applications is a complex task. Proposed solutions are often centralized, which excludes their use for the deployment of large-scale a...