1420 search results - page 209 / 284 » Representation of Graphs by OBDDs |
SAS
2004
Springer
15 years 7 months ago
2004
Springer
We describe a polynomial-time algorithm for global value numbering, which is the problem of discovering equivalences among program sub-expressions. We treat all conditionals as non...
108
click to vote
SIGADA
2004
Springer
15 years 7 months ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
121
click to vote
DAWAK
2003
Springer
15 years 7 months ago
2003
Springer
Web warehousing plays a key role in providing the managers with up-to-date and comprehensive information about their business domain. On the other hand, since XML is now a standard...
130
click to vote
FPL
2001
Springer
15 years 6 months ago
2001
Springer
In this paper we present a new method of integrating the placement and routing stages in the physical design of channel-based architectures, and present the first implementation o...
124
click to vote
CP
2000
Springer
15 years 6 months ago
2000
Springer
We address the issue of detecting automatically occurrences of high level patterns in audiovisual documents. These patterns correspond to recurring sequences of shots, which are co...