Sciweavers

94 search results - page 8 / 19
» Extracting a Data Flow Analyser in Constructive Logic
Sort
View
OOPSLA
2009
Springer
15 years 6 months ago
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
Marwan Abi-Antoun, Jonathan Aldrich
ASE
2004
127views more  ASE 2004»
14 years 11 months ago
Precise Call Graphs for C Programs with Function Pointers
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...
Ana Milanova, Atanas Rountev, Barbara G. Ryder
BMCBI
2008
140views more  BMCBI 2008»
14 years 12 months ago
FUNYBASE: a FUNgal phYlogenomic dataBASE
Background: The increasing availability of fungal genome sequences provides large numbers of proteins for evolutionary and phylogenetic analyses. However the heterogeneity of data...
Sylvain Marthey, Gabriela Aguileta, Françoi...
VISUALIZATION
2005
IEEE
15 years 5 months ago
Visual Analysis and Exploration of Fluid Flow in a Cooling Jacket
We present a visual analysis and exploration of fluid flow through a cooling jacket. Engineers invest a large amount of time and serious effort to optimize the flow through thi...
Robert S. Laramee, Christoph Garth, Helmut Doleisc...
WISE
2002
Springer
15 years 4 months ago
Towards Declarative XML Querying
How to extract data from XML documents is an important issue for XML research and development. However, how to view XML documents determines how they can be queried. In this paper...
Mengchi Liu, Tok Wang Ling