3906 search results - page 572 / 782 » From grids to places |
156
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
162
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Among backtracking based algorithms for constraint satisfaction problems (CSPs), algorithms employing constraint propagation, like forward checking (FC) and MAC, have had...
135
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
We perform a comprehensive theoretical and empirical study of the benefits of singleton consistencies. Our theoretical results help place singleton consistencies within the hierar...
185
click to vote
ASYNC
1999
IEEE
15 years 11 months ago
1999
IEEE
The counterflow pipeline architecture [12] consists of two interacting pipelines in which data items flow in opposite directions. Interactions occur between two items when they me...
148
click to vote
DOLAP
1999
ACM
15 years 11 months ago
1999
ACM
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...