Sciweavers

4894 search results - page 677 / 979
» Dynamic Abstraction Planning
Sort
View
PASTE
2004
ACM
16 years 5 days ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
ADHOCNOW
2004
Springer
16 years 5 days ago
Maximal Source Coverage Adaptive Gateway Discovery for Hybrid Ad Hoc Networks
Abstract. One of the most important aspects affecting the overall performance of hybrid ad hoc networks is the efficient selection of Internet gateways. We have analytically model...
Pedro M. Ruiz, Antonio F. Gómez-Skarmeta
AWCC
2004
Springer
16 years 4 days ago
Analyzing Web Interfaces of Databases for Retrieving Web Information
Abstract. Much of the information on the web is indeed dynamic content provided through linkups with databases. However, due to heterogeneity of databases, it is difficult to provi...
Jeong-Oog Lee, Myeong-Cheol Ko, Jinsoo Kim, Chang-...
CPAIOR
2004
Springer
16 years 4 days ago
Stabilization Issues for Constraint Programming Based Column Generation
Abstract. Constraint programming based column generation is a hybrid optimization framework recently proposed that uses constraint programming (CP) to solve column generation subpr...
Louis-Martin Rousseau
DAWAK
2004
Springer
16 years 4 days ago
Mining Maximal Frequently Changing Subtree Patterns from XML Documents
Abstract. Due to the dynamic nature of online information, XML documents typically evolve over time. The change of the data values or structures of an XML document may exhibit some...
Ling Chen 0002, Sourav S. Bhowmick, Liang-Tien Chi...