595 search results - page 32 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
118
Voted
CP
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. We investigate the dynamic variable ordering (DVO) technique commonly used in conjunction with tree-search algorithms for solving constraint satisfaction problems. We fi...
178
Voted
OOPSLA
2001
Springer
15 years 7 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
121
Voted
CGO
2004
IEEE
15 years 6 months ago
2004
IEEE
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...
113
Voted
SC
2005
ACM
15 years 8 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
114
Voted
ISSS
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper, our memory architecture exploration methodology and CAD techniques for network protocol applications are presented. Prototype tools have been implemented, and appli...