the high-level and portable nature of the Java platform allows applications to be written once and executed on all the supported systems. However, such a feature comes at the cost of hardware abstraction, making it mo...
详细信息
Multi-core processors require programmers to exploit concurrency in software as far as possible. Unfortunately, our current concurrency abstractions make multi-core programming harder than necessary because we have to...
详细信息
Inheritance, which is a basic mechanism in mainstream objectoriented languages, introduces a strong coupling which limits modularity and code reuse. Furthermore, static class hierarchies cannot easily deal with unpred...
详细信息
We present a new language design which smoothly integrates modular composition and nesting of Java-like classes. that is, inheritance has been replaced by an expressive set of composition operators, inspired by Bracha...
详细信息
In this paper, we present the Habanero-Java (HJ) language developed at Rice University as an extension to the original Java-based definition of the X10 language. HJ includes a powerful set of taskparallel programming ...
详细信息
the Operations Research and Optimization team at Google develops both general purpose optimization tools and solutions for internal optimization problems. We will describe the tools – most of which are available at h...
详细信息
Domains in Continuous constraintprogramming (CP) are generally represented with intervals whose n-ary Cartesian product (box) approximates the solution space. this paper proposes a new representation for continuous v...
详细信息
Given a sequence of variables X = 〈x 0, x 1, …, xn − 1 〉, we consider the IncreasingSum constraint, which imposes ∀ i ∈ [0, n − 2] xi ≤ xi + 1, and Σxi∈X xi = S. We propose an Θ(n) bound-consistency algorit...
详细信息
In this paper we describe a constraint Seeker application which provides a web interface to search for global constraints in the global constraint catalog, given positive and negative, fully instantiated (ground) exam...
详细信息
this paper revisits the tree constraint introduced in [2] which partitions the nodes of a n-nodes, m-arcs directed graph into a set of node-disjoint anti-arborescences for which only certain nodes can be tree roo...
详细信息
暂无评论