212 search results - page 39 / 43 » Lazy Arc Consistency |
140
Voted
CONSTRAINTS
2011
14 years 4 months ago
2011
We introduce Cardinality Networks, a new CNF encoding of cardinality constraints. It improves upon the previously existing encodings such as the sorting networks of [8] in that it ...
116
Voted
ISCA
1997
IEEE
15 years 1 months ago
1997
IEEE
Recent technological advances have produced network interfaces that provide users with very low-latency access to the memory of remote machines. We examine the impact of such netw...
95
Voted
USENIX
1994
14 years 10 months ago
1994
TreadMarks is a distributed shared memory DSM system for standard Unix systems such as SunOS and Ultrix. This paper presents a performance evaluation of TreadMarks running on Ultr...
115
Voted
CONSTRAINTS
1998
14 years 9 months ago
1998
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed ...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Arrays are the ubiquitous organization for indexed data. Throughout programming language evolution, implementations have laid out arrays contiguously in memory. This layout is pro...