Sciweavers

7886 search results - page 322 / 1578
» An evaluation of bipartitioning techniques
Sort
View
KBSE
1997
IEEE
15 years 11 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
COMPSAC
2007
IEEE
16 years 1 months ago
Visualization of Concurrent Program Executions
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...
Cyrille Artho, Klaus Havelund, Shinichi Honiden
QEST
2007
IEEE
16 years 1 months ago
Distritrack: Automated Average-Case Analysis
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...
David Hickey
ICDT
2007
ACM
158views Database» more  ICDT 2007»
16 years 1 months ago
Coupling Fragments of XPath with XML Indexing and Query Decomposition
Abstract. Recent studies have proposed structural summary techniques for pathquery evaluation on semi-structured data sources. One major line of this research
George H. L. Fletcher, Dirk Van Gucht, Yuqing Wu, ...
SEMWEB
2007
Springer
16 years 1 months ago
A Survey and Categorization of Ontology Matching Cases
Methodologies to find and evaluate solutions for ontology matching should be centered on the practical problems to be solved. In this paper we look at matching from the perspectiv...
Zharko Aleksovski, Willem Robert van Hage, Antoine...